{"entities":{"Q979079":{"pageid":980927,"ns":120,"title":"Item:Q979079","lastrevid":51022358,"modified":"2026-01-16T06:12:37Z","type":"item","id":"Q979079","labels":{"en":{"language":"en","value":"Solving games via three-valued abstraction refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5726619"}},"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":"Q979079$0DFC5DC8-E898-4AEA-91D4-60862CB6020B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7517e2d41304449e66ac2e716118cd701107f255","datavalue":{"value":{"text":"Solving games via three-valued abstraction refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q979079$6E9B8243-36B7-467A-AF2C-E54E0F454C56","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3793040fa09d7eb3126d64ba4af06eb0ee53b648","datavalue":{"value":"1205.68225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q979079$424746A9-1AC6-45C6-8BA5-ADB38ED97C87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70be23dc5fb433f8d91892189cdd2f4aa499b284","datavalue":{"value":{"entity-type":"item","numeric-id":355504,"id":"Q355504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979079$B2966986-CEF1-4D75-82F8-547C7B256DA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6e275c2a13e42a3a0b6b5009ac0141a338bb632","datavalue":{"value":{"entity-type":"item","numeric-id":979078,"id":"Q979078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979079$C948ACED-8D3E-450E-B882-A246E90149E7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979079$51506737-CF43-48A4-AED5-9F0EAE410866","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68164aa6370b8c087aa9dea60bf58f2890e4ef6f","datavalue":{"value":{"time":"+2010-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q979079$C531E074-0CCD-4EBE-AB01-B60F67896BB7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q979079$4E9C2FC7-5CEB-4D27-B41B-4C8B7CCB40DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q979079$54CA5983-4DBE-431C-B2DB-5EDD3E36D826","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba58bfe98e331cfc395f4d3390d126d211640384","datavalue":{"value":"5726619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q979079$1955D849-13E9-4DAC-AAFC-BA97BCDA4C28","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q979079$600D3489-6FE4-4297-8626-A3CDD92B44F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q979079$102D894E-BD7A-467B-A3EA-FDA746D09AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c14b39a13f84dfaf0ab292847214169db003aae","datavalue":{"value":"three valued","type":"string"},"datatype":"string"},"type":"statement","id":"Q979079$3E8516E5-6E60-4166-BF3C-DC9E9016F849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q979079$B44B2412-9C04-4D31-B2C9-5325E150168B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d584e359576a00f85def0b98465ac7707c1c7959","datavalue":{"value":"safety","type":"string"},"datatype":"string"},"type":"statement","id":"Q979079$26AFAE0B-0FD9-47AF-B180-CE5028CE0ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q979079$69010B2F-E0B2-4462-96BC-968B9B50BB6B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979079$498A068B-5A74-4B82-8B1D-6C403E617243","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":"Q979079$7B732705-1CE9-4B4B-835D-06A7D9D817D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c0c3aa12790c4cd402b5d233efd3a38d3ac674a","datavalue":{"value":"https://doi.org/10.1016/j.ic.2009.05.007","type":"string"},"datatype":"url"},"type":"statement","id":"Q979079$A01E7ED3-C5BE-4D9E-B860-6669E88C9EB7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cbc7da2a490b30c0ee42e6c38a21428f8e97e613","datavalue":{"value":"W2153061979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q979079$36249320-4C19-4A31-8ACC-83ED9CBD478F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6305be563797c630cc54d96598c96a12e292aeab","datavalue":{"value":{"entity-type":"item","numeric-id":2722062,"id":"Q2722062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979079$E78106D4-CC8D-4BE3-81C9-EB3FBEC5BA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d8659110e04f7a4cb2b8e1a490ddd77e99f1484","datavalue":{"value":{"entity-type":"item","numeric-id":1891141,"id":"Q1891141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979079$F6BAEE5A-A848-458D-9AA8-76FA05F424BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979079$BED48AD9-3421-48FA-8BE1-1025A96A0C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4e76c825528d989c9f71bd0494194b239f5e7ad","datavalue":{"value":{"entity-type":"item","numeric-id":4449227,"id":"Q4449227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979079$2F74C181-9B7A-44A2-98C2-C80E256D6156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481547f60ed568130e5c759ceeacc52cf0d1c02c","datavalue":{"value":{"entity-type":"item","numeric-id":5900684,"id":"Q5900684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979079$15CB3935-9587-497C-A5B2-D6D6838757A0","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":"Q979079$22553888-6F46-4ACF-AE08-E2B719C82938","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6e9707197bbe478638106ece823cfeeb58420e","datavalue":{"value":{"entity-type":"item","numeric-id":4791854,"id":"Q4791854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979079$96CC3D88-2F8A-4663-AEC9-B6C140282302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53675075288675fa7342cb7f3aca57c38db7e5cb","datavalue":{"value":{"entity-type":"item","numeric-id":4596624,"id":"Q4596624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979079$DE956AEE-F8E6-44FB-A021-760AD409E066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3842f0ff319bc45af3c0bd633d5c7781f2ab5196","datavalue":{"value":{"entity-type":"item","numeric-id":5900563,"id":"Q5900563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979079$20AD4D45-B930-4DE1-9FA8-B6BF391CB614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1858eeb53b5ea1cb10840d1fca58e2287b31b04a","datavalue":{"value":{"entity-type":"item","numeric-id":2640595,"id":"Q2640595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979079$86C7E9C6-2970-4B42-BADF-06596AAC7715","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c4f78ad12fc15882f1205cf7a447a7254c00d6b","datavalue":{"value":{"entity-type":"item","numeric-id":5491894,"id":"Q5491894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979079$F248FF8A-2E23-48C3-9906-80BAAFA5B522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q979079$E350D62E-51FD-49CC-BA57-A0CB26D438E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2af6996088ad37d9d187dc2793f7231aa0420240","datavalue":{"value":"10.1016/J.IC.2009.05.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q979079$A75D8CDC-0B1E-44B1-9AF8-BAD57B796737","rank":"normal"}],"P1643":[{"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":"9188222b06c520a0a9168e04a3afbb5de8936835","datavalue":{"value":{"amount":"+0.9834340214729308","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":"Q979079$1849E331-60EC-4963-9341-2DA745F7A71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"511aafe54df71ac3a65f5d2613e4113e6291cea2","datavalue":{"value":{"entity-type":"item","numeric-id":2643076,"id":"Q2643076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6fd429d64e1cde2d954d2216644f82d767a574d","datavalue":{"value":{"amount":"+0.7806760668754578","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":"Q979079$93C96AB0-516A-4590-9D6C-8F718A60C259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5f9509174b63563bc2af3b3ec3f972ee3a77bc","datavalue":{"value":{"entity-type":"item","numeric-id":600979,"id":"Q600979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4069d7d0b281c6a22923f8f1542492d3c9e3a7e0","datavalue":{"value":{"amount":"+0.7758544087409973","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":"Q979079$B90C9771-AA17-4889-8AA5-C5FB3855943C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"318749bc547ba59cc9121f8d427dfaacfb5ad229","datavalue":{"value":{"entity-type":"item","numeric-id":5900684,"id":"Q5900684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8a5d3faa0f8de1477167f9890a881ead8f97004","datavalue":{"value":{"amount":"+0.7728087902069092","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":"Q979079$C5D96013-3951-4DE7-87AE-7E98059469BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0213ab3ed30f14979dedf999549da1bcf3c57629","datavalue":{"value":{"entity-type":"item","numeric-id":2845509,"id":"Q2845509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c4509661f2ef66c968743a7caec97853247ae03","datavalue":{"value":{"amount":"+0.7673913836479187","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":"Q979079$168E2109-7E87-46FE-8F91-0620623C10AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:979079","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:979079"}}}}}