{"entities":{"Q5221792":{"pageid":7251362,"ns":120,"title":"Item:Q5221792","lastrevid":58482789,"modified":"2026-04-05T10:13:20Z","type":"item","id":"Q5221792","labels":{"en":{"language":"en","value":"Proceedings of the fifth international symposium on games, automata, logics and formal verification, GandALF 2014, Verona, Italy, September 10--12, 2014"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7185181"}},"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":"Q5221792$AAE71F2C-D437-40E4-8930-6312EB01972D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb7e2684ea69d3166430b146880e416bb14afada","datavalue":{"value":"1435.68038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221792$9005BEEA-472B-427E-8CBC-171B852A0B52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"26a790feb24cf5e744cf00887210f76f40776f8d","datavalue":{"value":"10.4204/EPTCS.161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221792$09F55C9E-5DEA-4F4A-AB7E-16AA06C59134","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":"Q5221792$D674EA9C-1D81-4BA9-A57E-49069656F49E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5742da56dc1731f3b0dbd67108cb88ffed960e3c","datavalue":{"value":{"time":"+2020-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5221792$2119A932-7FB9-467A-9BA4-B59E535A29F1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f81397b4d76839f12d8bc479c136f69397390874","datavalue":{"value":"https://arxiv.org/abs/1408.5560","type":"string"},"datatype":"url"},"type":"statement","id":"Q5221792$57973B9C-BEB9-46CF-A08A-320EA94EBEC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb60fc1431b0cc56a1ef70f4354e3e711445a60e","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/content.cgi?GandALF2014","type":"string"},"datatype":"url"},"type":"statement","id":"Q5221792$60C68777-6959-44E6-8C75-DC88CF6EADF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221792$40F2C465-7794-4D31-94BC-C746E19FBA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221792$3DB58864-CCF7-4CEF-A23A-987150867997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221792$C9668661-7EB4-4DE5-9003-C28E03B6DB9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221792$803D1D72-2071-4D01-9C4D-0197E083073C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221792$E4CA87F7-63B0-4892-908D-8A449F5164D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"53f4f03280ad71b2510a0b1620ea6e942179c7fc","datavalue":{"value":"7185181","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5221792$F4D1408B-3315-4748-B76E-6C36BF2DFCBD","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":"Q5221792$D62407CD-9470-4466-99B6-7748AE192C05","rank":"normal"}],"P1643":[{"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":"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":"Q5221792$2B2C35FE-19A9-4B24-9B5E-EC1C13739D4D","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":"d07272e869021b7e8ba03a53ef77b0f16ecd26a6","datavalue":{"value":{"amount":"+0.935341477394104","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":"Q5221792$E3BF28A7-CF40-427F-B04D-8DE00FDC40FE","rank":"normal"},{"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":"6024d33bbd95bc0897ee50f98a36986a789b08f2","datavalue":{"value":{"amount":"+0.9247530102729796","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":"Q5221792$C5A1A591-2AA3-4D84-B9F9-310FA63C0E88","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":"fee361e977d8eb871de5698aaa91d8392d8dac73","datavalue":{"value":{"amount":"+0.9214398264884948","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":"Q5221792$B61F659E-DFE3-41C3-845D-3ADEB1E16D84","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":"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":"Q5221792$E073CAD5-8C6B-4C09-A30F-A835DA716703","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5221792","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5221792"}}}}}