{"entities":{"Q3166219":{"pageid":3176935,"ns":120,"title":"Item:Q3166219","lastrevid":85970564,"modified":"2026-06-03T13:03:17Z","type":"item","id":"Q3166219","labels":{"en":{"language":"en","value":"Invariant generation through strategy iteration in succinctly represented control flow graphs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6096734"}},"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":"Q3166219$B856BE0A-E3B3-46D5-A02D-E0F926D35C6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d690be098c5a4e881b290b2acfece35eb33d0ce","datavalue":{"value":{"text":"Invariant Generation through Strategy Iteration in Succinctly Represented Control Flow Graphs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3166219$4B99935A-B41C-41AE-97DE-2D68707799B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2da6501dee81daf24276779d6ba8fa919236401f","datavalue":{"value":"1248.68142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166219$9C86246F-DB3A-4DB2-BC6E-2D01A4E8F5D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c0e7fca4a6b7efa71e53e70c6dafc1c9bd2bf2c8","datavalue":{"value":"10.2168/LMCS-8(3:29)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166219$2452D94F-D307-43B1-BF58-A2ADA4639457","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff75dd00fcd4a3f56295820358cc11a89e7faf1d","datavalue":{"value":{"entity-type":"item","numeric-id":435966,"id":"Q435966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166219$2A2A6E96-DDA1-47A2-B930-2ACC94B87C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8ef1c6e78c9ea414b5f452a20c5da29ecee893b","datavalue":{"value":{"entity-type":"item","numeric-id":848743,"id":"Q848743"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166219$CD9D816A-DCD0-47E5-9B19-65745F30911C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166219$DE738FC2-C10B-4B26-880D-9F4C6FC474D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8404257a30e43f4422f9bf6490e771e737e94e6","datavalue":{"value":{"time":"+2012-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3166219$0BEFA6CA-1766-4BC3-9CFC-F68E4FB5506B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"10fd4c065cfcb89ca297ce96a90c5db42d3e15d5","datavalue":{"value":"https://arxiv.org/abs/1209.0643","type":"string"},"datatype":"url"},"type":"statement","id":"Q3166219$FEAED4D0-B069-494C-9BF4-DEE4C6A6237D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166219$57AC5027-1E8E-4E9F-AFAA-C8B4CD4A0810","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bab70b6c66a5fd70a9c6e64276ee0517294b22da","datavalue":{"value":"6096734","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166219$3B5BF192-9A5E-4F83-B825-C1969C56EFB7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f1253d11eab680653532d2dc6ff339ca638c804","datavalue":{"value":"static program analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166219$0856A5A8-BBD9-4234-929D-6ECDE387773A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166219$7D3C1968-BE7B-4A01-8E02-249FC76B7DDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"edb713e850281893b23e8119bd6ae014e438c630","datavalue":{"value":"fixpoint equation systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166219$6DD8C450-8DBA-4803-9462-F77F6C620F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6be2d50b79788692f717f4dd33e768a4df591d5","datavalue":{"value":"strategy improvement algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166219$FD09E560-9EE7-4D84-A367-79EDB8D52DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dac36a0d5bcef050bd5c5ec480998b0eb01458a6","datavalue":{"value":"SMT solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166219$0ABEA9BB-295A-4A18-B10C-5231621E65B0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fbed10bee046678d6f472e9e7c0efde19c97b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":25616,"id":"Q25616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166219$534CC8F7-7403-46F7-8D97-08A589E3CBA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166219$9E989FE8-C0C2-4353-AFAF-1DEDE309D2F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166219$C24BD570-6482-43D9-AA84-0E6CAD7E6222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"630858108012d4b1d813d05f96b53442397f2dc9","datavalue":{"value":{"entity-type":"item","numeric-id":17101,"id":"Q17101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166219$077F671E-C52A-4357-AF77-3E8D6DD2CEBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166219$A0B74F7E-5B2D-441D-BBA2-BF9DB359F2F5","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":"Q3166219$F65E66DD-5204-4229-9CF7-6FCE486E2E57","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4e250a238a6b462d756ca6debe1437899ce5a94","datavalue":{"value":{"entity-type":"item","numeric-id":3000582,"id":"Q3000582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e29c48b2b5322f12f3603ee0d1b0b2f9a6262a6a","datavalue":{"value":{"amount":"+0.8162713646888733","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":"Q3166219$C3974342-BEDB-4C41-A40F-2E667CE6221E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94d432b2dfeaf38617bb08d53ff0489f49e55a2a","datavalue":{"value":{"entity-type":"item","numeric-id":435969,"id":"Q435969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5bac30fb130171dc9d724be907fc0297a6ae30c","datavalue":{"value":{"amount":"+0.8090919852256775","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":"Q3166219$FBB22C64-488E-4293-81AA-EEB72A629836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f68799fe231634b866ca64dda65083a0d7aaa5b7","datavalue":{"value":{"entity-type":"item","numeric-id":5756499,"id":"Q5756499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19061ca2c0884232ab5d02ca9267200d6ab70287","datavalue":{"value":{"amount":"+0.7939231991767883","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":"Q3166219$5F686B18-2FF3-4B76-B2E8-7D9C09892E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc47d371be75bc56a3d19a2e60b717b0a46b1228","datavalue":{"value":{"entity-type":"item","numeric-id":5900703,"id":"Q5900703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a555c59b3ca0e647dbc479ac55a8f8741bab104","datavalue":{"value":{"amount":"+0.788398802280426","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":"Q3166219$A54373DA-8DE0-418B-A6E9-D416B911492D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d4389e6fcab0901e3894e24f0dce3a08a1d0612","datavalue":{"value":{"entity-type":"item","numeric-id":3608402,"id":"Q3608402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb1668ac401e76788d2c442f87663e4d24645924","datavalue":{"value":{"amount":"+0.7870412468910217","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":"Q3166219$EA48257E-0B9B-4957-8BEA-7B84FD7FAF44","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Invariant generation through strategy iteration in succinctly represented control flow graphs","badges":[]}}}}}