{"entities":{"Q4649805":{"pageid":6679386,"ns":120,"title":"Item:Q4649805","lastrevid":90643883,"modified":"2026-06-04T20:55:38Z","type":"item","id":"Q4649805","labels":{"en":{"language":"en","value":"Inference of polynomial invariants for imperative programs: a farewell to Gr\u00f6bner bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6105897"}},"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":"Q4649805$397266A6-C2F1-4D23-9B62-6551FCBB5502","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6e7f5619bdbd14eb0e614f256a45a6e163efea41","datavalue":{"value":{"text":"Inference of Polynomial Invariants for Imperative Programs: A Farewell to Gr\u00f6bner Bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649805$AE8F12F0-4078-472A-9926-0989D481E96C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d506e7d029fd4e1aad5cc42dbb996d18b6b606aa","datavalue":{"value":"1401.68036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649805$945C1B19-585A-473E-916A-6A69B60C90ED","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"97453cc23514cf9fa73eb0d7ae1a4c6b3e36c2e3","datavalue":{"value":"10.1007/978-3-642-33125-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649805$067B5AC8-DFE5-4143-A6BB-4B9B4BD85ECC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649805$531C754D-1C10-4334-85D9-11DBBDBEA3D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233b9666fd641860727eb61eeec607b4ddd3d487","datavalue":{"value":{"time":"+2012-11-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649805$0CC38C81-9CD8-4291-8756-50207D66C13D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649805$8D877BB1-B5B2-4A2C-A48E-E97439364CE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649805$CE73E11F-66C9-4BE9-A140-208C1399E9C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c17e6ce71e354daa6baea6aba300d368378c414","datavalue":{"value":"6105897","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649805$F42D1545-27FD-4F62-85B2-005CCBD731D9","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":"Q4649805$98247780-6B1A-46DB-82E4-DFAA4519DFD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d845400a4128d3b51cef209d3a98e4bdebaab5c8","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33125-1_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649805$2E327E8C-477E-46E4-A855-1A673A882414","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"76510764d13bd37dc215db8ce642cb4a21672ace","datavalue":{"value":"W2963835510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649805$567876EE-2486-4347-8B57-A0D8040788E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cf36bfd14d85130d7ee6c41b3f17bd536466d5f","datavalue":{"value":{"entity-type":"item","numeric-id":2457430,"id":"Q2457430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab0841fcb28e24ee928bebdc9b4ea64be499d829","datavalue":{"value":{"amount":"+0.814620316028595","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":"Q4649805$987C06F1-93A1-4DB3-962C-0238F23B4AE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"176aff1888dfe6f5e59fd7e5deb833fd7342adfb","datavalue":{"value":{"entity-type":"item","numeric-id":3452270,"id":"Q3452270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb41796c43f94e8c30f82005fa4db9487b22ec51","datavalue":{"value":{"amount":"+0.8085483312606812","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":"Q4649805$5D399129-1C52-45BF-9D51-490920FA7921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55e1ac102e88017aeca9570343676b61175a152b","datavalue":{"value":{"entity-type":"item","numeric-id":4657335,"id":"Q4657335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9b254eb8ea75aab9ff5fe21b6ddd8dc35e92c26","datavalue":{"value":{"amount":"+0.803499162197113","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":"Q4649805$D3CFE4D3-4050-4C85-9F89-7812CABA9A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1882d77d0d7fe926d36d1ea73f2313c9b1ca92b","datavalue":{"value":{"entity-type":"item","numeric-id":1990524,"id":"Q1990524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0118cc74c8d28ad862387a7932ac29af834739e","datavalue":{"value":{"amount":"+0.7896754741668701","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":"Q4649805$1557F896-15F1-441B-808D-C6C8C26A6B48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55dc94d6c943e11e0ad21ad5d6cd53d7242a4d9a","datavalue":{"value":{"entity-type":"item","numeric-id":2390319,"id":"Q2390319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20e7e3f6e6023725fa2b99403bbeda5863e93092","datavalue":{"value":{"amount":"+0.7872854471206665","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":"Q4649805$25459D74-4A2D-4EF4-A841-2EF926A340CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inference of polynomial invariants for imperative programs: a farewell to Gr\u00f6bner bases","badges":[]}}}}}