{"entities":{"Q3174685":{"pageid":3185395,"ns":120,"title":"Item:Q3174685","lastrevid":80013491,"modified":"2026-05-06T15:14:35Z","type":"item","id":"Q3174685","labels":{"en":{"language":"en","value":"Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6904772"}},"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":"Q3174685$43ACE6F1-FC33-4949-91C2-FB8D42056417","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec6b7565559bc96241432fd3265304e0b0e0b594","datavalue":{"value":"1392.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3174685$7C43D087-7101-4DFC-86CE-38F5D36946EB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"030b9f986c6e480a5f8fe6c12eb2028b6091d8b3","datavalue":{"value":"10.4204/EPTCS.54","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3174685$8CE2A8CB-5B0A-40FC-BFAD-81EC170FBEB1","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":"Q3174685$FA1E50AB-8345-434F-8896-FB594B1835F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b5beb1c4bc785d138efad70e0daa9766f53b635","datavalue":{"value":{"time":"+2018-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3174685$05013C0C-AB1B-4865-B897-708CAA6A4BED","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d0f87978ab62b95767e23a485100b597ec70c78","datavalue":{"value":"https://arxiv.org/abs/1106.0814","type":"string"},"datatype":"url"},"type":"statement","id":"Q3174685$E04AD010-D5A8-46ED-9344-301F0EAD34C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"8295b79285afa6cf04cf386ab443ce6c220a3da3","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/content.cgi?GANDALF2011","type":"string"},"datatype":"url"},"type":"statement","id":"Q3174685$75354A31-D8B2-41DA-82B0-2A1E1FCC18DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3174685$03658670-3A6D-4701-A223-26D9B4DEC490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3174685$45F2DDC9-8C2E-4C3B-992C-A2256AB0FB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3174685$2A175667-E3BE-4EA8-AD0C-6F0E8E91ECE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3174685$80575BC0-CA17-400F-B1AA-4A14A8AD3E22","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9b479133a563847c33c51cd394bae1b0114b947","datavalue":{"value":"6904772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3174685$4636A924-7638-4A4E-8EC4-E7AD7635B9AB","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":"Q3174685$8998FF80-A330-46E5-8C44-55D15E342615","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"22d667b25f379a3e6080f906e954cffd87d1cfd2","datavalue":{"value":"W1571664944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3174685$4F2DD2C8-37C5-451D-86B4-A0227660EBBE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05c54d0dbc302957384d6dfdfbd6455109acfdce","datavalue":{"value":{"text":"Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3174685$8CA6CB3F-27F9-43DE-821A-FB645B69D557","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a80314000b356de9f0f3d6104b3f46406c3163","datavalue":{"value":{"entity-type":"item","numeric-id":3174662,"id":"Q3174662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b9969d28aaecc1ee5854dd79ad5768afcf4b5a2","datavalue":{"value":{"amount":"+0.9541689","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3174685$AA978313-ABB3-4E81-9C44-F669A7B04CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8b28c8815862ad739916865ae339da5c01a94b6","datavalue":{"value":{"entity-type":"item","numeric-id":3174691,"id":"Q3174691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"722c1578da0cf0159f2218535e3650e9efd69095","datavalue":{"value":{"amount":"+0.9361125","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3174685$073FA55B-C168-4F53-86C9-FC19A0F2A07F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f484f2b26b6280cce401adc26b5cfe94205fd67d","datavalue":{"value":{"entity-type":"item","numeric-id":2889248,"id":"Q2889248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2c6998bb97ac696f166f1ae4c06ba843a73890d","datavalue":{"value":{"amount":"+0.9288989","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3174685$F8D91DBA-76CA-42E4-B67C-54410CF5C59F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f28ae61cb9f54a84958d7ffcbac528bc780f9e5","datavalue":{"value":{"entity-type":"item","numeric-id":5082016,"id":"Q5082016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dda3d4c16cd9e5a84c9cce7cbd59156a27b40ef4","datavalue":{"value":{"amount":"+0.91921484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3174685$21B77393-5A87-4449-B60A-CE8DED53B488","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":"a8e2c123a51d4922a95497b0d56804bbf9a821f8","datavalue":{"value":{"amount":"+0.91751206","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3174685$3CD25AAA-3947-41AA-B57E-473C8C86338E","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":"0e5929169f235faac4781abdea2e07da04cecab9","datavalue":{"value":{"amount":"+0.91703606","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3174685$084F16D6-8788-45CF-AE96-011EADFB0542","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":"2225c129bd6c286b0e46386a983fbd720207c4d2","datavalue":{"value":{"amount":"+0.909976","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3174685$7349E7B3-8501-479D-B938-CF9C9F436C1E","rank":"normal"},{"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":"963b27325d4ccc9592ae31663e8ba538aee605fb","datavalue":{"value":{"amount":"+0.9096433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3174685$3EC2EBF1-9E3E-4161-AD40-7BC28034692E","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":"650d95ca9ef9f6e4a9e0509613af7e976d486fea","datavalue":{"value":{"amount":"+0.9073134","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3174685$4B806751-AF16-413F-A043-BC9F5E0A6FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01a1db1561f216d04245e720386ac46bcec97a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4994501,"id":"Q4994501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9d6583940417dc8649b479075f147c69fb2cd0a","datavalue":{"value":{"amount":"+0.8911081","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3174685$77693578-F66B-46AC-851E-F414BEA88479","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proceedings of Second International Symposium on Games, Automata, Logics and Formal Verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proceedings_of_Second_International_Symposium_on_Games,_Automata,_Logics_and_Formal_Verification"}}}}}