{"entities":{"Q3613327":{"pageid":5643233,"ns":120,"title":"Item:Q3613327","lastrevid":49681966,"modified":"2026-01-09T00:40:17Z","type":"item","id":"Q3613327","labels":{"en":{"language":"en","value":"Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5528197"}},"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":"Q3613327$67D2F191-36FD-4CC8-BF16-026AFD9638D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f2375447b7fa2cf82cdce3d4840e9a1a379af6a6","datavalue":{"value":{"text":"Some Results on a Game-Semantic Approach to Verifying Finitely-Presentable Infinite Structures (Extended Abstract)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3613327$257ACE26-225E-4375-B296-65D3CC39126E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8214f8bccc792924c9b824620731e99ed0d54d6f","datavalue":{"value":"1225.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613327$B11CB352-6119-4565-AA5C-9E1EA107C66D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"16874adf60431f6c85bbc246df4520f804785b15","datavalue":{"value":"10.1007/11874683_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613327$005D115F-5842-4199-ABB3-C6AFFE08691E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3613327$21AAFBBD-E5DA-4418-B045-F7E72384BDF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5633353462eee310c4db3234ed97ea2c49f28694","datavalue":{"value":{"time":"+2009-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3613327$FF145EC7-40EC-43DE-9DAD-3E1C57AA9129","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613327$7F4C01F3-E13D-461F-922C-E9C0D4DB905E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613327$C1F39F3D-CD75-49A0-AA76-1679B56CB91A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613327$134E71D2-F965-4D47-A529-A05CF0F8586B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68f95352bd16735dc7244dcd9ecb67e9c7b3c393","datavalue":{"value":"5528197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613327$6C7027EF-0EFD-49E3-BF18-FA1C8AB540D5","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":"Q3613327$B6E0E5BD-8B74-4585-A47B-D67630B1BA8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b75ea1088f7e317bb4de4f9190f42ad7fcb406d","datavalue":{"value":"https://doi.org/10.1007/11874683_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3613327$E68F8463-3164-4464-A92A-846185893EEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d80144b227d0c63b3f8905616aca938eaabad2df","datavalue":{"value":"W2170826808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3613327$E42DC40B-C707-4791-8822-4D908E366736","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8d4f16a65b0631d75f82ca87ab97288e77e2534","datavalue":{"value":{"entity-type":"item","numeric-id":4804886,"id":"Q4804886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f4ad87bb85cbfb367192d9510820996de8dac4","datavalue":{"value":{"amount":"+0.90206367","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":"Q3613327$ACC3405C-0D0F-4EBF-B25A-2DBA14A89D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c69a9886e68263fdecd39738e77c9e442694b2","datavalue":{"value":{"entity-type":"item","numeric-id":2852368,"id":"Q2852368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad1c092c8d6e9ed07eca7c2e2bd1f3cba51e2b5a","datavalue":{"value":{"amount":"+0.8751413","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":"Q3613327$A427DD03-4481-42F0-8B3F-8EFDA7FE776C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b433a6b9c6ca4bca8009ab3256ab55f2d481efca","datavalue":{"value":{"entity-type":"item","numeric-id":3511445,"id":"Q3511445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ceb18531a8d90a1dea40ec6e6d56452b14d8181","datavalue":{"value":{"amount":"+0.8748803","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":"Q3613327$ED71F233-B266-4232-AFD2-7E994C0B055E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19de2c99d6283f67513aac42be8add59c69b34f0","datavalue":{"value":{"entity-type":"item","numeric-id":4222836,"id":"Q4222836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b99b38a132ee9a1738643feba03c0f87c47277","datavalue":{"value":{"amount":"+0.86377704","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":"Q3613327$1317AC40-9A3F-4DF9-89DB-94889FC6E4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"627c7b14af7e95451cd30ba2aa880bcafe1f4ef8","datavalue":{"value":{"entity-type":"item","numeric-id":4395557,"id":"Q4395557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07020d6706dff980e3324616450a37bbcda8be47","datavalue":{"value":{"amount":"+0.8619494","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":"Q3613327$C779462A-94CF-42B5-984B-9363DCFF90E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"133a4daf06ffdeece52375ea122e6f15fefeb94b","datavalue":{"value":{"entity-type":"item","numeric-id":2225595,"id":"Q2225595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1822e2577df53784df71d1c2a280453654ca93e1","datavalue":{"value":{"amount":"+0.86082935","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":"Q3613327$B7B9C2B9-58D2-4597-9BCE-0AEB268185C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4368466eb3b241ceb5b8b6f9ea7a766ad8b7554","datavalue":{"value":{"entity-type":"item","numeric-id":4490131,"id":"Q4490131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"590e42ec2528585ab3d1136d90bf0209086a213a","datavalue":{"value":{"amount":"+0.85882145","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":"Q3613327$C93FA60B-C858-48FB-AD79-32C39D886C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e07d9aa6db393abafdffc7fc07c41d7099cfb78","datavalue":{"value":{"entity-type":"item","numeric-id":2805162,"id":"Q2805162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46cdd57a6b483aa30384d952dceabbd65e1a2fe5","datavalue":{"value":{"amount":"+0.85782814","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":"Q3613327$EA33380B-9F4D-4DD4-A3E1-97416C61888E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37104469d5ec0a965f36f80e81bf3b3c10dbf0dc","datavalue":{"value":{"entity-type":"item","numeric-id":5458405,"id":"Q5458405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e5d2842d616e6c293a7fe81525a70e4691c22c3","datavalue":{"value":{"amount":"+0.8565577","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":"Q3613327$5C59C0A4-2A78-4E99-9041-83DBF4DF9351","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3613327","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3613327"}}}}}