{"entities":{"Q5222612":{"pageid":7252182,"ns":120,"title":"Item:Q5222612","lastrevid":58482648,"modified":"2026-04-05T10:12:32Z","type":"item","id":"Q5222612","labels":{"en":{"language":"en","value":"Proceedings of the sixth international symposium on games, automata, logics and formal verification, GandALF 2015, Genoa, Italy, September 21--22, 2015"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7186454"}},"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":"Q5222612$0AF679F7-E292-4359-B5E7-C1F5032F7717","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ee2632639b2aad1770541ddcc217d4ec0d7cca8f","datavalue":{"value":"1435.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222612$B65B0C9B-E030-4A2D-960F-F74FC03E9162","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac91e50788959327602c932b1ff0879bcb0ae679","datavalue":{"value":"10.4204/EPTCS.193","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222612$B6B050E5-5736-4337-9AD9-558C1FC9CC44","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":"Q5222612$BE9384A0-6966-4983-AB2A-A4031C1A6BF2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f453ac7acd4a2f23133adfec3cca035076417f0","datavalue":{"value":{"time":"+2020-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5222612$8803CC85-2C38-4907-9FF3-978AF914FCBF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cdc6142332321b75b5abcf419ec1719c8c5913d2","datavalue":{"value":"https://arxiv.org/abs/1509.06858","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222612$012A0050-3BFC-488C-98E3-853E6F68C1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e4130f8c927574c759352eff926a7b5c819ad563","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/content.cgi?GandALF2015","type":"string"},"datatype":"url"},"type":"statement","id":"Q5222612$7A61AB15-B51A-4941-9561-8721584E4BBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222612$C7FC3A40-C55E-4305-99CF-DBD0E382A010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222612$C734A985-4DB6-4C22-B899-FF79C6F8870C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222612$5B64B06E-247A-42E4-945E-7569A76C1E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222612$7D74B76B-62B8-4503-BD8C-56605B0B3711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222612$861296B8-F1E3-4589-A51F-3C58BDD61087","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ba303dea867a1583c33ff8ad176eb3d141be30f","datavalue":{"value":"7186454","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222612$067C15F2-2EA1-4048-AEDE-22E7349BAA3F","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":"Q5222612$1596404B-51A5-4C89-A30B-234D9841F7B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ce390b33619f0fc3655d9765a88b94c7276a10a","datavalue":{"value":"W2229279850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5222612$63ADCC76-9B92-4493-A77D-AC6785552DC5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2efdcfa8c7c80acebe6e97d819f8dc13f201a375","datavalue":{"value":{"text":"Proceedings Sixth International Symposium on Games, Automata, Logics and Formal Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5222612$429F1C7F-B150-4C92-830E-EAF45CC5E8B7","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":"9b63d546717a285cd470eee3c477f85ff8215012","datavalue":{"value":{"amount":"+0.941634714603424","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":"Q5222612$993C8926-C9A2-4CBF-B7D6-350ED72F4AAF","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":"dbcb3ad7e832e1977c4d5348f54e345488b1a927","datavalue":{"value":{"amount":"+0.9390951991081238","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":"Q5222612$7185AD08-EF8C-4025-B380-916523CDF62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a32c341fedf01e229aaa25b58ebcd295eaec058e","datavalue":{"value":{"entity-type":"item","numeric-id":4961123,"id":"Q4961123"},"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":"Q5222612$4B1D3473-E520-40D4-9046-1392FE943DAA","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":"920c5cf6b74b93b0c281345c522f35bb8fca1fe6","datavalue":{"value":{"amount":"+0.9200023412704468","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":"Q5222612$5A889ABD-F29D-46FC-8365-678B2CAD4014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c947c58bdad1a548033a241041fbfae0706aa970","datavalue":{"value":{"entity-type":"item","numeric-id":2413480,"id":"Q2413480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b22293e193e8c4bc702608f377aee983a49a822","datavalue":{"value":{"amount":"+0.9160178899765016","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":"Q5222612$82049CD5-AFDF-480A-9381-7BAB96F66946","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5222612","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5222612"}}}}}