{"entities":{"Q3303898":{"pageid":3314606,"ns":120,"title":"Item:Q3303898","lastrevid":45911722,"modified":"2025-12-20T10:05:47Z","type":"item","id":"Q3303898","labels":{"en":{"language":"en","value":"Counterexample-Guided Model Synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228163"}},"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":"Q3303898$D3FED332-A01A-408C-9383-343D2E61CB2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d12d7194a0f13b83dcf2ce5ab2bab879426cd671","datavalue":{"value":{"text":"Counterexample-Guided Model Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3303898$564A08CC-65B4-499B-B2AB-FA84B188DE5E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c49bbe4a490b7680d767eda2ec01f58ffd0d0a89","datavalue":{"value":"1452.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303898$1EA499DA-108A-4241-86A4-4D8E44984D30","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"43287dada924289a987c61840215367e47921a7e","datavalue":{"value":"10.1007/978-3-662-54577-5_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303898$32484E6A-8313-422F-A200-0C0DD6EFAD49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8675088ba59622264d9b63deab589caaa3c7b74e","datavalue":{"value":{"entity-type":"item","numeric-id":1688545,"id":"Q1688545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$5EEE9994-5BDE-48F5-B3F3-0B19E6FD01A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1797629fcd98376075f8fdfe9a9fcaf30af9290","datavalue":{"value":{"entity-type":"item","numeric-id":1688544,"id":"Q1688544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$E126743D-B3A5-48D2-834E-CBE69D1D97EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$386526DD-33EB-4998-AA0B-A5AE81F4EEBE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$4EDB601E-E1AA-414E-9BA3-EB58142DF3C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-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":"Q3303898$802A2D16-4E73-426B-839D-8CDAD53901FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303898$D63F042F-DC35-469A-93B2-2FEE483CC4AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303898$9C06E0DC-9763-42D1-9ED5-C15579BFB989","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf8a8ea62af1861493a606ef4329054cd3aa6e80","datavalue":{"value":"7228163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303898$9E14B05D-C6B3-4829-ADBD-46BD81C0368A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"075bd4f0d0f46efa06d0219c176262a3c479185a","datavalue":{"value":{"entity-type":"item","numeric-id":12856,"id":"Q12856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$4A996D45-2E12-48EB-A8A1-535698AD36BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"85575b60ef4d0a8413d3c895be2530b8915bc3fb","datavalue":{"value":{"entity-type":"item","numeric-id":16612,"id":"Q16612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$83DC4030-FD5B-4EAE-A3E5-EDC64731C24E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$12B79D20-C2A4-4A6C-A4C9-AC2BC0B560B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$76515A0E-2096-4BB9-BBCB-264407F8460B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$E75BACEC-58D9-4E13-95BE-65A83699B6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$31B2D2CF-C146-469A-9258-487CD0616717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90f139681161cf03fca3b88a13657b8b8fd37862","datavalue":{"value":{"entity-type":"item","numeric-id":25180,"id":"Q25180"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$25DFCD7D-E3A9-46F0-BC49-24392801EF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fd1f11f1c714006456b4bd54bab92a11b4a8c134","datavalue":{"value":{"entity-type":"item","numeric-id":40388,"id":"Q40388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$98FBCD55-12B1-4612-A4A2-AE78D8891C83","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":"Q3303898$EC2DA794-1F62-406E-BC8E-23F74578FF03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"db3147f63b27d911e1aa6ac30d2d3ff4a516242d","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54577-5_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q3303898$0B1793DC-3D14-45AB-AFB6-799328FBCAEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"110b2e68859f6eb742fbd3649a0c130810b4772f","datavalue":{"value":"W2600774173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3303898$8D1D7500-0BBA-4C7A-B593-E13B234E2954","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"705eb07356f3c57b6af5ee5160fdf7a239743339","datavalue":{"value":{"entity-type":"item","numeric-id":3600470,"id":"Q3600470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$761F827F-F967-4D39-88DC-19FF25C11D41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72218519db5d67e742c1d9933b547c92ef121134","datavalue":{"value":{"entity-type":"item","numeric-id":3557080,"id":"Q3557080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$6C1C73BF-5494-41B2-AB6D-C69FFCC1D161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0c92d03289446e128e8c1b5528c6f94929a65a","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$B972237A-AD03-4E89-93D0-8AB3A9236B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1090c0923a648c9a11d5455265fee31d46be151a","datavalue":{"value":{"entity-type":"item","numeric-id":504997,"id":"Q504997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$1E5073A9-0DEC-4B8C-BCBE-052948C902D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4bf82aa5c825000208c5b437043a5cc9fbc4323","datavalue":{"value":{"entity-type":"item","numeric-id":1702893,"id":"Q1702893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$13322E3F-F20D-46BD-92DA-9E203091222B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f426d61b5e73f09c762af22502a76e1d6d446b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$AD95DCD7-DD8E-4FAB-9B6C-2AFDF651DBAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1cf1fbb097a93619e873e24271fa9638a00cf8d","datavalue":{"value":{"entity-type":"item","numeric-id":2441770,"id":"Q2441770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$D214C1E8-5BA6-419F-AE38-A353C9C40EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f94ecc0a77f40cc24a1db27854603b882b5e79b","datavalue":{"value":{"entity-type":"item","numeric-id":2818019,"id":"Q2818019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$BC569D39-F4CD-4376-8C37-570922DB995E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$1ABDD23B-6DD5-4792-9F25-1C6DDE432BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$669C7FF4-F467-43E5-A5FE-356AB1762112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dedc1a1dc66375148bfb7c52438affa8128f4c1d","datavalue":{"value":{"entity-type":"item","numeric-id":4930601,"id":"Q4930601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$F1824BA4-9974-40E2-8BF0-CB8CC4BA7144","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704f4865753d98c89f37be5b7076fdcd1d4df9b4","datavalue":{"value":{"entity-type":"item","numeric-id":3460090,"id":"Q3460090"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$6A230865-AF4D-4134-A53A-CA1A88F76297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a02ce029e8ac8b500586f8f6f436af0dbdfad98","datavalue":{"value":{"entity-type":"item","numeric-id":2363817,"id":"Q2363817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3303898$5185BF4D-0289-4247-A5B9-4112974620BB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a35fff7817c9188590985ccedf0917e3f18c6f7","datavalue":{"value":{"entity-type":"item","numeric-id":4649389,"id":"Q4649389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83d5c44c0e68669d84441fa66d2ef413b441d684","datavalue":{"value":{"amount":"+0.8775722","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3303898$74DE5DC2-2924-4830-A7B8-EB06B8D1C1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31f8e1a75aa13bf4061e5021de5ae419c44d0e12","datavalue":{"value":{"entity-type":"item","numeric-id":5280592,"id":"Q5280592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7007353a5ccffd2fc6103baad9cdc8f2081fe9c","datavalue":{"value":{"amount":"+0.8679597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3303898$62F30AB3-EB14-40A8-8571-E28AA46C889B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a01942a02711b00fe4d9ca41ae8b4ea9eaaf7d6","datavalue":{"value":{"entity-type":"item","numeric-id":6045008,"id":"Q6045008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da9c322f47355502794bcfcb7bb0666a4ecf6875","datavalue":{"value":{"amount":"+0.8667379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3303898$8F9B1949-5FCC-4A59-8F80-F328EB345097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3c0237bf17e873da72ef936df780a51b0dd890","datavalue":{"value":{"entity-type":"item","numeric-id":5316437,"id":"Q5316437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e7a00c443caa2883d0afbf5e898276b90e1dd1","datavalue":{"value":{"amount":"+0.8654642","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3303898$90980845-3CFD-4D45-9A6C-6A9E685582A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"032fda47f920a23a5bd24d18b53f68f5ff955ffa","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c950dfd284fe824946e278ad5856895adacbf6f6","datavalue":{"value":{"amount":"+0.8630255","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3303898$F70C0544-EE62-4BD8-86CA-A5307F2BDC5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5e080e441dee080cae44b5b0a91c25e505e2f95","datavalue":{"value":{"entity-type":"item","numeric-id":1982641,"id":"Q1982641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"171a6a929597389d5ab59f5f94c7871503c04f71","datavalue":{"value":{"amount":"+0.8598137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3303898$2114C744-726D-494E-843B-553755B1A5B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3303898","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3303898"}}}}}