{"entities":{"Q4961123":{"pageid":6990705,"ns":120,"title":"Item:Q4961123","lastrevid":98386079,"modified":"2026-06-05T17:23:20Z","type":"item","id":"Q4961123","labels":{"en":{"language":"en","value":"Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbr\u00fccken, Germany, September 26--28, 2018"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7191370"}},"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":"Q4961123$CE2DD843-BC4C-4C24-A0F2-81ACCE6E5143","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5a3fe678f4983f814ca3a8bb4d173116e2db5284","datavalue":{"value":"1436.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4961123$30035A6A-2FAF-4C60-A9A7-73D88A4480B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"53c38243c1784e4f586b3d9a1eba9078bc220d25","datavalue":{"value":"10.4204/EPTCS.277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4961123$6B8CBE7E-3292-4ABD-B02C-8B09744274ED","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3b3dec7824e997ce454aa280736f2a1a20708983","datavalue":{"value":{"entity-type":"item","numeric-id":2789506,"id":"Q2789506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4961123$CF446BC6-CAC6-4527-82A9-20A256CCEC30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17bef57f2c610a5f39d28616a761795ad9fff698","datavalue":{"value":{"time":"+2020-04-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4961123$C2D3269D-4792-4655-817B-2A7DD4FCF190","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e51df31dc1355784247422e045f283706e0e371e","datavalue":{"value":"https://arxiv.org/abs/1809.02416","type":"string"},"datatype":"url"},"type":"statement","id":"Q4961123$2913A09C-ED59-4464-ABE2-17E0C15A4788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f4ca68b9fa297ca3e4f7c1efd974e606b521239","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/content.cgi?GandALF18","type":"string"},"datatype":"url"},"type":"statement","id":"Q4961123$7D53B6C0-2CE3-4197-ADBE-F2D87C213310","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4961123$CBD5054B-5393-4F71-9F07-BCF3E87C3F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4961123$1B219EBB-D153-47DB-A65D-4DCA8F2AC764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4961123$595DBAF7-EF0C-4B23-AE70-65161575C2E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4961123$D474EDD2-6DED-4A42-849E-3916CCCA6CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4961123$87E1AA02-3ED6-4C20-832C-E6265971AFE7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d112f4762ab9dd65bcc79949dbbbb4d0fb597e62","datavalue":{"value":"7191370","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4961123$63A7F6F2-2250-4A12-BDAD-6BB7346AF0DD","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":"Q4961123$91191C50-A086-4EBB-B7F7-9350E29B50CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb3276783758ae660d801bb400099edd2bc871f","datavalue":{"value":{"entity-type":"item","numeric-id":5970718,"id":"Q5970718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caa7a6e893eeccd84a03c3994d93d69bc6781a4e","datavalue":{"value":{"amount":"+0.9281798005104064","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":"Q4961123$57BA16B0-2CC3-42B0-9370-7CF98A353642","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":"7c0dca9d87a923c8822780602d065829549aa81e","datavalue":{"value":{"amount":"+0.9249540567398072","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":"Q4961123$2F0F2966-8383-4995-8036-E2B269353769","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"043ec2e6a61dbf468ef8ceefbe219095b7a0475c","datavalue":{"value":{"entity-type":"item","numeric-id":4961163,"id":"Q4961163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6faef8ea58a13c6bd75523a704c970239bb255b4","datavalue":{"value":{"amount":"+0.9236600399017334","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":"Q4961123$A5BEC72F-888F-43F8-9DEC-C5EA4AC1D6E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f67fcb957623ad2e789cbe160db765171d7f420","datavalue":{"value":{"entity-type":"item","numeric-id":5107274,"id":"Q5107274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e760fb983c5d37d26329398e295efd9c254e080","datavalue":{"value":{"amount":"+0.9233962297439576","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":"Q4961123$35161901-FD64-491A-9395-3B1768545971","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b3155b77bce32b2f53ec5701cc1b4e6332d156","datavalue":{"value":{"entity-type":"item","numeric-id":5221792,"id":"Q5221792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f2db0df6f8f07e569fc6d2313180b95eb4612d9","datavalue":{"value":{"amount":"+0.9156233668327332","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":"Q4961123$408E5612-C0FF-4915-9FCE-74B895ED8000","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proceedings of the ninth international symposium on games, automata, logics, and formal verification, GandALF 2018, Saarbr\u00fccken, Germany, September 26--28, 2018","badges":[]}}}}}