{"entities":{"Q5166666":{"pageid":7196238,"ns":120,"title":"Item:Q5166666","lastrevid":100671860,"modified":"2026-06-05T22:44:32Z","type":"item","id":"Q5166666","labels":{"en":{"language":"en","value":"Theorem proving graph grammars: strategies for discharging proof obligations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6314094"}},"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":"Q5166666$3D3D1139-C121-4497-A8F3-EDF78D2F0B26","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eafc451f79ae0c3544275757b6a50839654a6f47","datavalue":{"value":{"text":"Theorem Proving Graph Grammars: Strategies for Discharging Proof Obligations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5166666$5227987E-70E0-460D-88EA-C25BF5F7E7D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7dc21e193921ab22b2ff9e7e2e61ce72a778705f","datavalue":{"value":"1409.68173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166666$4571883E-AF3B-46C7-9B89-008E4B4368DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c12e046e3cf832089a68e787bb0ccdaef35eeb26","datavalue":{"value":"10.1007/978-3-642-41071-0_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166666$1ADBC575-F3BD-4B00-8067-DCD4D61C7C9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdc83c8794d49d240ba17370714a29f7a07781a7","datavalue":{"value":{"entity-type":"item","numeric-id":5166665,"id":"Q5166665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166666$F5A56225-4ABA-4CBB-9437-822124E0A76E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7575fcb4aac90c30b105867301c2264e6c7b1bb5","datavalue":{"value":{"entity-type":"item","numeric-id":436352,"id":"Q436352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166666$A734C75D-9F7D-4BD5-A180-75F4A7347790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15354715e79a03c2826765c8a7cefdcaf3d50e55","datavalue":{"value":{"entity-type":"item","numeric-id":2358622,"id":"Q2358622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166666$A0534EF8-3459-4A10-ADC6-C1E40088BF22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5166666$6FFBAE2A-ABA8-4902-B8F2-CC97A4846051","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1748075602cc84150ddd9b65a546744ead622c47","datavalue":{"value":{"time":"+2014-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5166666$CBF2DD5A-6A60-4BFE-9FEF-D0E9A66EABDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166666$C98C688D-0EE2-4AEF-9667-92EA1F6C1C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166666$A152AA8B-4671-465F-BE46-915EBFE669CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166666$D450FA38-2C38-4968-BD3E-2A3F288C92C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7675f319fd8703fb5205f18922e61c2668c18312","datavalue":{"value":"6314094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166666$06CC794F-C486-47F5-8121-1E63A2E3D964","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":"Q5166666$D6623471-A3D6-4773-A048-D7CBCBD86395","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"25a37e2a825e8ede3ad67ab3f9e17509d20ca5aa","datavalue":{"value":"https://doi.org/10.1007/978-3-642-41071-0_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5166666$01DC6736-4892-4796-BFEB-828CF5334956","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c41c3250ce8162d8d24d2193660af702a87a1667","datavalue":{"value":"W2509227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5166666$BBF18F8E-FEC4-4C88-A8DD-9175227B4F80","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80b3c6e1840d81052e75c327dff816b909546799","datavalue":{"value":{"entity-type":"item","numeric-id":2358623,"id":"Q2358623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfd3a9f58d4b6d89f78c0639b9345b31a66ee34c","datavalue":{"value":{"amount":"+0.7953880429267883","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":"Q5166666$B43E8E4C-D6A8-48E7-AC33-92D9AE157376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b0a32db72f307b876d8ed3f059040127f6929c2","datavalue":{"value":{"entity-type":"item","numeric-id":5179351,"id":"Q5179351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a2a027ce76706f56831bd8d8a6da153237137ff","datavalue":{"value":{"amount":"+0.7655102014541626","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":"Q5166666$2BE92B1B-F8C4-4270-896B-75A44C1D370A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc4b99d402032667d565d74b4d6118fd5a1d1cf","datavalue":{"value":{"entity-type":"item","numeric-id":4645279,"id":"Q4645279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecd56ff3f6ff32151f6519d73d164561bf9033f3","datavalue":{"value":{"amount":"+0.7452142238616943","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":"Q5166666$6E2F06EF-00ED-4C13-970D-180CF2408C46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d44651c9f4c8f9ce0d790835e00300653086bfa","datavalue":{"value":{"entity-type":"item","numeric-id":436370,"id":"Q436370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bed90bb435e1934299b41204b5297cf28118dfec","datavalue":{"value":{"amount":"+0.7431197762489319","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":"Q5166666$373F638A-408B-45C0-BF8F-939F01FE8B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf292353d0ebdecc5d0222388ee1dbead7b56fa","datavalue":{"value":{"entity-type":"item","numeric-id":2870320,"id":"Q2870320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70593e5fb37b887e34ab1469be067ca1d1c6896e","datavalue":{"value":{"amount":"+0.7263942360877991","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":"Q5166666$818DF864-1069-415A-BEEA-88A428620BC8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem proving graph grammars: strategies for discharging proof obligations","badges":[]}}}}}