{"entities":{"Q3066135":{"pageid":3076851,"ns":120,"title":"Item:Q3066135","lastrevid":79962143,"modified":"2026-05-06T15:07:09Z","type":"item","id":"Q3066135","labels":{"en":{"language":"en","value":"Parametric model checking with VerICS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5834078"}},"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":"Q3066135$979B79C0-4A07-4AD4-AEDE-43C03D5CE9F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4791ad5894a32a670f81c501bed86aca4cc3b43f","datavalue":{"value":{"text":"Parametric Model Checking with VerICS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3066135$0DD8DF98-AE05-403E-B9B1-8C38019F6F2B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6f55672cd7bdf3608a917627cee2ef71262e0717","datavalue":{"value":"1312.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066135$7943D37D-D975-4D9F-9277-DC16B39477E4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38d7cd434b0f610f05d5e8d8223afb1f90cced12","datavalue":{"value":"10.1007/978-3-642-18222-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066135$E81E48EB-CBB1-4DD5-BD87-7594A468A69C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"942e6351fcb9630a548540fc6661344716fbfd3b","datavalue":{"value":{"entity-type":"item","numeric-id":2032912,"id":"Q2032912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066135$60239056-BD02-43A9-90F6-2E21AC8FCEEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a1f8702780907862d22fb68b03ee907a25b3573f","datavalue":{"value":{"entity-type":"item","numeric-id":2309217,"id":"Q2309217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066135$763449F7-83EC-43AE-84D2-8D77D269CD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"00e4afc18902a1591d00a05876e3070d819defde","datavalue":{"value":{"entity-type":"item","numeric-id":1028968,"id":"Q1028968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066135$FEA14AD5-9743-4A02-8C1A-D4AB51104BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8e8e51edb23208f92526e006503dcdd3fefdffb","datavalue":{"value":{"entity-type":"item","numeric-id":2493433,"id":"Q2493433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066135$BE28F627-C401-4FC1-BD1B-D2EB18ADF7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a7ae663d6fb9f82a0b3803b646a0a9cd276d058","datavalue":{"value":{"entity-type":"item","numeric-id":3066132,"id":"Q3066132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066135$6539A830-1A65-4C2E-A319-D489BC7694B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb44238d3d4b231fcf029851dca2141f8623276","datavalue":{"value":{"entity-type":"item","numeric-id":310081,"id":"Q310081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066135$BC509F80-CCE2-41C8-9D14-2C2992A5AB3A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2518e6f4b61ac8ccbc686d1afd45ff31fd3aca20","datavalue":{"value":{"entity-type":"item","numeric-id":3066129,"id":"Q3066129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066135$218C3BFF-4BC9-41BC-BFC2-AAC33B56B891","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dfc4d72861f87eedff7571d3d2c66f2c280fe7f5","datavalue":{"value":{"time":"+2011-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3066135$8B3CD69A-D64B-40E0-81F7-82FBF16FD6E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066135$54B16B82-62C4-401C-A250-C36DA113FA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066135$E1B86C6D-2204-4CB5-AB5F-6001F98DCC5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37996703db5e9522f364798933525f33d4a29b51","datavalue":{"value":"5834078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066135$BEB9478C-93FC-4DA0-A913-F4DFE6F89127","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9a437cf908cd7721f63abdf5f69afcdbc97fdc65","datavalue":{"value":"Q62045392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066135$E7FC226A-8336-4B6B-AAF9-DAA34F00FD73","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7851d97c45aab9a7d8da1baea974d0b6776fd357","datavalue":{"value":{"entity-type":"item","numeric-id":14558,"id":"Q14558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3066135$B0A078B1-D158-43C9-B3F2-872255C0E54A","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":"Q3066135$261F9454-C07D-4045-83E4-BAA275169DE7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0670d7c5b5c5aa8e58b1e48636cc48bfa8a78b3c","datavalue":{"value":"https://doi.org/10.1007/978-3-642-18222-8_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q3066135$B83141B1-2C93-49D0-BEA4-D281432F8418","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ab483b68d1988ae55d6bd61f214a32fb32fef77e","datavalue":{"value":"W1562437882","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066135$69483029-819A-4016-A254-B04CDDB2748C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"95e9887e14f244dae67df185378a3acfe8fb8fd7","datavalue":{"value":"journals/topnoc/KnapikNPPSZ10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3066135$C7AC3E11-656F-46C9-A4A3-310D6267714A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ddd81f46a2fe4055a1ee4a87a4a19e634a6d6d2","datavalue":{"value":{"entity-type":"item","numeric-id":3066134,"id":"Q3066134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f549255d7d0027ab1cd9f918f1d6c8bd7e369339","datavalue":{"value":{"amount":"+0.8076765537261963","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":"Q3066135$47CDC430-1BDA-4AD6-BE75-5AFE068D9908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a09d1b13be3e67d230b828e006bf1a305773096","datavalue":{"value":{"entity-type":"item","numeric-id":3066133,"id":"Q3066133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"01e3e68be9c0edc6685dfa45524f57cb3a7fb595","datavalue":{"value":{"amount":"+0.806601345539093","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":"Q3066135$BDF19CD3-96B3-42C2-99FF-36890B271B88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51d58862011788cbc7ae7e612207ceadcdaef80d","datavalue":{"value":{"entity-type":"item","numeric-id":3081898,"id":"Q3081898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"516c4ce80b225d6f70b7620585134925861b7b83","datavalue":{"value":{"amount":"+0.8014196753501892","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":"Q3066135$D9A24D46-BBC4-4DBD-A8AC-CE69D6DCEC62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"989dacadda237f9c21f4d4d53cbc3c7abb889b29","datavalue":{"value":{"entity-type":"item","numeric-id":4929342,"id":"Q4929342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e5ebe1364907b9b26afe7c11c06c6137e7fc236","datavalue":{"value":{"amount":"+0.795704185962677","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":"Q3066135$BA40B01A-7DB6-4ED7-B301-CED6945BAED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7c4bc253e534ed9c376fcb6a54c14657f09af6","datavalue":{"value":{"entity-type":"item","numeric-id":2032913,"id":"Q2032913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd2e9058fa56e91cc2d0552b8573bf69da88187f","datavalue":{"value":{"amount":"+0.7860115170478821","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":"Q3066135$2C140033-4207-440E-BE36-40177A91B219","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Parametric model checking with VerICS","badges":[]}}}}}