{"entities":{"Q5096093":{"pageid":7125669,"ns":120,"title":"Item:Q5096093","lastrevid":91357295,"modified":"2026-06-04T22:58:02Z","type":"item","id":"Q5096093","labels":{"en":{"language":"en","value":"Synthesizing invariants by solving solvable loops"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7571433"}},"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":"Q5096093$2091E44E-256C-4AA7-A446-72DC8F63053D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5675cd255134edec3b7b87daa3ade30cd73b086a","datavalue":{"value":{"text":"Synthesizing Invariants by Solving Solvable Loops","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096093$A6DF54F6-CEEC-4776-876D-0AA017A5302E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"96cb894dac2485e993a07fd5af25eda1cf7a85f3","datavalue":{"value":"1495.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096093$55CABA71-59C9-4CC1-9A36-4623F4FF8FEE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20a2f23f1a44d643288341ee596994ae958531d4","datavalue":{"value":"10.1007/978-3-319-68167-2_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096093$161C9F86-7189-49AF-BAC9-DC527AE76138","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12170c896902ab2c299cc4b9c356428d1177223e","datavalue":{"value":{"entity-type":"item","numeric-id":1798904,"id":"Q1798904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096093$BCFAB33F-122E-4E4D-A2DE-E708EE931029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a16057771ba6219abfd2dd4dd127f6eec1b56a2","datavalue":{"value":{"entity-type":"item","numeric-id":453500,"id":"Q453500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096093$0E162EC6-544B-4701-96AD-85A9EA6F1F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58f048dabfb876c27aa4e638e74c424cead7d48f","datavalue":{"value":{"entity-type":"item","numeric-id":1798905,"id":"Q1798905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096093$E6195F27-AF44-46F8-AC48-17A3986EAE29","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096093$5F1E9A7E-967C-41F4-95FC-A53E058C392E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7aa7040e0858a957251ee78ad1edc7d13d61d833","datavalue":{"value":{"time":"+2022-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096093$4E0DE7ED-C549-4355-894E-29059A5E9932","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9ab1d9908e29368eebc85c916dcb9aec030253ee","datavalue":{"value":"https://arxiv.org/abs/1611.07753","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096093$2A9237F9-53E3-49EA-BBCB-586133D25CA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096093$63D83D0D-FAC4-44AE-9D57-AA899059C118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096093$1869CB8C-173A-4C7A-B84F-802C648534F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2efa2bef3cf17748ec8f845e3427512e51223fb4","datavalue":{"value":"7571433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096093$2D91DB71-2BB0-4E79-ADD1-CF2AF4771C56","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":"Q5096093$110AB4A6-C310-4C71-9BDC-BF4AAA42C900","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b725e3063114e190dab9e92ca72b541c88657e70","datavalue":{"value":"W2549200807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096093$52833D9A-E923-4B01-BAE0-5C1D2C408835","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb4b85d90580d5ca2859605fed87b940073ce23e","datavalue":{"value":{"entity-type":"item","numeric-id":3503653,"id":"Q3503653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00b14f73802f308e5b4d24ed4f8db46478c08720","datavalue":{"value":{"amount":"+0.8123865127563477","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":"Q5096093$42CF3854-EB43-4EDF-9B95-CB3E45902279","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d3276762406fd5b69340bd3ed4e749c2093b78","datavalue":{"value":{"entity-type":"item","numeric-id":5709984,"id":"Q5709984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30b88ab45863a66e632faf3c3c9b853a824cc9cb","datavalue":{"value":{"amount":"+0.8059818148612976","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":"Q5096093$3217C202-8C57-4BAC-A1AA-0D9D0F265FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2bed51682d9c5b7c5d605faf70180110921267c","datavalue":{"value":{"entity-type":"item","numeric-id":3402283,"id":"Q3402283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7143d90ef79085cafcd692df024f8974ce01e0e7","datavalue":{"value":{"amount":"+0.8026711940765381","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":"Q5096093$160643CC-520A-4743-942B-313866ECE100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326f62e1c11940b62b0d4c57c951972684093ee4","datavalue":{"value":{"entity-type":"item","numeric-id":2234055,"id":"Q2234055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17bfed4ef968d6ea49e724ae8ac8ec241b8e360d","datavalue":{"value":{"amount":"+0.8022964596748352","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":"Q5096093$22ABEA25-AD65-450F-A92B-46830EC0AF85","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":"746295bd71e79ad2aaaf8fa799a0dcfb4bfd44ee","datavalue":{"value":{"amount":"+0.7974777817726135","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":"Q5096093$62D256EC-6576-4A23-9C46-06CB2EC66F47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Synthesizing invariants by solving solvable loops","badges":[]}}}}}