{"entities":{"Q5326301":{"pageid":7355875,"ns":120,"title":"Item:Q5326301","lastrevid":51790313,"modified":"2026-01-20T01:28:08Z","type":"item","id":"Q5326301","labels":{"en":{"language":"en","value":"Counterexample-guided precondition inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194808"}},"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":"Q5326301$8243D6C4-333D-41DC-947D-09DF88A3734C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df2901718e02e22f674292789eca7905b1d27495","datavalue":{"value":{"text":"Counterexample-Guided Precondition Inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5326301$24DA2CEA-F5A9-4E5C-B138-67B9FFFED3F5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e49e852433e424357824a5252e7dcc802eab6026","datavalue":{"value":"1381.68180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326301$7FD4A102-B185-430D-B5CF-170A209FCB4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b4c85714b895a38fddc80447d965be548a895779","datavalue":{"value":"10.1007/978-3-642-37036-6_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326301$91A5E76D-3EE8-4832-BFF1-D4C25F696E1C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc663e4e1b1b01bdb807bcb364eb0ac57acb9da6","datavalue":{"value":{"entity-type":"item","numeric-id":2789047,"id":"Q2789047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326301$06DCB5CA-CB52-4324-A25E-7BEF25292431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326301$5A30495B-38B7-474A-98DE-98F822AAC21E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5326301$5E7B14CF-02D6-4392-AA73-F450F334E434","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95aa5aea465a8772f3ec0450c3b06f16f93c1446","datavalue":{"value":{"time":"+2013-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5326301$AD8D279B-EDE9-4578-9E51-E96EB27AF9A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326301$9AB8CB87-F052-43D5-83AB-0CE940FFB2BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326301$9DB82166-E574-4EB7-B503-0BDF913C2D54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"226c31ebb88d494ee5353d2c412e0acf4dae1bf0","datavalue":{"value":"6194808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326301$9F33FBF1-6F99-41A9-8F87-8835599CBE09","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":"Q5326301$143EAA3A-AC5D-4BAF-8641-8FCD4A43143A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"99ba96b4d1b3ae0c06512ce10d2a18f9a971e38b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-37036-6_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q5326301$D1A038FB-C561-4854-AEC8-5D01B000121B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"75e77cd7bbdc5e6cf7da6dc84dc2236e067747b6","datavalue":{"value":"W2148315256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5326301$2748BAF4-DDA8-42DF-90E9-3ECE3B99C280","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb498f9b979e7b677bddb51274809894626f3598","datavalue":{"value":{"entity-type":"item","numeric-id":2789048,"id":"Q2789048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c82953ca20509743c6159612ec7aa76af45ad4eb","datavalue":{"value":{"amount":"+0.8068433403968811","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":"Q5326301$11B09E00-C1FF-4C2A-9567-1DCF3A29B87F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e234f9c4d96cdf500c05ed21a7629b55d04413b","datavalue":{"value":{"entity-type":"item","numeric-id":3075478,"id":"Q3075478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e58f8f221f6fcdde98507173e47190aeb35bdb0","datavalue":{"value":{"amount":"+0.7645314931869507","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":"Q5326301$B0CF3325-3DF4-4391-9BB6-A28F5659A513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e68affb5e91522501c2d45d276994ed59304e01e","datavalue":{"value":{"entity-type":"item","numeric-id":4559813,"id":"Q4559813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b0ae548e5e7763b0c9050c73a31aa01f5aabb66","datavalue":{"value":{"amount":"+0.7561792731285095","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":"Q5326301$E80FDFB7-3808-48D1-ADCE-39C467A73DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bea2d20f2e874a600174140104d4cf02d08a888b","datavalue":{"value":{"entity-type":"item","numeric-id":3600470,"id":"Q3600470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25574f723ca10345465577e355d0a36656c9a466","datavalue":{"value":{"amount":"+0.7524095773696899","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":"Q5326301$13C45BD7-E12A-4DB9-BFA4-C07B691050E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb530de2a2eafa27a1d531520d9a64016c1d12b5","datavalue":{"value":{"entity-type":"item","numeric-id":5452717,"id":"Q5452717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28fee8855f9cedb309cfb721eed1861058763c39","datavalue":{"value":{"amount":"+0.7405483722686768","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":"Q5326301$6092CF72-A36F-4945-ACCE-47458EF3FE02","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5326301","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5326301"}}}}}