{"entities":{"Q2392554":{"pageid":2403297,"ns":120,"title":"Item:Q2392554","lastrevid":79014239,"modified":"2026-05-06T12:57:14Z","type":"item","id":"Q2392554","labels":{"en":{"language":"en","value":"Infinity 2002. Selected papers of the 4th international workshop on verification of infinite-state systems (CONCUR 2002 satellite workshop), Brno, Czech Republic, August 24, 2002"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6194081"}},"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":"Q2392554$3083C57F-A6B9-4AED-8566-73B912A37D85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e23a1b8491781c34eecde5ada56747c2183cafe6","datavalue":{"value":{"text":"Infinity 2002. Selected papers of the 4th international workshop on verification of infinite-state systems (CONCUR 2002 satellite workshop), Brno, Czech Republic, August 24, 2002","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2392554$2F59C8CD-FD94-4706-92AF-467D1DDA0B8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c22931611f35329d13b93448fe6adca0bfc69b3a","datavalue":{"value":"1270.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392554$765B3D0B-E909-4FA7-B931-4627770B9AF5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2392554$6291D092-895D-4F6F-AE0F-67DA25569F5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7e52174554282dcd72d8428d308340f8fb7a9109","datavalue":{"value":{"time":"+2013-08-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2392554$04238947-B489-4D65-85F1-B120CDB23DDC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4ac95e5409a5133e0e7d87add64c862b25d2e35c","datavalue":{"value":"http://www.sciencedirect.com/science/journal/15710661/68/6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2392554$528FBA30-0BFB-4759-8359-F8D8F91234B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392554$75C875AB-3C91-4854-8B9A-28293420E290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392554$80C3B9CD-BB00-4E6C-92B8-E492FAD706DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392554$7B7BA7B1-1CE4-4524-8537-4C467FFE8098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392554$4C0F7CFC-FD62-476E-AEAF-81B378E3B9BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b30f942872085ca4320b1778060858ee834fc1d6","datavalue":{"value":"6194081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2392554$666718DD-430D-45A3-9C28-60D45FA8EE43","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":"Q2392554$198DD679-5200-4042-8AF8-B4C77C947FDB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Infinity 2002. Selected papers of the 4th international workshop on verification of infinite-state systems (CONCUR 2002 satellite workshop), Brno, Czech Republic, August 24, 2002","badges":[]}}}}}