{"entities":{"Q4649389":{"pageid":6678970,"ns":120,"title":"Item:Q4649389","lastrevid":51601190,"modified":"2026-01-19T00:40:46Z","type":"item","id":"Q4649389","labels":{"en":{"language":"en","value":"Counterexample-guided synthesis of observation predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109497"}},"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":"Q4649389$2A4D7658-343B-43AA-900B-FCCF84D598A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f98f5c513d8b818b9510e889bc9fcf2b256f2632","datavalue":{"value":{"text":"Counterexample-Guided Synthesis of Observation Predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649389$05B1BA17-9F70-4667-9A52-FD0890112DA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"37e3800821d8838592d2eaee1d5bc512914b4f00","datavalue":{"value":"1374.68083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649389$C57FE9C0-D817-4C90-8E0F-DBE4D102201D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9035cc809fce90c4366d882f60b3d5f56eecbcfb","datavalue":{"value":"10.1007/978-3-642-33365-1_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649389$0439EB18-D6FF-4986-8F8A-A050D322B404","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7327543f3fd83acc38c0b22bf0231e3136bbbf7d","datavalue":{"value":{"entity-type":"item","numeric-id":1683927,"id":"Q1683927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649389$31F7E077-2BC8-490C-8564-A1DB5648D01D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dda9ef52c721036bc2c5ca8408bcb7b43075ffbb","datavalue":{"value":{"entity-type":"item","numeric-id":515653,"id":"Q515653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649389$9F0B4F21-2859-4EE6-99A2-DB46985EAFE8","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":"Q4649389$F8A1AF0D-8F2C-4A5B-8369-2B2F3A8E158A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"009d073aaba8149d93f34c88135fe65aadf514ad","datavalue":{"value":{"time":"+2012-11-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649389$E3196A31-CFA0-4680-AB3C-2D002BDFB546","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3f1d9f0615e1d07655b101bcaa9c5d6cf2ba3c34","datavalue":{"value":"http://eprints.whiterose.ac.uk/156476/1/formats12.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649389$EFF047B7-4C27-497D-A25F-7B347C5E269C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1908801a2431998085c7d582418a428f7e7f6658","datavalue":{"value":"68M20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649389$9E3146E9-160C-40A3-975B-16C35CC30124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649389$E28F6172-C8E3-43B0-9FA5-08EBD0010DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649389$6F16ADF8-C210-44B0-B709-4904470FE029","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"03b26ae69ac9017694f8bbfd59ad62ed801d2617","datavalue":{"value":"6109497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649389$DAC75F53-4FF6-4D55-BC41-FFED0374D291","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":"Q4649389$7DCEF891-3351-4697-99C0-C2A08727DCB3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c09914c2ecddfcfbb94201fd7fbaaa5c40d980d4","datavalue":{"value":"W2271441959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649389$68BEA2B0-6080-4DAF-80FB-956826F181BF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a79cc718f9b774273001cf6a29243b148ed127a0","datavalue":{"value":{"entity-type":"item","numeric-id":2894283,"id":"Q2894283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8080f53a77faef4e8b02d1f39fdbcab72705e871","datavalue":{"value":{"amount":"+0.7945321798324585","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":"Q4649389$6EB45073-5FE9-446D-960E-56579DC453EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"371c5e7fcecdf7c37e5dff14fef21851f7ad8d06","datavalue":{"value":{"entity-type":"item","numeric-id":4649298,"id":"Q4649298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ad8de13d163fd971d36313837e0dff525f4b635","datavalue":{"value":{"amount":"+0.7650817632675171","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":"Q4649389$FFF88152-0802-477B-8755-358E72A1CEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6e66160effbc6e6d4a5665c0016a1f9ff9aa0b4","datavalue":{"value":{"entity-type":"item","numeric-id":4649397,"id":"Q4649397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae905d8941d422e139d7fc5c421d9d941c1c7538","datavalue":{"value":{"amount":"+0.7632365822792053","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":"Q4649389$0310451E-F641-42BB-BC4F-B69EED57A675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6500cdccc064ef042d806041b1b114337dd84525","datavalue":{"value":{"entity-type":"item","numeric-id":2999201,"id":"Q2999201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9a3f63d85778c9933ef88150ee1696a73b36771","datavalue":{"value":{"amount":"+0.761452853679657","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":"Q4649389$30DE1567-69E2-4012-8451-E6310726C457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7afbacd9c03f696cc70c4ff0aa945977b620ca1","datavalue":{"value":{"entity-type":"item","numeric-id":5900678,"id":"Q5900678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a3efa6fb9778895b21f8064e4e094c2f79f69cd","datavalue":{"value":{"amount":"+0.7509896159172058","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":"Q4649389$F9649C52-53BC-4F27-AEF3-D99D8BF075A9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649389","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649389"}}}}}