{"entities":{"Q5222968":{"pageid":7252538,"ns":120,"title":"Item:Q5222968","lastrevid":41764040,"modified":"2025-05-08T02:14:21Z","type":"item","id":"Q5222968","labels":{"en":{"language":"en","value":"Loop Analysis by Quantification over Iterations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7076879"}},"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":"Q5222968$6FE6DE84-2B2F-40A6-9EAA-B989709744D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1f64e456e1b5317b908cd5c10c61d332350bd09","datavalue":{"value":{"text":"Loop Analysis by Quantification over Iterations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5222968$8A8CB515-C7F9-4C7F-8225-6F7C6E2FF470","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3daadc6cd883b06e669a8acae890e693313d25c1","datavalue":{"value":"1415.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222968$9C6C8527-2864-4139-9DE7-DCE23850ED19","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e3532073345392f8b183d01d4c05b2f63bbdef5","datavalue":{"value":{"entity-type":"item","numeric-id":1656579,"id":"Q1656579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222968$C1C8935D-00E0-4E4A-AB94-DF4E9D6D4E6E","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":"Q5222968$82931387-08F3-4126-8201-F36198182735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"271a0e8db5ca773d7b7fe045738dca9e2e181b42","datavalue":{"value":{"entity-type":"item","numeric-id":1799097,"id":"Q1799097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222968$1189ABAC-0E91-47F1-AF62-A00335F39967","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"eae4601ff702bcaa610b94b3434abd8165930c5d","datavalue":{"value":{"entity-type":"item","numeric-id":4645721,"id":"Q4645721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222968$EA2C620D-9918-4ECA-BEB1-DC8A09BDF409","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"311afef0a4b95245df7f6c2908ad6e9d40f3f2be","datavalue":{"value":{"time":"+2019-07-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5222968$429DC223-F458-48FF-A0EE-DF1073EB69C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"414c95d087ad942c8338f20ba673f3eff1f68d44","datavalue":{"value":"https://research.chalmers.se/en/publication/a5609e61-7728-48ee-a104-7cd16ec1fe40","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222968$12D80F32-1B1A-44A0-8004-CDAF63D5541E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222968$C9430AD6-D6EA-4FF8-BFE3-4079BCD993A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222968$20BEC221-44F2-4F18-A9B2-D4AEFF04B99F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"56b79c2bb999111247488e5841cdf04594b1b837","datavalue":{"value":"7076879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222968$4F60544C-C891-441F-947E-0DF0B258E44D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222968$212E478C-8DCE-4978-A83D-39BCA7EE6F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222968$A6284530-072C-4D27-8C7D-0CAB79E020E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e4824208d7bba949dd72987d32ffb13493eeb0e","datavalue":{"value":"invariant generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222968$D502CCE8-5E70-43DB-A861-9A7C66D1C20E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d991e63a90f3eab03d4d7492fce68095235234a","datavalue":{"value":"loop","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222968$8A4B55CF-3AAA-4F1A-AD0D-6980ABE1B927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222968$6A2183AC-C97A-444F-BE10-F4809ACC4654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5222968$6AF66D1D-65A6-4C01-BAB1-AB3D035602F2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"33734e36764580044df2d1101af853dac96392fb","datavalue":{"value":{"entity-type":"item","numeric-id":21759,"id":"Q21759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222968$D4ADFE6E-CC49-420D-BC5D-AE33699194CA","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":"Q5222968$A5034D9C-C6CF-4645-9331-8A37A356F5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222968$C65093C6-C13E-4F07-905A-4BB2608AFA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222968$43136B9C-1963-4EA5-8574-A561EF5C37E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222968$30D9DD47-D783-4D77-A213-C60A14245491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5222968$0D3CCF28-A801-49CF-87BC-5155DD199EB5","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":"Q5222968$D89D1223-0FA5-4FDB-B52F-DBA8BFD6CB37","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21db80e9eea1a930aea115c2859905882712e4f4","datavalue":{"value":"W2906781832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222968$573454BF-431B-4538-A1AF-B36C389E2190","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2a347c6de17840da8818efde2132f9802d3fc88f","datavalue":{"value":"10.29007/269P","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222968$CBFAE06F-FEEA-4319-BFFD-3A392F1255AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a39890a8754b4d980dadf774b94c025c1861f3","datavalue":{"value":{"entity-type":"item","numeric-id":5491849,"id":"Q5491849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ea750d88fda66de91250250afc017878a70b721","datavalue":{"value":{"amount":"+0.8894665","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222968$8E47158C-794C-48EC-9D54-ACD58EB4C88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b207d4397b0bc9c6b2a54c6097b402df3452fe","datavalue":{"value":{"entity-type":"item","numeric-id":3000639,"id":"Q3000639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18403fba01f025b4235c098e4b6d122d081771a6","datavalue":{"value":{"amount":"+0.8837731","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222968$C5FED028-1AB8-4636-835E-9C3762B2E51F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d2fd1d686ff69b9e2737d454e6e166187562309","datavalue":{"value":{"entity-type":"item","numeric-id":6060345,"id":"Q6060345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6ef3fc28e3f9e92c54c4dc499ca6597451a6e48","datavalue":{"value":{"amount":"+0.8810051","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222968$8B0895C0-371D-4EA7-AAA8-9787D93722EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecf08f9e6eae6c33e54be636f8491d559294d6d6","datavalue":{"value":{"entity-type":"item","numeric-id":3004678,"id":"Q3004678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7c7f234d881d7d46e2a215aa9e030ebfcc1d39","datavalue":{"value":{"amount":"+0.87398833","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5222968$EA99CC6D-7A08-4034-BB3C-12430574A8BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5222968","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5222968"}}}}}