{"entities":{"Q4968380":{"pageid":6997959,"ns":120,"title":"Item:Q4968380","lastrevid":91131071,"modified":"2026-06-04T22:20:19Z","type":"item","id":"Q4968380","labels":{"en":{"language":"en","value":"Proceedings 14th International Workshop on Verification of Infinite-State Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7080146"}},"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":"Q4968380$2A7AA0E1-3C2B-41A1-A973-9C7FCFC58BB1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a1e18c49a11f02ec2fca5ed03e5a317184ed84cb","datavalue":{"value":"1415.68012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968380$CAC23D93-7FB0-41D1-8638-9EAC5DFB0672","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83b7ee376f52a97a60fce76995025ee83372b8db","datavalue":{"value":"10.4204/EPTCS.107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968380$A987BDDD-8515-420E-B110-C99C4081E51B","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":"Q4968380$7CECE110-5683-406F-B74D-3E010A779BFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0eaf95e77ca1b4130000107923cf17e957ee1827","datavalue":{"value":{"time":"+2019-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4968380$4C67BB45-8AD6-48E7-8EBF-8B8EDD2BC8F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eff7276102af302f8e13dd847ba61800a7cfa67c","datavalue":{"value":"https://arxiv.org/abs/1302.3105","type":"string"},"datatype":"url"},"type":"statement","id":"Q4968380$A26C82F9-5BD1-4C05-90C0-B3DFC99AFD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d719f4ca53047d93dff3d4d1366081f964ce309","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/content.cgi?Infinity2012","type":"string"},"datatype":"url"},"type":"statement","id":"Q4968380$A5AF4171-1082-4606-B604-7608A19EBE71","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968380$B42010BB-CB10-4BD4-9A4C-D7FED42350B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968380$0C2DD6ED-395E-448C-BF24-E29D05A6200A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968380$7EF52E70-0BAF-47A1-8180-564F8FD0AEC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968380$09BF57B8-8E08-4BBA-A31B-2A8B808E7884","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0c73f9ca56becf593078b82c5120a1037cde6bb","datavalue":{"value":"7080146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968380$56B24D7A-A7CA-479D-A2FA-28B14C2C92DB","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":"Q4968380$27E851C0-FCC8-4FB8-8037-A99485748B61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fef3274e6dea4d8f08ac7ad82d960ba9fc6d8357","datavalue":{"value":"W1995482011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4968380$FC47F564-68E9-4C97-B140-2001D8C8D171","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b3f71fc832283d810c7035e7a76a25eba5ac9db","datavalue":{"value":{"text":"Proceedings 14th International Workshop on Verification of Infinite-State Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4968380$B829E5B4-26F9-4B7D-93BD-C23381A5D52E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fb38f867d5bd8b325379559078bec80c6a0decc","datavalue":{"value":{"entity-type":"item","numeric-id":5219917,"id":"Q5219917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9383c668a284e2204f0e44c67817f2da737a883","datavalue":{"value":{"amount":"+0.9490325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4968380$F936B5CB-14FF-46CA-98E7-D284946F7D34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bfc3647167a0d6af3c2c53dc914de16729bc669","datavalue":{"value":{"entity-type":"item","numeric-id":368043,"id":"Q368043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"909378fd1a93db3a9f6fbe2527455ba2a36eec79","datavalue":{"value":{"amount":"+0.9419492","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4968380$403FB9FE-3E89-4347-83E7-62C041C341A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"015abccee99f5a024ac7475e37b42e0956c79adb","datavalue":{"value":{"entity-type":"item","numeric-id":371380,"id":"Q371380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc1ebf65c7b34684c26f3ded5e9876687df2b0d7","datavalue":{"value":{"amount":"+0.93902194","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4968380$886C651F-692F-4F7C-A150-BEF41C632640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b07354a056fd91ac4d092c6fba3aa0484f88f5c","datavalue":{"value":{"entity-type":"item","numeric-id":5965554,"id":"Q5965554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"145bc9ab465b43520eea67391adc76fc1895875e","datavalue":{"value":{"amount":"+0.93704885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4968380$90973324-BAFF-41DB-923C-16D90B779C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de3e878dc13792079b5586c62043e7341f1dfc62","datavalue":{"value":{"entity-type":"item","numeric-id":392267,"id":"Q392267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"655870919816c94a649cff9444f2a0ff7f171943","datavalue":{"value":{"amount":"+0.9325914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4968380$AE575E75-967E-4A43-AAAE-8A579B101989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b69eaa56dd4ad5207051b0ec55b9c549f127133d","datavalue":{"value":{"entity-type":"item","numeric-id":3174687,"id":"Q3174687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc252f2a40c28952901bf6b4e9b4de3b18430c32","datavalue":{"value":{"amount":"+0.931587","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4968380$D2F94D13-9B56-44DC-A173-3C587A8AEE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab708b87e2154529b600539565947a2ae82c8e5","datavalue":{"value":{"entity-type":"item","numeric-id":5292626,"id":"Q5292626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63edcb4b4e2f75193cc9f9444c58bd1d3e4e6e1e","datavalue":{"value":{"amount":"+0.912424","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4968380$193665E6-7344-4F42-81AE-9269F1A1C16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab5e4fb21bb9a4fbe303b885a888c8c48b1f7b89","datavalue":{"value":{"entity-type":"item","numeric-id":1273549,"id":"Q1273549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22e98de11e9583587563ab7ef7bb693050020770","datavalue":{"value":{"amount":"+0.9078914","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4968380$073ABAEE-9859-462C-A486-EA883197607E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a82d17d8148f6115dd262a9f2c3e44ca1a044f8b","datavalue":{"value":{"entity-type":"item","numeric-id":1273553,"id":"Q1273553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"67f8689be7e55703d04223c05e1024faf7ac8632","datavalue":{"value":{"amount":"+0.90696853","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4968380$F3EA2854-4093-4ADA-A7DC-6919286181F0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proceedings 14th International Workshop on Verification of Infinite-State Systems","badges":[]}}}}}