{"entities":{"Q1784956":{"pageid":1795698,"ns":120,"title":"Item:Q1784956","lastrevid":74243271,"modified":"2026-04-14T19:08:35Z","type":"item","id":"Q1784956","labels":{"en":{"language":"en","value":"Preface: Games, automata, logics and formal verification (GandALF 2016)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6944939"}},"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":"Q1784956$2C0F10EC-C58A-4314-942F-944E934AAD45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a505fbf23cf8181283e5423bd07700ef2c63111","datavalue":{"value":{"text":"Preface: Games, automata, logics and formal verification (GandALF 2016)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1784956$8B941578-5C1A-41C3-8B56-8BE636316532","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"292719e70a92bfa83beac185043a2938e42e8e85","datavalue":{"value":"1400.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784956$C009F0EF-621D-44FD-AFA7-6B4A0DD35ECD","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":"Q1784956$EED690F1-3592-4E19-ABF3-E2F8043177D0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7fafee86c1e45e0bcaa02c3657a70c764319b69c","datavalue":{"value":{"time":"+2018-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1784956$AB56774E-0204-41DB-9A24-4DCF50525ECC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784956$3616624D-B8E4-415E-8742-365743C07CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784956$9A25CBD2-750F-4768-8D83-AED1F34D7AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784956$2BDAB4F8-2C98-4498-B6EC-7BDCA17E3209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784956$CD34615A-9A90-40FC-8E5B-6E8509936782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784956$2DEDCAF1-F05C-419D-822A-6192F61B820E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a9cb4ac9e8d9052b34d3a02720990dc6c00abbc","datavalue":{"value":"6944939","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784956$8A834D25-3D4C-4ECE-824D-D812EDC6BE6D","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":"Q1784956$D2CB333E-1C4E-4A9C-A329-640D9A01B72E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df687f83607812624d2d543ceb95c2fd42a95dc9","datavalue":{"value":"https://doi.org/10.1016/j.ic.2018.09.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q1784956$0C356CB3-EBD0-4534-86FD-845FB1D2DAB1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"580e694275f833e26ad671e9f809b26b95f14339","datavalue":{"value":"W2890148312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784956$5B737C83-A80D-45B8-9936-DB35E168B415","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"faf754cfa65a005b4f371770e4dcc8d48476dafb","datavalue":{"value":"10.1016/J.IC.2018.09.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1784956$518FB46E-1C3F-4916-A617-3F261CCAC86D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"815ab1de0b370a8f7170279016fa9ea63c99817c","datavalue":{"value":{"entity-type":"item","numeric-id":5107200,"id":"Q5107200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e48d3914225ac74569f764720b634773abb98b1","datavalue":{"value":{"amount":"+0.94569331407547","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":"Q1784956$1FE0BA1C-2467-4C65-95AF-40A46C63DF55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ebe10987ec118e70875203147e8b7573c9001fb","datavalue":{"value":{"entity-type":"item","numeric-id":5970855,"id":"Q5970855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d43bcb6ce60df8d65de97630044d4d7582df9df","datavalue":{"value":{"amount":"+0.9232115745544434","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":"Q1784956$C056F9F4-32CA-43F3-83CA-BD9593CC90DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e1c04b236c0cc72f093cc2550d2161c32731c2","datavalue":{"value":{"entity-type":"item","numeric-id":5222612,"id":"Q5222612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7efe986e2f05469428adbdd5a95819d47e3e613a","datavalue":{"value":{"amount":"+0.911238968372345","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":"Q1784956$55439E51-DB0C-4E6C-B5D8-AF7DDE3D8DFA","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":"b816c8ccc68ec9772bcdcb9b488152e880e2c2e6","datavalue":{"value":{"amount":"+0.906553030014038","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":"Q1784956$AC53C842-67D8-4C9E-BF74-B20D8DC1B7CE","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":"8e1ff160f02e688c2a7d741bf3519015148890dd","datavalue":{"value":{"amount":"+0.9028131365776062","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":"Q1784956$01F81457-D06F-449D-B3BE-C2A2247E966B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Preface: Games, automata, logics and formal verification (GandALF 2016)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Preface:_Games,_automata,_logics_and_formal_verification_(GandALF_2016)"}}}}}