{"entities":{"Q3525630":{"pageid":5555534,"ns":120,"title":"Item:Q3525630","lastrevid":50458112,"modified":"2026-01-14T02:39:23Z","type":"item","id":"Q3525630","labels":{"en":{"language":"en","value":"Solving Games Via Three-Valued Abstraction Refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5344917"}},"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":"Q3525630$639B2A2F-C54E-449D-975E-A9F940132941","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e16f553f648160d10079cfc80f891cd61276fb03","datavalue":{"value":{"text":"Solving Games Via Three-Valued Abstraction Refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3525630$A80A3922-B0AB-4365-BC1E-CB7E6762299D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1b9c8aff022c0f704d5e6a1047c6d72158960d43","datavalue":{"value":"1151.68559","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525630$CF7E6145-12ED-4E99-A91D-E8BA0E2F6951","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8b346f2806ae092be0bd798d392efecde11ed28","datavalue":{"value":"10.1007/978-3-540-74407-8_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525630$4BA5CF00-5E1E-4CE2-9745-B846A0E8A4C9","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":"Q3525630$03006EAD-9F4D-4671-AED5-0290FFBB1CED","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":"Q3525630$4A7A0F46-E181-4D8B-BF71-D5AA020924F9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d33cde76bd73dc5ee329bf4c0e45fff7e5611f64","datavalue":{"value":{"entity-type":"item","numeric-id":3525625,"id":"Q3525625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3525630$ABE7F92D-8EFD-4A57-8CA6-2F24ED1C6DD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1b92a0ce5c23dfe591778f902d0760e02cbbe13","datavalue":{"value":{"time":"+2008-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3525630$DD0CDA00-50CC-4D9C-8E91-260264CE0538","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525630$C5D2D36A-8923-477F-8094-BB4785038906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525630$4B89E850-7BA3-4DEB-809D-F45382ED2925","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91882822d0a504436d012fb6ef882201fdfd6f63","datavalue":{"value":"5344917","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525630$162DBCAB-79E4-4C97-8587-B36FC40BDB98","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":"Q3525630$F7F3DC7C-6780-492C-99EB-58B85C0B696C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fa1d61c4f4de5917e562884d235ab6a95334478c","datavalue":{"value":"https://doi.org/10.1007/978-3-540-74407-8_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3525630$5CFA4528-ED2C-4343-B3D6-8BE12A38164A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"471321a54766a99c7a9607954382ccf539604a13","datavalue":{"value":"W1607705647","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3525630$474BE54D-2569-4589-8C86-347BB16D3B1F","rank":"normal"}],"P1643":[{"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":"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":"Q3525630$643EAE09-9BAD-4E42-AB7D-1D6CA42EF647","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":"0f6dd19f51f4153b341a6aae35eff3ae6ec16497","datavalue":{"value":{"amount":"+0.8033124208450317","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":"Q3525630$E0D7DF80-3840-4A1B-BC7A-BA4D1E07AA54","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":"dbfddd25714ac16f6d5635b5fd2a8d797cb174e0","datavalue":{"value":{"amount":"+0.7828408479690552","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":"Q3525630$67B528C4-DC8C-43F7-BDB0-D6D84E7D5E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66fe4634e292fce3c66e9a1c6c89b5ab91cc0323","datavalue":{"value":{"entity-type":"item","numeric-id":5277790,"id":"Q5277790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbfddd25714ac16f6d5635b5fd2a8d797cb174e0","datavalue":{"value":{"amount":"+0.7828408479690552","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":"Q3525630$884E1243-6330-43BF-872F-8412771F3312","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":"f008e37862dc5a1b0c863aeb29e03d2fbbd2cbac","datavalue":{"value":{"amount":"+0.7803236842155457","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":"Q3525630$54583AAF-1204-4633-9A69-E3F46B976C21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3525630","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3525630"}}}}}