{"entities":{"Q6177467":{"pageid":13312355,"ns":120,"title":"Item:Q6177467","lastrevid":102612116,"modified":"2026-06-06T04:54:53Z","type":"item","id":"Q6177467","labels":{"en":{"language":"en","value":"Algebra-Based Reasoning for Loop Synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7732878"}},"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":"Q6177467$31DE1072-3554-420E-AED0-53E7615AC970","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90feb5b2f637ac785b4bf19554c892b22a71298d","datavalue":{"value":{"text":"Algebra-Based Reasoning for Loop Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6177467$160CA3F5-1F43-435C-B44F-88F5AED4A550","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee21cade6eb45a2fa010dbc1df3642b62085a2ad","datavalue":{"value":"1522.68155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6177467$4157F378-EECC-419D-970E-B07FE7E3118C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"73a215ef837108b9025a927a8ea6723ac71b2489","datavalue":{"value":"10.1145/3527458","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6177467$7A204A83-EAB6-4001-BFBF-366D0EA022A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22e6fe3365352d56f05576855b04c2513f48c798","datavalue":{"value":{"entity-type":"item","numeric-id":1798955,"id":"Q1798955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6177467$C64508DA-260F-4243-9DB5-0C84FB436E98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea881ac09fadc09a2eee7a26b035e975a8dbccd7","datavalue":{"value":{"entity-type":"item","numeric-id":6164419,"id":"Q6164419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6177467$EB716D4D-2CE6-4510-985D-24C471C5FABE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f1a755ad39b856fc5a2e4101b7c12f7b83c7256","datavalue":{"value":{"entity-type":"item","numeric-id":483050,"id":"Q483050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6177467$49AFFC83-6C2F-4BA5-A195-3B3F5A6A13EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17059e6c6c8a57972334867cc4d511b5d1368f5","datavalue":{"value":{"entity-type":"item","numeric-id":507357,"id":"Q507357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6177467$08BD2C20-F38D-46EA-953E-329736FD5DA9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6177467$78217147-961A-4B42-ABCE-7BE0EACA77F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ed1b97c874aa96cebcf9bd9f2d490f4bcf42073","datavalue":{"value":{"time":"+2023-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6177467$1452614E-9832-4A37-BF08-D21D4FB6C09B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad6fa9959a371bae275afc4816798dd181478335","datavalue":{"value":"https://arxiv.org/abs/2206.11495","type":"string"},"datatype":"url"},"type":"statement","id":"Q6177467$4C70884A-C93F-401F-AC96-6DCD9DBB0ABB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6177467$28B1C875-D7BB-47BD-BD15-9BE7E088F6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6177467$6282E0F7-6D3B-45FF-8224-385C758C3893","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e0aba70e1c0ae1e3fe78c3c6d925a4b6e2aba28","datavalue":{"value":"7732878","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6177467$3A14ACC7-A068-41E5-B10F-1F6704B63D13","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6177467$D35C8E6F-4538-46B9-9D59-EE22AA0E984A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c6b234052d577bbfc0605fdbf112f40bb1c4228","datavalue":{"value":"loop invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q6177467$3734C2F4-FF4C-4DC2-A250-787259B7D85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dac36a0d5bcef050bd5c5ec480998b0eb01458a6","datavalue":{"value":"SMT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6177467$2C0126DA-4414-4DB1-8EC8-48D584CD41AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e36fd2915ee69146bd208b73e1714d6ba9054ec","datavalue":{"value":"symbolic computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6177467$920D99ED-88A1-4924-BEA5-91C936924FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaddba174af45f20542ddf02305a23b62601f6b0","datavalue":{"value":"linear recurrences","type":"string"},"datatype":"string"},"type":"statement","id":"Q6177467$AA4462DD-1DCB-4F64-A503-339EC2737DF4","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":"Q6177467$6A4D7255-58ED-41E3-B501-D009EC81A375","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"148de89b3cfd9faa0b15597aec2f39a0380dd004","datavalue":{"value":"W4226069598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6177467$6B17ED9C-E796-4C0C-8004-EF92F1914929","rank":"normal"}],"P1643":[{"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":"52d0a27a58edc1d86f54ab841683a710294a051d","datavalue":{"value":{"amount":"+0.9364306926727296","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":"Q6177467$2129F6B1-9949-42E2-855D-9D59DD64ABF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36272c08d8fca69ca939205963fa50800c4ff9c7","datavalue":{"value":{"entity-type":"item","numeric-id":6487938,"id":"Q6487938"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"436b3b29533823774b7b4d97b79a107662641abf","datavalue":{"value":{"amount":"+0.8945876955986023","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":"Q6177467$D10C28BF-7DFF-4131-A695-7FD1FF12FA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0574b314bd4d8a17aed6960ec0b4d41e6491bd","datavalue":{"value":{"entity-type":"item","numeric-id":2938082,"id":"Q2938082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66ee0fe7139eb87890c6fbb112aea8e0afa6074b","datavalue":{"value":{"amount":"+0.8009904623031616","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":"Q6177467$8AA14116-8EA1-4632-AFBA-C7D51755C082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb23bd8c9cdca6792eabcff20647876a470cc75","datavalue":{"value":{"entity-type":"item","numeric-id":5096093,"id":"Q5096093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565fb503ebe1679ccf6fdc08e3ea1a0a8f43cdb8","datavalue":{"value":{"amount":"+0.7830750942230225","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":"Q6177467$4B091FBA-D4D4-4424-805E-DA79E0EE3276","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":"5401d8bba8a7e1220e56cd1c37ac1acaceb570c7","datavalue":{"value":{"amount":"+0.7735268473625183","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":"Q6177467$39709354-49CC-4ACE-B129-B5F3E48BDACE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebra-Based Reasoning for Loop Synthesis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebra-Based_Reasoning_for_Loop_Synthesis"}}}}}