{"entities":{"Q4982087":{"pageid":7011665,"ns":120,"title":"Item:Q4982087","lastrevid":52231412,"modified":"2026-01-21T05:20:10Z","type":"item","id":"Q4982087","labels":{"en":{"language":"en","value":"Falsifying safety properties through games on over-approximating models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6418596"}},"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":"Q4982087$6487B3F2-E16A-4083-ADA9-48F4297B8B43","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d33e985a1e80bec48af20a58c588cabbcf290dd4","datavalue":{"value":{"text":"Falsifying Safety Properties Through Games on Over-approximating Models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4982087$83EB13FD-B2FD-4D09-93CC-FE29274AF88F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"101470409f4e36dcaad7126f25b9881a0411686a","datavalue":{"value":"1337.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982087$9E37AD6C-BDAF-4627-A969-CA43C7DF7A25","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"27726e63c98005f8f5b5062a9432ab8f7bdb5f7a","datavalue":{"value":{"entity-type":"item","numeric-id":287263,"id":"Q287263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982087$8650E9B4-E6CB-4BBC-8E79-4D9B666DEA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5887fda0e194efa53a5f3440f04d1bf60a9bdd1b","datavalue":{"value":{"entity-type":"item","numeric-id":184519,"id":"Q184519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982087$B79BF808-C9D3-43B9-99E7-C289E6BD8577","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982087$49A1C0A2-B924-4370-88CC-E8F3B1387582","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"809666719f9ff28a4fe4775444803d2f896fa4e9","datavalue":{"value":{"time":"+2015-03-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4982087$6E2DD694-3EA0-4DDF-86A1-68B1098FED26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982087$995FCE05-F369-4A4B-8D13-FC95D34C9055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982087$22A50DCE-CB39-4494-B220-1ADD97E4DB29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7ea54baa1ea06ed4d97b856f16a140ed08f982d2","datavalue":{"value":"6418596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982087$F6EDB728-4013-49BD-9093-7AB67E78201A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982087$F2FFF556-AFA9-45A3-8056-DAEF9F7906C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc9a47c8de051a880f2e514b2df8fca32ac201f","datavalue":{"value":"games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982087$43526413-7B58-4586-B6F0-0EE19871D0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e09b5eab8cf742fa233b593eaf44f82dd384d365","datavalue":{"value":"falsification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4982087$7C18B6F4-757E-4C04-A2F4-A1B9E409B4D3","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":"Q4982087$350AF4C9-6178-4704-83F0-498D56C86061","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7cbdba470de16a46bb2e0fdc737381e7c70ffbfd","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.12.032","type":"string"},"datatype":"url"},"type":"statement","id":"Q4982087$95210FB7-7043-412F-B54A-4F2E3510C630","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f2acb47877fef15f3eb2239dfa2ae79d5125b082","datavalue":{"value":"W2158468097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982087$A4D05846-E9D2-4E1D-8962-E2DF40ABB2DF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd265a9d1e0c930d3261ac5aaae62352f73cdfe2","datavalue":{"value":{"entity-type":"item","numeric-id":4531754,"id":"Q4531754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982087$8CF747A7-B445-4B1E-9FE0-AECAD54999A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59cf57a3273310e951bb2d109df68c35d5a2d77b","datavalue":{"value":{"entity-type":"item","numeric-id":4536601,"id":"Q4536601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982087$5ABA9254-CBA9-4FA6-A967-9E5E9374864F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dab014f7e634d475d3901bd68460b6c8d895468","datavalue":{"value":{"entity-type":"item","numeric-id":2863859,"id":"Q2863859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982087$2A64F3A0-153E-4D42-8025-DD88435AF75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7f5f3e3d36d2b003d8aa4ba368de341fb20d30","datavalue":{"value":{"entity-type":"item","numeric-id":4884237,"id":"Q4884237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982087$AE1B59C4-ED4B-4EF6-92CE-DFEC79551D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b022fe950928f92806f5b429d4f5a3164495555","datavalue":{"value":{"entity-type":"item","numeric-id":4791848,"id":"Q4791848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982087$BAABC016-92CC-4677-94DB-7E380B4F601C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1593f69615195b729b8730ce0205e72da085e6e","datavalue":{"value":{"entity-type":"item","numeric-id":5899060,"id":"Q5899060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982087$1B49DAA3-7EA3-4820-AF54-CCA0E225CC9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982087$C20468AD-EF5A-45A0-981F-683FFBE4FB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e5ccf0b70a10206d3060a0ecdfcb0df27797b2d","datavalue":{"value":{"entity-type":"item","numeric-id":5493379,"id":"Q5493379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982087$CE26D474-1EBB-4A90-9CBD-4C93C20547CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5216594ab26dc420117c0934281b2e8f583a7fe4","datavalue":{"value":{"entity-type":"item","numeric-id":4255591,"id":"Q4255591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982087$822B00E8-092A-48D4-8199-A3BFAD419ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01196d5b9ae6063f2a7e141f22a6ff478dcd88cc","datavalue":{"value":{"entity-type":"item","numeric-id":2769593,"id":"Q2769593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982087$BCC5D4E1-66CA-46F2-92FC-EA446D2BC9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38338272dac8f01a00cfb949ea75569fdb402496","datavalue":{"value":{"entity-type":"item","numeric-id":5308433,"id":"Q5308433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4982087$53E32939-71CB-459B-AAD0-652C2D1A10A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33886632351fbb50ac1519c7c395ec56e6bbadc1","datavalue":{"value":"10.1016/J.ENTCS.2008.12.032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4982087$8DD36EC9-B3B7-4E68-B2DC-D939CE74D5A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85885fda0c36991fd52dd74c8e8e93d4d7c533cb","datavalue":{"value":{"entity-type":"item","numeric-id":5716599,"id":"Q5716599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"244e37bdd297127dd09163e5553fa1b0a3aa79a5","datavalue":{"value":{"amount":"+0.7443608045578003","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":"Q4982087$EFBC31D5-8BA6-47FB-9D50-D4E0F87EC28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7dc2298258377d3ac3f98ed2a2f957612bcdfc0","datavalue":{"value":{"entity-type":"item","numeric-id":2722062,"id":"Q2722062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca6a256b0bc89a9a90c2e1ec50d2a22a251b7a11","datavalue":{"value":{"amount":"+0.7425382733345032","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":"Q4982087$D074C938-457D-4FD8-93EB-973BDC73D63B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf3824886570dc01d42f52eac80351c401019a7","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca6a256b0bc89a9a90c2e1ec50d2a22a251b7a11","datavalue":{"value":{"amount":"+0.7425382733345032","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":"Q4982087$7CDEDD8D-C5FF-4D14-A76C-78E9A5FE1487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c080b5e4547f0e9b22c86c4e96f6568e3b08861","datavalue":{"value":{"entity-type":"item","numeric-id":979079,"id":"Q979079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d09500c78d15c7bc628a9b8a3f83bf80664c7eb4","datavalue":{"value":{"amount":"+0.7170180082321167","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":"Q4982087$BC65D20C-86F4-4376-B6D4-C358BA7ABF25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"108999f9068a8d2086704281990bcdd3c87b6932","datavalue":{"value":{"entity-type":"item","numeric-id":3525630,"id":"Q3525630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14f9de7d474229e1fb752dac8df98f806b424ba3","datavalue":{"value":{"amount":"+0.7143399715423584","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":"Q4982087$C0999F6E-2572-4C78-926C-A0F3B9887BED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4982087","badges":[]}}}}}