{"entities":{"Q4649300":{"pageid":6678881,"ns":120,"title":"Item:Q4649300","lastrevid":51600923,"modified":"2026-01-19T00:38:33Z","type":"item","id":"Q4649300","labels":{"en":{"language":"en","value":"Counterexample guided synthesis of monitors for realizability enforcement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109373"}},"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":"Q4649300$982DB6ED-5EB8-44CA-91C3-62F117D92FB5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8eed640a55a304b94c6f085e852511a6e09c5567","datavalue":{"value":{"text":"Counterexample Guided Synthesis of Monitors for Realizability Enforcement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649300$8528D08D-0410-46EC-B791-E687630C0799","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a5cc11aecfdaeab16039697f152ee74064039ce","datavalue":{"value":"1374.68289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649300$668AA9F3-74D8-46FC-8F0D-E4AFA5B859F9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bad514500ea8366396d8ebbfa3eb59ec0cb1f711","datavalue":{"value":"10.1007/978-3-642-33386-6_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649300$08666618-280C-4F6F-99F1-D79088BF68F2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53704762395703afc440bcae71e82b34dfe3fef8","datavalue":{"value":{"entity-type":"item","numeric-id":4649299,"id":"Q4649299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649300$3B888B14-D828-435A-8447-5BC11A0B70AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65b4a98099b7ca5bd6ebeda9e47c41c524b13805","datavalue":{"value":{"entity-type":"item","numeric-id":433346,"id":"Q433346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649300$13B304AD-502D-45E8-A9A0-70244A44F0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b825f2bff46df665b117d238e3c2868427c2bbe","datavalue":{"value":{"entity-type":"item","numeric-id":433345,"id":"Q433345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649300$6A318851-F543-410D-99B2-1CC23B1DA2BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fb871d7a444106c04a08900e781eca233868e362","datavalue":{"value":{"entity-type":"item","numeric-id":3172900,"id":"Q3172900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649300$25F3E546-6BA1-4E78-B83C-3CDFB6589F28","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":"Q4649300$C6413D7D-E46E-47E6-8E3F-F5A22ABF082C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649300$0238B5CA-C295-47EF-BEEA-D84738A61FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649300$54EED2DF-6CD2-407C-9292-0B8FEDDED7A4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e53c092a66488b3dbbfe4d3eab763646bd1ff8c0","datavalue":{"value":"6109373","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649300$ECBB7B9D-8E09-407E-9D76-CF719F1466A7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6c2bbc1888f3e72bf1a3c3f77c3aa1e54863d5ef","datavalue":{"value":{"entity-type":"item","numeric-id":32236,"id":"Q32236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649300$3280F081-F40F-40CB-851D-59D777AA97C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8860b2cd15c94f68eddbbb4c1da7b2e3d0978f1b","datavalue":{"value":{"entity-type":"item","numeric-id":17140,"id":"Q17140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649300$A30476A4-86A3-41FD-BBE6-447AD96C2500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e4475a1d61c9114a2a64b4e2a8aae0f014f10361","datavalue":{"value":{"entity-type":"item","numeric-id":33753,"id":"Q33753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649300$A3141921-4FC3-4FB8-B22D-DDA9E3A77E45","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":"Q4649300$029548D0-3B32-4728-BE19-F952B057C2CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3068a2c4b97edac8346e356989bf18afb1ae734","datavalue":{"value":"https://doi.org/10.1007/978-3-642-33386-6_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649300$2A964E80-ECA6-4BE3-98C9-9082C5EB0C1D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d83c4f6d6717f2fdc755f10bc4c8cfe27076cb90","datavalue":{"value":"W2096699267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649300$FC896B27-B8B3-416D-8FE2-2B3B750A0746","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8a49080728b8d9549936ed40ddfdc4c13da3b6","datavalue":{"value":{"entity-type":"item","numeric-id":2942872,"id":"Q2942872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"388619c8b65c95caaedfa1734cbb7dad9c3438b9","datavalue":{"value":{"amount":"+0.7258816957473755","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":"Q4649300$185DF0D2-AC3B-4E93-B913-7E87F3C22B99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f0983029a9cb6051e982017344c1f8afd6d2c4d","datavalue":{"value":{"entity-type":"item","numeric-id":2436454,"id":"Q2436454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbaa3ef08ec59d206da9ec5747e6408040b06487","datavalue":{"value":{"amount":"+0.7040541768074036","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":"Q4649300$16D6C5B4-74D9-4741-B920-6388A070E169","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6657d282eb22d1d80287d40586225cb0a23f1918","datavalue":{"value":{"entity-type":"item","numeric-id":3559795,"id":"Q3559795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36b1fd3ac668d30bd8bc7f73c103a2c6520eec1c","datavalue":{"value":{"amount":"+0.7018653154373169","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":"Q4649300$5DC7CF84-CBDF-45D8-97EF-F3BD2F2AAE79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb7aa547934599218d921263b7c2e7dbb347b81d","datavalue":{"value":{"entity-type":"item","numeric-id":703491,"id":"Q703491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e6db103ab86bb10391f1326f363c0402891d8a1","datavalue":{"value":{"amount":"+0.6999906897544861","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":"Q4649300$E6CE2E90-3921-4B25-80C7-24485107297D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"960790b718f666854f1e6eb12b47b69b3a6ac821","datavalue":{"value":{"entity-type":"item","numeric-id":3449462,"id":"Q3449462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9354c8902f53b13d5a6b530467d137ce71a7a09","datavalue":{"value":{"amount":"+0.6966100931167603","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":"Q4649300$78FE602D-B1C5-414D-8C82-AB600F4C7842","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4649300","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4649300"}}}}}