{"entities":{"Q2789055":{"pageid":2799793,"ns":120,"title":"Item:Q2789055","lastrevid":83429852,"modified":"2026-05-07T07:50:03Z","type":"item","id":"Q2789055","labels":{"en":{"language":"en","value":"Automatic constrained rewriting induction towards verifying procedural programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6546228"}},"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":"Q2789055$5F0A9EBA-B21C-4E95-8399-300DA79486BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5785562ec8d34b717622d2e7fe86ef655d606512","datavalue":{"value":{"text":"Automatic Constrained Rewriting Induction towards Verifying Procedural Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2789055$DA31EE52-CDFB-4B5E-A1B0-F86304735154","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adb77e894669c878f2df6f4f4171d724d34742fb","datavalue":{"value":"1453.68050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789055$53E06283-B8C3-4924-90C6-501E9E921E8C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73f5303da6e575742a3a9f4685f4b945777fdb66","datavalue":{"value":"10.1007/978-3-319-12736-1_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789055$2E2BCAF7-EF7B-492A-8A9F-18E1BE9BBF7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e34f94bae741b263748574e2b2f0d5e51dd493db","datavalue":{"value":{"entity-type":"item","numeric-id":2789054,"id":"Q2789054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789055$02D62A5C-6369-428E-8360-B0B58ADFFFA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fab14ad221e511a68105cfd43aaa9a4a54c3b820","datavalue":{"value":{"entity-type":"item","numeric-id":969618,"id":"Q969618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789055$F68EBF43-EF5B-4F75-A766-1A15BCB6C882","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2789055$AFF6AE3B-D357-4D5E-9D8E-712C4932405B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e53e678e29f7b2f89df1b8e0b1fc2ce3cab575d1","datavalue":{"value":{"time":"+2016-02-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2789055$535BEEDD-7D47-46B9-876F-0C05F7BAC958","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789055$673AE125-C903-43A5-94BC-2902763EB8B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789055$FBB5DD43-807C-466C-80E3-73EF6B78B8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789055$722FFCBB-F69B-4286-A088-F7271F093621","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"047ad3aadc17db76593fb0821b6bdac32764657e","datavalue":{"value":"6546228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789055$4DBDC1C8-B64F-4169-8A83-7D73C5E3BEFC","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":"Q2789055$FBC7B2B7-C711-4C6F-98F2-C9C89DF21A42","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2aea3c0a20f645e09d2026097ca57d82cc7b52f","datavalue":{"value":"https://doi.org/10.1007/978-3-319-12736-1_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q2789055$2E1027F6-D936-4E4A-B692-BEE07B0D2C3B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96d923488b510a6499f9d2e49992e27b53be6c3d","datavalue":{"value":"W26731332","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2789055$53462560-F246-496E-96BA-9755BE03ABE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45b8da30769ee0bf991601e0428f66c15b4fffec","datavalue":{"value":{"entity-type":"item","numeric-id":5278212,"id":"Q5278212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5777b5812fd6b4dbea01a9c1face33db2c7222ca","datavalue":{"value":{"amount":"+0.9446539282798768","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":"Q2789055$DCD7807A-A629-40C0-BD12-5889C1A8D194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"562c92cb91f0b2ecd3f6b1b6b8e9d74cd40afb2a","datavalue":{"value":{"entity-type":"item","numeric-id":3012541,"id":"Q3012541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3ade445a197f9250253a1a52b990ce1138c370b","datavalue":{"value":{"amount":"+0.7433394193649292","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":"Q2789055$22F68F12-A7F9-486D-97A9-0BE22FB148CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea95e49f05526edb7368d843c6ed27a9c17b632","datavalue":{"value":{"entity-type":"item","numeric-id":4923522,"id":"Q4923522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9941c8e43bd7ed5512b7dfe1dc01d092c8fd129b","datavalue":{"value":{"amount":"+0.7422606348991394","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":"Q2789055$E3460A31-73AF-4558-B104-B4FC0F61C877","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65783770f753a60e730e2f256403c2da900bb4d3","datavalue":{"value":{"entity-type":"item","numeric-id":3766816,"id":"Q3766816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79a1c79886908368bdd649db309701e5de14f98f","datavalue":{"value":{"amount":"+0.7386478781700134","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":"Q2789055$C9D0C378-733F-47A1-82B4-141EE2F3E28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"076bfd599f38c7137555601dae82393bd0261d7c","datavalue":{"value":{"entity-type":"item","numeric-id":4589602,"id":"Q4589602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da15d5f13a6543bfd7111ad162f12767d8057db4","datavalue":{"value":{"amount":"+0.7371668219566345","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":"Q2789055$F01D8D55-2AA7-4B77-A1DE-160227B464BB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic constrained rewriting induction towards verifying procedural programs","badges":[]}}}}}