{"entities":{"Q5015376":{"pageid":7044953,"ns":120,"title":"Item:Q5015376","lastrevid":98470256,"modified":"2026-06-05T17:38:17Z","type":"item","id":"Q5015376","labels":{"en":{"language":"en","value":"Reasoning about graph programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7440204"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015376$D89C488B-0E69-451C-8AC4-6C5259CBFBF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89a853a80922d19c2ae48b987cb653bd9af35520","datavalue":{"value":"1482.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015376$7CD2EE14-A8B7-4795-A4A3-8A450F2ED16F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cd591e7b6049802668eb29da136468a116bf893","datavalue":{"value":{"entity-type":"item","numeric-id":516037,"id":"Q516037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015376$F1D12CFF-E354-4758-9BFC-DE64A74D2C57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86e5bd0c18298fa85258b8271e23e3cb02a76cb7","datavalue":{"value":{"time":"+2021-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5015376$40F491D5-8F9E-40A8-9774-CA26A398E249","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b54345feb7c07dbb40f98236ba9838df59cd0ce4","datavalue":{"value":"https://arxiv.org/abs/1609.03643","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015376$AF4AA1F9-96F7-4DDC-96F3-51B1897C9DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"7da6454032d71f6de3865cf5e639704bf68d61e1","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?TERMGRAPH2016.6","type":"string"},"datatype":"url"},"type":"statement","id":"Q5015376$D85C467E-60A1-4602-A66D-2E028EFC3EA9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015376$39E1034B-3240-4BA0-9AC2-D32612756F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015376$3A3C4A89-3819-43F4-996D-624AF92CB672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015376$E6ED7C89-02E1-45CA-A025-EDA3BB3A78DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ba843790a5d8853ed6df97bb01dda99a0a9cf53","datavalue":{"value":"7440204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5015376$67A90854-C72F-4DCA-BBF6-7D4E3A8D1FBB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"89c436defcd226981117335a9c52fb20fa5ce8c4","datavalue":{"value":{"entity-type":"item","numeric-id":16625,"id":"Q16625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015376$79B68B6F-9EE7-4157-94E4-BE53B78BFAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9a83b2ab328b80b4bda3a533e323e67ce53f5f4f","datavalue":{"value":{"entity-type":"item","numeric-id":52031,"id":"Q52031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015376$5F695E90-9BE5-41BC-8DB8-CAD613479825","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015376$45E44D40-B3FB-441A-A58C-160D5659796F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2481155a42676d821e036db9e722c8d7abd317aa","datavalue":{"value":{"entity-type":"item","numeric-id":5502988,"id":"Q5502988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015376$BF5C4A83-55C2-4D69-9CB1-4B14ED2F9AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015376$C75D1260-8B04-4BB4-BD3E-D6F69DC93988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df25916ae88cfd882e8cb6b5b5569c6957043ab0","datavalue":{"value":{"entity-type":"item","numeric-id":2394739,"id":"Q2394739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015376$BA9DC2D0-4A45-4790-B23B-70AD007B27DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e3e7cb65b907789990747bee01c66a360412308","datavalue":{"value":{"entity-type":"item","numeric-id":5175890,"id":"Q5175890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015376$73CBB3DC-E2A2-41FC-AE08-174143250342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f387953725247a87a3205c679d46a0a2c63b7e5","datavalue":{"value":{"entity-type":"item","numeric-id":5898147,"id":"Q5898147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015376$C7C71B80-13C5-45E2-A7B0-201573D2EF74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa9ad7f0cfabd318c2724cd6f60380e779777e00","datavalue":{"value":{"entity-type":"item","numeric-id":2898467,"id":"Q2898467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015376$5464E43D-94A4-4500-AEDC-53564E6B0D5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf7edb9d2328c01d3a952537989723d0f8f5639e","datavalue":{"value":{"entity-type":"item","numeric-id":3192221,"id":"Q3192221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5015376$4E363BBB-C11A-4148-A1A7-66EDCD4E3226","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b75f246e371908ad9f4fb77ea142907b54fb5cb","datavalue":{"value":{"entity-type":"item","numeric-id":2898467,"id":"Q2898467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27dd2475d159c67eaca77b034483647b20e96d58","datavalue":{"value":{"amount":"+0.867274820804596","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5015376$7A861ECD-A2BD-48E7-AF80-391DC6360FBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddb71dab7253d12445afc95addb3f1341d19da3f","datavalue":{"value":{"entity-type":"item","numeric-id":3642526,"id":"Q3642526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"516746efae247e72bbcffef8629bc26db62261fa","datavalue":{"value":{"amount":"+0.8212990164756775","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5015376$21385E7E-9DBE-4C81-ABCA-56496B615752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c6fce314e733b3027b8c687cae62d58882d8b13","datavalue":{"value":{"entity-type":"item","numeric-id":2117269,"id":"Q2117269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e5f17a18e3f985fa2dd932e958992d90764665f","datavalue":{"value":{"amount":"+0.8046603202819824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5015376$6694314A-F6CA-4A44-9E22-3B64516430DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6739516181e9e52a7b5b8d97e5c16de42754d506","datavalue":{"value":{"entity-type":"item","numeric-id":4931309,"id":"Q4931309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e671ec449a209fdb1570d245651260fa55ce294","datavalue":{"value":{"amount":"+0.7904789447784424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5015376$2868DF5E-AEF9-4067-B648-CC97AE014CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8861dfd3dc6b40e0b251bfcdbbd42a7dea106e0","datavalue":{"value":{"entity-type":"item","numeric-id":5208506,"id":"Q5208506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a61df994546ac5ad96886306193ce78b86d427b","datavalue":{"value":{"amount":"+0.7728754281997681","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5015376$6D33E29B-A58E-49F8-B1F7-A56B9DEB308B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Reasoning about graph programs","badges":[]}}}}}