{"entities":{"Q3656768":{"pageid":5686674,"ns":120,"title":"Item:Q3656768","lastrevid":80911160,"modified":"2026-05-06T17:17:05Z","type":"item","id":"Q3656768","labels":{"en":{"language":"en","value":"Verification of games in the game description language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5658006"}},"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":"Q3656768$0F84EE53-AAAA-4133-89EA-7626884AC87D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"feed14328e2c553f71b1e2c0accc9a63c92c70d7","datavalue":{"value":{"text":"Verification of Games in the Game Description Language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3656768$0D14481F-CA10-4EF1-91BC-8A36F437AD2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"969a257882c0eb4a5dc943edf390e50597eb8a1d","datavalue":{"value":"1185.68678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656768$335DB2B2-3CAA-4D49-9BDD-AE698A24B4BD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f436257580e4263492e08a58b6e761a941f3fc1","datavalue":{"value":{"entity-type":"item","numeric-id":375311,"id":"Q375311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656768$D38DC27E-BA00-4442-B4E7-CBDDF928B128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"768ccadf9be517eb9c9fb5c80670a4e733cc36e0","datavalue":{"value":{"entity-type":"item","numeric-id":343910,"id":"Q343910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656768$EA64250E-8091-4912-B564-50A1365275F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31fb02981f4d83094589dc387feedb07b22856a3","datavalue":{"value":{"entity-type":"item","numeric-id":310096,"id":"Q310096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656768$9DD427AB-400A-4FC3-8ADB-D6835BDA5EBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d7ae205d063227bc6a8fe4b8cec53b398b20968","datavalue":{"value":{"time":"+2010-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3656768$399AF90C-0B82-4BBD-9CF3-B8AB4B2D6C37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6a9c295d94f4a8556ae18054fcb1f81bcf65112d","datavalue":{"value":"https://semanticscholar.org/paper/2a4c34f5b49c4a3963f63d48b79fcf0888116f41","type":"string"},"datatype":"url"},"type":"statement","id":"Q3656768$56047640-9C7F-484A-8598-98F18D17D5E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656768$CC66D402-D554-424F-B910-BD4DBD784E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656768$CAC15019-8818-45D0-A3DC-835AAE47DA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656768$04094F58-C212-4071-AA12-F0C6105DFF4E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"863c03d632c25ed6741bd2119b16fd3edb2a0a7d","datavalue":{"value":"5658006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656768$9FFF9374-8BDF-4B17-A5B8-1B9308328F70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656768$6E8EAD9B-6D15-4A59-807C-28C74FDC2585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0046453a52f9c70fe09ac2789497cf61fa49a855","datavalue":{"value":"general game playing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656768$DF6FE25D-468B-4324-9415-A2F10AD784E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37265b19d700d73c3b7e6b52da53cb3d1f6784c0","datavalue":{"value":"game description language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656768$D5B8CD16-F199-4916-923A-2C642D948206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ae521718438d9dae164938ac201015537dd61f","datavalue":{"value":"alternating-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656768$F6265D93-C9B8-4291-94C0-1815D3129C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3656768$220818D7-E3E4-4D56-94B1-7BC52AD32B76","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0b81395bce8af48e679b9daeada5dec6a46a77d1","datavalue":{"value":{"entity-type":"item","numeric-id":24858,"id":"Q24858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656768$DDD88BFF-8FD4-4E50-818F-C63B39EF58F2","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":"Q3656768$370A06E5-7C02-48C4-832E-321145D6BC61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a4e1dfdbe9a21fa29949806ba27726875b827711","datavalue":{"value":"W2097831824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656768$F1CE2453-8B79-48CD-9D9D-CC94FE13EE7E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa7f5202827c3a8081ec17118e993667c16898b1","datavalue":{"value":"10.1093/LOGCOM/EXP039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3656768$55775D04-1F1D-470D-B7C4-20D1445D7E87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3656768$7E4C9C10-5CA5-412F-A169-C9BC4AB3E733","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afa3840e29c3db3edd6bf9727fa45a7048b18b88","datavalue":{"value":{"entity-type":"item","numeric-id":3455601,"id":"Q3455601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebe9eddffd28097d896fcf2399f0daa34d9c8f9f","datavalue":{"value":{"amount":"+0.8580757975578308","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":"Q3656768$2850AEFB-2E28-4274-A62E-3F3F4E264957","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7d1d7812aecb2426646beed84c75a77fb0d789c","datavalue":{"value":{"entity-type":"item","numeric-id":2016080,"id":"Q2016080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6be2fd06c0a0bd03129ec75e436ca64e4ad1a34","datavalue":{"value":{"amount":"+0.8317957520484924","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":"Q3656768$FF42EAC6-2AE0-4E0D-BAF9-EF9D9D3D81E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c754383cb05a4f3352c773abcf74ccf5adb25c6","datavalue":{"value":{"entity-type":"item","numeric-id":1679805,"id":"Q1679805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aaf21ab03febd461cc8032e1666456622ac869c","datavalue":{"value":{"amount":"+0.8223691582679749","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":"Q3656768$2164F1D1-7B23-4899-986B-048B7E4F06C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9745c5580e1b4d0271af940878f2fffd55b39533","datavalue":{"value":{"entity-type":"item","numeric-id":4932614,"id":"Q4932614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"215024ba28e4daf323e98563f417fdc5ca4e4545","datavalue":{"value":{"amount":"+0.8181240558624268","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":"Q3656768$5773169F-EE36-4C26-B799-AF7B705FDC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa03ef259e6109d5599b5c6a534adcd79bc53504","datavalue":{"value":{"entity-type":"item","numeric-id":4576186,"id":"Q4576186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba8c988b1eee9db9aebb1e2bf41b16a220d5017f","datavalue":{"value":{"amount":"+0.8073853254318237","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":"Q3656768$7B8FE94E-E4F7-4B1B-B226-124C9E2BD3BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verification of games in the game description language","badges":[]}}}}}