{"entities":{"Q3600470":{"pageid":5630376,"ns":120,"title":"Item:Q3600470","lastrevid":50566880,"modified":"2026-01-14T10:19:33Z","type":"item","id":"Q3600470","labels":{"en":{"language":"en","value":"Constraint-Based Invariant Inference over Predicate Abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5505784"}},"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":"Q3600470$A74EA500-0506-4CDB-8FF1-D70E056CA990","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3b030acc6a1d03fbd8e87acaf7974073689dc5c","datavalue":{"value":{"text":"Constraint-Based Invariant Inference over Predicate Abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3600470$E734FBD7-4D55-4BEE-8F13-81B9BB27480E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ccceff1e99d8592acd11d6effa2f198917564fea","datavalue":{"value":"1206.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600470$48D5A0D3-DDB6-4FF6-B82F-7511443704B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a175c4a9fd5d6662f089a6d27c8503c143c3485f","datavalue":{"value":"10.1007/978-3-540-93900-9_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600470$1AE23613-A7D8-4D4D-A47A-010343FF66CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00b5dac73a626864066e391d75e33e945e00da80","datavalue":{"value":{"entity-type":"item","numeric-id":859959,"id":"Q859959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600470$1EBA4F00-CED2-4DE4-86CB-47B45F5F9A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98bc1c13cdde62372439ff6e02951c0fb3c14bd4","datavalue":{"value":{"entity-type":"item","numeric-id":1029010,"id":"Q1029010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600470$D023226F-6AA0-4ADB-B366-6664D82CA3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfff8e18d7e6560ba1aab9f47154269354a98d99","datavalue":{"value":{"entity-type":"item","numeric-id":889980,"id":"Q889980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600470$4A9E8D64-01A1-4D76-B6CF-8C134458E543","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600470$0E6E223B-CE1D-4B3B-B545-1E26DDC5DF79","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"862f3ea8dd1696c9694e62e0070fb4814c61ef07","datavalue":{"value":{"time":"+2009-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3600470$546E3967-4CFD-4336-8D11-17F06C7A8E62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600470$57642D73-29B7-485F-AB3F-7930559DD368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600470$8EE4F58D-B58E-4AA9-94A1-72030EEF3F8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a585be887309445f77fd2fc64a0b21e78370e92","datavalue":{"value":"5505784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600470$30E0F87F-1E3F-4EAA-A344-532A79A69F7B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7d87b898ba72899436166ba3ea796133654ca92a","datavalue":{"value":{"entity-type":"item","numeric-id":14037,"id":"Q14037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600470$D2FA3AA0-9706-4BD7-BDB9-7EAE49334A12","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":"Q3600470$A75DBCE9-9EFA-4764-A3EB-0E0B8391D8D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0eb247884c4f73f3fcba38d88519078c634cf00","datavalue":{"value":"https://doi.org/10.1007/978-3-540-93900-9_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q3600470$9B887357-D004-4701-8140-23A99E829ABE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"dc2ec2660b2cf7db5b9bac89ed005bd4c0440ffc","datavalue":{"value":"W1877129949","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600470$F466E8FD-0CCA-4084-9F97-A9876EEE3B12","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b400ee7dab70c859b6f84076d6aeedebe112d4db","datavalue":{"value":{"entity-type":"item","numeric-id":1888196,"id":"Q1888196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9b26540595f8e8b32edd4d8c76d64557bd0ee32","datavalue":{"value":{"amount":"+0.7811147570610046","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":"Q3600470$3BCD2FAF-9D79-4435-BBA7-E1359CF004B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"161118802484d431fcfd10386c29a1c76fdd246c","datavalue":{"value":{"entity-type":"item","numeric-id":549686,"id":"Q549686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ec8874490ac3e91a3e1d680e6d5b15c6c781c68","datavalue":{"value":{"amount":"+0.7684335112571716","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":"Q3600470$DD3E49DA-6647-47F9-88E7-C3DDC9A63AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a06955dffd6e327f4d11c4c479c99ae3ef1bd848","datavalue":{"value":{"entity-type":"item","numeric-id":3605465,"id":"Q3605465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c00ba68314c7b985d23c4bfb82b934246a7414d3","datavalue":{"value":{"amount":"+0.7645592093467712","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":"Q3600470$F9A14417-D03D-4EBE-B124-F7319A5EA0EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bac9d4d28f254e49858c9874367df8c34d82c78","datavalue":{"value":{"entity-type":"item","numeric-id":3176373,"id":"Q3176373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"102dafecf67df4291f8614dbca8038dd78b45803","datavalue":{"value":{"amount":"+0.7635262608528137","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":"Q3600470$532BC440-8D94-41BB-9CBC-84142A5C5899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef1008b80011faf6c45c5de6770c7a7142f4b24","datavalue":{"value":{"entity-type":"item","numeric-id":5901914,"id":"Q5901914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7884d746520d7bb6764ca15d73e36cf7628cc1ed","datavalue":{"value":{"amount":"+0.7629985809326172","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":"Q3600470$71E3F10C-3468-48C8-92D5-A53DA52DF647","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3600470","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3600470"}}}}}