{"entities":{"Q130897339":{"pageid":124802546,"ns":0,"title":"Q130897339","lastrevid":2390356441,"modified":"2025-08-10T21:30:15Z","type":"item","id":"Q130897339","labels":{"en":{"language":"en","value":"Verifying Term Graph Optimizations using Isabelle/HOL"}},"descriptions":{"en":{"language":"en","value":"scientific article published on 11 January 2023"}},"aliases":{},"claims":{"P1476":[{"mainsnak":{"snaktype":"value","property":"P1476","hash":"10b1a96d217fe1f69ae9ad99adb2b403e6a0e4e0","datavalue":{"value":{"text":"Verifying Term Graph Optimizations using Isabelle/HOL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q130897339$9E10FBD5-4F18-4BEA-B0B7-4948727E2DD6","rank":"normal","references":[{"hash":"aa48ee69c2ad757099e2aef5dc15913dbfc6216d","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"391ea03c4b936674f3428ca65442e8cba416e60c","datavalue":{"value":"10.1145/3573105.3575673","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"b16c8e45f83fa56217343ee1c78317287f8ee85c","datavalue":{"value":"https://api.crossref.org/v1/works/http://dx.doi.org/10.1145/3573105.3575673","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"9f488b3402252aa298895b4b2a63c8843005dcdf","datavalue":{"value":{"time":"+2024-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P2093":[{"mainsnak":{"snaktype":"value","property":"P2093","hash":"509c56ed930d84dce6f975d257b82cdaf27e4056","datavalue":{"value":"Brae J. Webb","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"2a1ced1dca90648ea7e306acbadd74fc81a10722","datavalue":{"value":"1","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q130897339$D8C03FFF-8BAD-427F-ADFB-210FDEFD241A","rank":"normal","references":[{"hash":"aa48ee69c2ad757099e2aef5dc15913dbfc6216d","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"391ea03c4b936674f3428ca65442e8cba416e60c","datavalue":{"value":"10.1145/3573105.3575673","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"b16c8e45f83fa56217343ee1c78317287f8ee85c","datavalue":{"value":"https://api.crossref.org/v1/works/http://dx.doi.org/10.1145/3573105.3575673","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"9f488b3402252aa298895b4b2a63c8843005dcdf","datavalue":{"value":{"time":"+2024-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"d7b7a220028845b98a00b507877c33485a78ad3a","datavalue":{"value":"Ian J. Hayes","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"7241753c62a310cf84895620ea82250dcea65835","datavalue":{"value":"2","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q130897339$76D8EAD0-74FF-4BE8-A6E2-63DC7F058C27","rank":"normal","references":[{"hash":"aa48ee69c2ad757099e2aef5dc15913dbfc6216d","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"391ea03c4b936674f3428ca65442e8cba416e60c","datavalue":{"value":"10.1145/3573105.3575673","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"b16c8e45f83fa56217343ee1c78317287f8ee85c","datavalue":{"value":"https://api.crossref.org/v1/works/http://dx.doi.org/10.1145/3573105.3575673","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"9f488b3402252aa298895b4b2a63c8843005dcdf","datavalue":{"value":{"time":"+2024-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]},{"mainsnak":{"snaktype":"value","property":"P2093","hash":"a6a0385249cbb144a7fbd0d1c56831f267af9a58","datavalue":{"value":"Mark Utting","type":"string"},"datatype":"string"},"type":"statement","qualifiers":{"P1545":[{"snaktype":"value","property":"P1545","hash":"0e979f28bf306fefdcd352b4eb8dee5da2153a6d","datavalue":{"value":"3","type":"string"},"datatype":"string"}]},"qualifiers-order":["P1545"],"id":"Q130897339$7C84202A-72EE-461C-9EB5-61166BFDFE77","rank":"normal","references":[{"hash":"aa48ee69c2ad757099e2aef5dc15913dbfc6216d","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"391ea03c4b936674f3428ca65442e8cba416e60c","datavalue":{"value":"10.1145/3573105.3575673","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"b16c8e45f83fa56217343ee1c78317287f8ee85c","datavalue":{"value":"https://api.crossref.org/v1/works/http://dx.doi.org/10.1145/3573105.3575673","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"9f488b3402252aa298895b4b2a63c8843005dcdf","datavalue":{"value":{"time":"+2024-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P304":[{"mainsnak":{"snaktype":"value","property":"P304","hash":"6c16adac515ba1b57ae5fc4e593bb6685d16b519","datavalue":{"value":"320-333","type":"string"},"datatype":"string"},"type":"statement","id":"Q130897339$B0D032FE-739D-41EE-B0F5-539A12000C95","rank":"normal","references":[{"hash":"aa48ee69c2ad757099e2aef5dc15913dbfc6216d","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"391ea03c4b936674f3428ca65442e8cba416e60c","datavalue":{"value":"10.1145/3573105.3575673","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"b16c8e45f83fa56217343ee1c78317287f8ee85c","datavalue":{"value":"https://api.crossref.org/v1/works/http://dx.doi.org/10.1145/3573105.3575673","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"9f488b3402252aa298895b4b2a63c8843005dcdf","datavalue":{"value":{"time":"+2024-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"29465f78f13add11b617f0de4ade56cd1122c19c","datavalue":{"value":{"entity-type":"item","numeric-id":13442814,"id":"Q13442814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q130897339$D7F0A9EA-1185-42A8-8BBD-0E9B89154062","rank":"normal","references":[{"hash":"aa48ee69c2ad757099e2aef5dc15913dbfc6216d","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"391ea03c4b936674f3428ca65442e8cba416e60c","datavalue":{"value":"10.1145/3573105.3575673","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"b16c8e45f83fa56217343ee1c78317287f8ee85c","datavalue":{"value":"https://api.crossref.org/v1/works/http://dx.doi.org/10.1145/3573105.3575673","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"9f488b3402252aa298895b4b2a63c8843005dcdf","datavalue":{"value":{"time":"+2024-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P356":[{"mainsnak":{"snaktype":"value","property":"P356","hash":"391ea03c4b936674f3428ca65442e8cba416e60c","datavalue":{"value":"10.1145/3573105.3575673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q130897339$EB5E15A8-9690-4890-B5E7-8E8B2AC736BA","rank":"normal","references":[{"hash":"aa48ee69c2ad757099e2aef5dc15913dbfc6216d","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"391ea03c4b936674f3428ca65442e8cba416e60c","datavalue":{"value":"10.1145/3573105.3575673","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"b16c8e45f83fa56217343ee1c78317287f8ee85c","datavalue":{"value":"https://api.crossref.org/v1/works/http://dx.doi.org/10.1145/3573105.3575673","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"9f488b3402252aa298895b4b2a63c8843005dcdf","datavalue":{"value":{"time":"+2024-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P577":[{"mainsnak":{"snaktype":"value","property":"P577","hash":"8c2074eced81f563c927b91172ff0f9769e1f73c","datavalue":{"value":{"time":"+2023-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q130897339$31FCC1D4-BF25-4BC9-855B-04B0C67222BE","rank":"normal","references":[{"hash":"aa48ee69c2ad757099e2aef5dc15913dbfc6216d","snaks":{"P248":[{"snaktype":"value","property":"P248","hash":"a185ae64d472c92d128e6bcb1de168a4b46a2019","datavalue":{"value":{"entity-type":"item","numeric-id":5188229,"id":"Q5188229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}],"P356":[{"snaktype":"value","property":"P356","hash":"391ea03c4b936674f3428ca65442e8cba416e60c","datavalue":{"value":"10.1145/3573105.3575673","type":"string"},"datatype":"external-id"}],"P854":[{"snaktype":"value","property":"P854","hash":"b16c8e45f83fa56217343ee1c78317287f8ee85c","datavalue":{"value":"https://api.crossref.org/v1/works/http://dx.doi.org/10.1145/3573105.3575673","type":"string"},"datatype":"url"}],"P813":[{"snaktype":"value","property":"P813","hash":"9f488b3402252aa298895b4b2a63c8843005dcdf","datavalue":{"value":{"time":"+2024-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"}]},"snaks-order":["P248","P356","P854","P813"]}]}],"P818":[{"mainsnak":{"snaktype":"value","property":"P818","hash":"4717417d01d54bd99a2f9b612a31cc17e5b3e09d","datavalue":{"value":"2212.06956","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q130897339$766c1820-81dc-4851-a3f5-da5193beacb0","rank":"normal"}],"P123":[{"mainsnak":{"snaktype":"value","property":"P123","hash":"cc853f712198fb0ef022acfc62f36db3bbf64f2f","datavalue":{"value":{"entity-type":"item","numeric-id":127992,"id":"Q127992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q130897339$41295EF4-3D2B-4AAF-A350-BE0BBA8948D8","rank":"normal"}],"P407":[{"mainsnak":{"snaktype":"value","property":"P407","hash":"daf1c4fcb58181b02dff9cc89deb084004ddae4b","datavalue":{"value":{"entity-type":"item","numeric-id":1860,"id":"Q1860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q130897339$9B91EF33-3847-4BD9-B409-67A66D4082DD","rank":"normal"}]},"sitelinks":{}}}}