{"entities":{"Q1948375":{"pageid":1959117,"ns":120,"title":"Item:Q1948375","lastrevid":78132398,"modified":"2026-05-06T10:51:48Z","type":"item","id":"Q1948375","labels":{"en":{"language":"en","value":"VEPAS 2001. Verification of parameterized systems (satellite workshop of ICALP 2001), Crete, Greece, July 13, 2001. Poceedings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6160469"}},"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":"Q1948375$98572853-27AC-4E51-B441-BFC970CC29BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42f7bc550c8f2bf8ca20efcd16de089db51ac73e","datavalue":{"value":{"text":"VEPAS 2001. Verification of parameterized systems (satellite workshop of ICALP 2001), Crete, Greece, July 13, 2001. Poceedings","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1948375$59415AA4-82DE-42FF-9086-C1F80FB58BD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"035ae68acc24242a6fd428c252a048e8f9ea7a30","datavalue":{"value":"1262.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948375$5452998E-BAF9-4911-BF59-782E2E235965","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":"Q1948375$AF985789-25E7-4023-992F-ECFCFA5A4A91","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1a8c335e94b31bd5e32ae9f116342a66174e1af","datavalue":{"value":{"time":"+2013-05-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":"Q1948375$64C1570B-4785-4460-B6CB-821A7572B65A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a0cd8270fe3859d7a2c58a857b7ce20223dc5f79","datavalue":{"value":"http://www.sciencedirect.com/science/journal/15710661/50/4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1948375$A08F33FA-7AF2-4C7A-BA26-1E79A4E2E724","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed293b811733fa9438a72e1b6ba5680a0d2aac9e","datavalue":{"value":"68-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948375$76AE5127-585D-48CA-8407-EDDE1BD72B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948375$CB749000-F7AC-4457-8DD7-AC1F89987007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948375$0185D55C-8625-4A15-94B3-B5A6B5B45956","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"91a0167cf0a8fc602ddca391a94986a8970bc9db","datavalue":{"value":"6160469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1948375$16811164-5060-45CA-A8D0-A12CF55BAA51","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":"Q1948375$6320B24B-59C6-4C31-BD1E-F8FEEAD78AFD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baa37abf1029aac106c9b364c1ead21b0dea8017","datavalue":{"value":{"entity-type":"item","numeric-id":4968380,"id":"Q4968380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63fbffe24a9553bc559de0d78a29d81b9a9f99f0","datavalue":{"value":{"amount":"+0.82229054","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":"Q1948375$D3F2CB75-7837-4AE1-AF35-5A0BF604E29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d3768598953daf6cc87786263adc6e2059db326","datavalue":{"value":{"entity-type":"item","numeric-id":5943776,"id":"Q5943776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b117456eff2905dd2b3eb3bfc0b59733733181fe","datavalue":{"value":{"amount":"+0.82066184","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":"Q1948375$931A429B-96DA-497A-A378-D91AA66D55E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1cee801591637963379a3666f11fed43416f104c","datavalue":{"value":{"entity-type":"item","numeric-id":382748,"id":"Q382748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af3324ad141834dd80abeb65355a27b2d96902b2","datavalue":{"value":{"amount":"+0.81392634","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":"Q1948375$AC83A0FA-5047-4171-95A4-FC34B1D138DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4334adc3bdc9cba5c11300bca11ac7499fb609e","datavalue":{"value":{"entity-type":"item","numeric-id":5899051,"id":"Q5899051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ddb9772fc1542c50f332a266a149061cbbd8865","datavalue":{"value":{"amount":"+0.81268924","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":"Q1948375$4D0CF0AA-93EC-4234-B8D7-3D9A9A5CD375","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":"9add504d4758c36977171817db4c46515a2497cf","datavalue":{"value":{"amount":"+0.8051705","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":"Q1948375$E6F79B85-0070-43AE-A99C-9716237151C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bc878cb23fae657ea821114ee2bf76d776ab0bf","datavalue":{"value":{"entity-type":"item","numeric-id":4921503,"id":"Q4921503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b457b3378b44964aed0fa7425ee3f4ac80af624","datavalue":{"value":{"amount":"+0.8002981","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":"Q1948375$A4524082-64A3-4556-8ABD-5C0F6D1B6A16","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":"a8f7d33baf39b6fb3908aa1e6fad05113814e981","datavalue":{"value":{"amount":"+0.7970168","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":"Q1948375$5DFB52BA-6F4C-4CBA-ADD9-FACD95767AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dcefcf4e60eb8a13c6179f332d10bbe67ce444a","datavalue":{"value":{"entity-type":"item","numeric-id":1309679,"id":"Q1309679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0d362bc185131a49c3727aaae5ad289d19b5e9c","datavalue":{"value":{"amount":"+0.7952229","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":"Q1948375$CC68E9DE-DF4F-490A-A0D2-2D49C3841CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ac33278f86728c99a51e5283dc134ab7d3ca041","datavalue":{"value":{"entity-type":"item","numeric-id":1574965,"id":"Q1574965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cc725e9f1667c94198884ea64ec9d20a2321559","datavalue":{"value":{"amount":"+0.7950563","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":"Q1948375$4A904BFE-316A-44D1-82E6-7BDDF69F5F17","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":"69a30fd216a52a283d89fac87613c9ace933db4a","datavalue":{"value":{"amount":"+0.79472023","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":"Q1948375$BBDB8D60-F097-4345-98FB-F732AFBDBCFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"VEPAS 2001. Verification of parameterized systems (satellite workshop of ICALP 2001), Crete, Greece, July 13, 2001. Poceedings","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/VEPAS_2001._Verification_of_parameterized_systems_(satellite_workshop_of_ICALP_2001),_Crete,_Greece,_July_13,_2001._Poceedings"}}}}}