{"entities":{"Q2324217":{"pageid":2334960,"ns":120,"title":"Item:Q2324217","lastrevid":57529161,"modified":"2026-03-31T07:06:37Z","type":"item","id":"Q2324217","labels":{"en":{"language":"en","value":"Invariant synthesis for incomplete verification engines"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105321"}},"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":"Q2324217$5C140BF0-D83A-4EAE-BB8D-5B4388E43056","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"121ec07fdc50bf1ce2f8aa0a5552ad64acfb7a49","datavalue":{"value":{"text":"Invariant synthesis for incomplete verification engines","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2324217$6627C836-3840-4F2C-B908-80A9E3DA9829","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb279579c218bc6b0070856efaf10ed794bfd54f","datavalue":{"value":"1423.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324217$E141F4AF-21B1-4471-A6E7-E5B83185C747","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"016f9dd9f08ba3c9cbbb43baf9488ba58db1a4f3","datavalue":{"value":"10.1007/978-3-319-89960-2_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324217$190F8C5D-C51A-4494-811A-8BE4175FE1BB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"985ba93433527f6d082a450a60d069993898369d","datavalue":{"value":{"entity-type":"item","numeric-id":477196,"id":"Q477196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324217$F55D2831-61B5-4C61-9F71-557B3CEE69C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7db51a0f04b9f0d6e4008fbb01a7a758126343","datavalue":{"value":{"entity-type":"item","numeric-id":746777,"id":"Q746777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324217$2471A7F1-7E90-4F59-8A55-D007F1E2F5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed7ae23aa61a0d3617ed945c3a7817f6e39ebeb8","datavalue":{"value":{"entity-type":"item","numeric-id":236078,"id":"Q236078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324217$9D3EEBC1-3992-439C-8CF5-C5E8D92D003A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08dea09d468230ac7ef2543a9211289760c3589b","datavalue":{"value":{"entity-type":"item","numeric-id":2208305,"id":"Q2208305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324217$CD2E376F-C2E8-4729-84CF-A04AF356F706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83585fffae78269342e077d3b8e3dda2879f1b18","datavalue":{"value":{"entity-type":"item","numeric-id":2208306,"id":"Q2208306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324217$4BD7D634-BA02-4A28-8E45-E5155CCCC579","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96391af82153a94a4af2a0e4c8ac60042cea1674","datavalue":{"value":{"time":"+2019-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2324217$90D3F38F-6D31-4D4D-AD62-00309B6D38CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324217$DEEDE2EB-9986-4D89-A76D-2F53235D5134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324217$75277B6E-4696-49AA-9CE5-C98EA341A29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324217$D4E9E382-209C-46C1-8CFD-D69581E06E59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a44a666b0c529105d559663af696b7b400958adf","datavalue":{"value":"7105321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324217$C8904DC0-6CC7-42D0-9DB2-CCC1C216279F","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":"Q2324217$051E60FF-09A8-4559-854D-896DB12126FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"84bebd2f4f7002ee5442c63ae013d142068015b0","datavalue":{"value":"https://doi.org/10.1007/978-3-319-89960-2_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q2324217$A2FD63FC-3EE5-48DA-8A70-D44F50417EAE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7198b62b0c78ada8910cda8246d1ee85faa8c96b","datavalue":{"value":"W2962805785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324217$3186D833-6A78-4023-BD2A-E410FBA7B22D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"557aba351f98a507dc47f03eaddfa587e5ea434b","datavalue":{"value":{"entity-type":"item","numeric-id":2208307,"id":"Q2208307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f2c8cd70f5f7af2901261749fc1e289b64161e","datavalue":{"value":{"amount":"+0.9745361804962158","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":"Q2324217$811B3002-BBC4-41F5-BAB8-EBE51B8AFD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d950c362d3801fde912fba8bdf9587069d04358","datavalue":{"value":{"entity-type":"item","numeric-id":5452621,"id":"Q5452621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9da7b8eae30eb6dfada08073bc60a99027cec68","datavalue":{"value":{"amount":"+0.7478911876678467","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":"Q2324217$7B61A267-0657-4E98-98B5-0B29E8508FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87d3c9e48f94c94d2d69862e627d4883b274b86b","datavalue":{"value":{"entity-type":"item","numeric-id":2280222,"id":"Q2280222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c6a96bba2ca5c900b595911f9ae4a7cef1933bf","datavalue":{"value":{"amount":"+0.7411701679229736","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":"Q2324217$E9915AF1-1550-4BE9-80EF-D523B70EC74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81fb1657427495232c5ae2608a0e6d15ca998a89","datavalue":{"value":{"entity-type":"item","numeric-id":1702893,"id":"Q1702893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85ec9a5468847a763edc9f2489ab2c614e30a22b","datavalue":{"value":{"amount":"+0.7383167743682861","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":"Q2324217$B4BE712A-066B-488E-B0B1-0BC21E5D5207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df382d8d1b86451a6937787c5c53ef4f54c6c488","datavalue":{"value":{"entity-type":"item","numeric-id":2842643,"id":"Q2842643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"538f31e24c088a3d3290df07ba4caf0686e91abf","datavalue":{"value":{"amount":"+0.7358454465866089","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":"Q2324217$B2D3DDF4-8957-433C-96CB-B108143512B5","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324217$3503A1B9-20E3-402B-BE40-6593704F1B22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2324217","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2324217"}}}}}