{"entities":{"Q897643":{"pageid":899491,"ns":120,"title":"Item:Q897643","lastrevid":52409126,"modified":"2026-01-22T14:17:22Z","type":"item","id":"Q897643","labels":{"en":{"language":"en","value":"Games, automata, logics, and formal verification (GandALF 2013)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6516961"}},"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":"Q897643$9B5A7C82-472C-4F1A-80E1-E5CE4BF12FCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"727de79376071f7f427049852ec7d945d5223815","datavalue":{"value":{"text":"Games, automata, logics, and formal verification (GandALF 2013)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q897643$5A132096-EB7A-4F4D-A129-B086E37F78C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de74639f0efb15700bbf8b1d4b3f31e34b233986","datavalue":{"value":"1329.00223","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897643$6F8E0FD2-7CE0-44EB-81D2-1D7FBD2A7499","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":"Q897643$67851EE0-762C-4982-9A95-C1522B8E4AD5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cafd9cf1ea33c2ca629714ee3a1d874af717ffb3","datavalue":{"value":{"time":"+2015-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q897643$A77F44B9-1ED2-42CA-A1D9-D6054C39E9B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897643$6C6F51FC-35AA-456C-ACA5-5330EAA2C4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897643$759E1126-95D2-408B-9F63-47CC5DC57C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ad4b7258c6800a4438de71775956483d7a484f10","datavalue":{"value":"91-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897643$F709F258-4579-451E-9368-189071D5809F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897643$B3EFE2BB-D43F-4021-89FD-79FF09D7E76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897643$4A648814-04B0-4368-AFF0-E0CEC108DB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897643$1B6DD609-DBF8-4212-B0BF-5225B2DED6A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da97a5fa0b60ab0e1b813a1b3aac4285a69d91ef","datavalue":{"value":"6516961","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897643$51A3660D-422C-4350-AAEC-13E4A5B26577","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":"Q897643$89B12B09-208F-44BA-9926-3C8E08951C8A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6f1329fc92b5d2e5dd002662fc9eb631cde5f691","datavalue":{"value":"https://doi.org/10.1016/j.ic.2015.06.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q897643$B6A3CEA7-124B-406D-B71C-E05614C4A5A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1774f5988e517feae5310e8c893d2d777bb854a6","datavalue":{"value":"W2231911457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897643$396F81A7-1845-4A77-BC6C-2D397712F2B1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f936a96eb3a6963a65df74a0f9544ce24d64f063","datavalue":{"value":"10.1016/J.IC.2015.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q897643$CAFCB3D0-174E-405E-B3AF-A971606D032E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38859e115a6a8158ffa52c1c6a4106e8e489975","datavalue":{"value":{"entity-type":"item","numeric-id":4968447,"id":"Q4968447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"251b15a0739774a313e6f4787ca0e290caa3f84b","datavalue":{"value":{"amount":"+0.9156647324562072","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":"Q897643$16EE50E1-2793-40DF-ABE1-2B50F05A73A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37eeccc4aea59f50d3e459d0e23a78a473cbe80e","datavalue":{"value":{"entity-type":"item","numeric-id":1784956,"id":"Q1784956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06cb757aa5d1ac843b8043f9353bcd91c8b0e255","datavalue":{"value":{"amount":"+0.8772774934768677","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":"Q897643$16D42E9D-1184-47E0-B7A5-94742B70E1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91adb8fc52509cf6c899c47b28a9796a875deab3","datavalue":{"value":{"entity-type":"item","numeric-id":477195,"id":"Q477195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b3b053fe313923960219bb34fff58a502f5bf6c","datavalue":{"value":{"amount":"+0.8738439083099365","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":"Q897643$17B54A0E-346B-455D-81D4-6C78CCECAE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47735adca1dc4c1d9c9ab34d6406b80eca1f63b9","datavalue":{"value":{"entity-type":"item","numeric-id":5965578,"id":"Q5965578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d879300aafb88ba9a1341b521855e4b339838158","datavalue":{"value":{"amount":"+0.8700411319732666","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":"Q897643$91A6F6CA-5A90-4C90-AB2C-0CBC035A1386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d6fded3b18abf01c60aad06a77de58b883214e8","datavalue":{"value":{"entity-type":"item","numeric-id":515652,"id":"Q515652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6d9ab058c530a173b51db0e9cd8d7dcaf76d5e0","datavalue":{"value":{"amount":"+0.8678516149520874","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":"Q897643$7AF03460-2CB3-4891-A2DA-07C36DE8D5F6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:897643","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:897643"}}}}}