{"entities":{"Q784157":{"pageid":786006,"ns":120,"title":"Item:Q784157","lastrevid":64307271,"modified":"2026-04-11T18:58:32Z","type":"item","id":"Q784157","labels":{"en":{"language":"en","value":"How to win first-order safety games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228518"}},"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":"Q784157$1FA57A5E-A9AD-463A-899D-07420A3B81A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0fa359bb546116e4c81049b4a28902e4c326800","datavalue":{"value":{"text":"How to win first-order safety games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q784157$48287014-0DEE-4A4A-B8A7-F0AC46F383A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbde6ac3d0245edf2bbd5071bdbbaea57897895c","datavalue":{"value":"10.1007/978-3-030-39322-9_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784157$1B90F628-2633-4C2D-8715-7B048D3CF017","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"547a70f32038f5698afdc474eeef7f9e925fba61","datavalue":{"value":{"entity-type":"item","numeric-id":699184,"id":"Q699184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784157$5EB7ECF8-D88B-4D8A-9740-2D4369CBB2BC","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":"Q784157$EE6B5227-422C-43D0-ABF3-4017CBF5BAE3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"028ed1f254475ffa97e70fb4ff73176418633abb","datavalue":{"value":"https://arxiv.org/abs/1908.05964","type":"string"},"datatype":"url"},"type":"statement","id":"Q784157$C4797DE5-9057-4187-AAD4-DF95DEAE97CE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784157$DC16C5F0-6294-40C0-8790-E6C8AC701481","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0482f5e13a024e5d7db85a413025c9c042bd063b","datavalue":{"value":"7228518","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784157$159B091E-5E1F-48FA-B338-ABBF900F6E2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1981af4ae44a3e9fc314129e897a8c448b737620","datavalue":{"value":"first order safety games","type":"string"},"datatype":"string"},"type":"statement","id":"Q784157$A31D9D18-653A-42E6-A15D-FB0BF95CD6EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d37f25b541288951a57eb403426fb3bd46c73f1","datavalue":{"value":"universal invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q784157$CC87FA3A-0C5C-4B66-9481-DCE27955F05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39a3dcb919cfb7892b24ca37da2f18a4bcfe1c8","datavalue":{"value":"first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q784157$74AA0AC5-D2EF-4B07-8F9A-E3C67C35996C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba2a3894721beb9d2cd3fc1246c0e094b0258868","datavalue":{"value":"second order quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q784157$8236D297-31FA-4043-8F1B-44FD2CD20D73","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":"Q784157$DD38205D-F654-44CA-8306-3CFCB0F59807","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"592395d9288ffd3e7d48f5ffe3662a3384e476b5","datavalue":{"value":"W3004379279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784157$8AAFE2BF-DAA1-4E80-A849-DE94D8EC5C6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46f8c1f72bc148cd5e077adcdb17174d1fd00f06","datavalue":{"value":{"entity-type":"item","numeric-id":3172922,"id":"Q3172922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe5206285cfe3e863fb7a1e3359cc3de7f4215f7","datavalue":{"value":{"amount":"+0.8166006","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":"Q784157$17630566-5C3E-41EC-B9E8-7E0C731D0E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b06ed236a8d947e6d1f2d52725b1500c23b3e484","datavalue":{"value":{"entity-type":"item","numeric-id":5089248,"id":"Q5089248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ee474b1bd844eaa7a3a81291002253ca2580b0b","datavalue":{"value":{"amount":"+0.7844696","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":"Q784157$B76E7C09-9CB0-4FFD-93CE-B134025C5F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94617650a607d386fca7d1439316026f89a7fa61","datavalue":{"value":{"entity-type":"item","numeric-id":5326424,"id":"Q5326424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bce67e26934b44362674eb7a4dc31b98550d2f87","datavalue":{"value":{"amount":"+0.7782009","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":"Q784157$04B782AB-088B-484A-95BB-6A3147E21A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca14b5a8f759c79a95cd7a7befbffa444e59730","datavalue":{"value":{"entity-type":"item","numeric-id":1651225,"id":"Q1651225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1f15aea3c9909cfc12a16eac9b1be0c370ddcd5","datavalue":{"value":{"amount":"+0.77662915","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":"Q784157$E95BFBC7-2429-4636-A32E-94E3C0BBF45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"852a8d2baf66ea196818c4a4c600bc5c8fcc80a8","datavalue":{"value":{"entity-type":"item","numeric-id":3617754,"id":"Q3617754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f58df8fb994033acca49e1e08dbc09e558a7bc8b","datavalue":{"value":{"amount":"+0.75049835","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":"Q784157$2F95468A-84DD-4127-8213-48B5BC1AFC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36083a42b5a10a42ff77ba24fde911caba2ded0b","datavalue":{"value":{"entity-type":"item","numeric-id":4800258,"id":"Q4800258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2906b8d92c0b6452c9e59bb971cd69287eeff9c1","datavalue":{"value":{"amount":"+0.7502694","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":"Q784157$29742DAC-70FD-4D89-BE1C-E7561C862F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c57bd386642573e832e9125ffb4c4806321087c6","datavalue":{"value":{"entity-type":"item","numeric-id":5111270,"id":"Q5111270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05a13b82991c753161bb3d538970bbaf2f3d2e48","datavalue":{"value":{"amount":"+0.7471249","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":"Q784157$311F55D2-9C96-4594-8E54-DC78E5051346","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"How to win first-order safety games","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/How_to_win_first-order_safety_games"}}}}}