{"entities":{"Q990121":{"pageid":991969,"ns":120,"title":"Item:Q990121","lastrevid":65867259,"modified":"2026-04-12T05:55:10Z","type":"item","id":"Q990121","labels":{"en":{"language":"en","value":"Partial model checking via abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5778955"}},"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":"Q990121$CD5B616F-4475-43C1-AA6B-CA021341A012","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81d42ba7c69d0330a480ebe6c281ab8cda295ada","datavalue":{"value":{"text":"Partial model checking via abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q990121$4C879FF6-DA6C-4A2A-B0B6-A5DB4807FC63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bfc5b65d4abacc66e99e7e5a1ecf07e8fc61120f","datavalue":{"value":"1206.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990121$DAE2BABB-510A-4F83-9E76-A26308A7C281","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990121$5E2DDAE5-CAFF-49DF-A0DF-CC068F325E9E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9c8db179f9c66121cffb2b883a8a32d7415ee58","datavalue":{"value":{"time":"+2010-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q990121$10BF071A-38F3-4874-9CEA-B773755B33FF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86302518e39bc64fa8f1ab9334a782df6d51a200","datavalue":{"value":"http://eprints.adm.unipi.it/669/1/ccs.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q990121$059E957E-6D9B-4817-B787-683088353DC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990121$4EDE4DF3-60A1-476A-8692-A6CF6E8CF703","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b8a90628439bc2a62da8a88b268cec3a122c7404","datavalue":{"value":"5778955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990121$69B25AF8-3630-4150-A410-7F591EB87060","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bdad6c7f5be84f5ed04215b5cce5a2a5c8dc0aec","datavalue":{"value":"compositional verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q990121$5E72DC5F-27B2-4CEB-AD6B-64CC1C692EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q990121$92A411C6-74CC-412A-97FB-47F31352D521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q990121$069CE7BE-5401-498E-9650-68D7CD9F1FC6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b47e2687c339099320ed3ae6a6e7a67c0e7c742","datavalue":{"value":{"entity-type":"item","numeric-id":816204,"id":"Q816204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990121$0E4CB8D1-799A-4300-B5BF-98676C3945DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb545dd071ada186081d03f5b04cb64129e05756","datavalue":{"value":{"entity-type":"item","numeric-id":428907,"id":"Q428907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990121$68AEB688-BA45-4DCF-9CCB-94BC001768CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"194c32ec64a50ed46ab94430fff7c0a84b36143d","datavalue":{"value":{"entity-type":"item","numeric-id":974111,"id":"Q974111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990121$6E489889-BD07-4087-B84A-D64D8D0C868A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d04dc255262dac03f133b97d0ab2c442f58cea33","datavalue":{"value":{"entity-type":"item","numeric-id":703587,"id":"Q703587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990121$2956333B-3EBE-4848-9502-77A53B58BD3C","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":"Q990121$C6B555F9-7A70-4893-8F8C-58646F063DFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7900ada7eada7ada788317aab006f58d199366b8","datavalue":{"value":"W2115903968","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990121$3920B8D3-2674-4AA7-B5B7-C3AC47F94AE9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990121$EA92E951-85F6-45A8-9E3C-B2E44067C328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350f5c3549df6ad966d6ccb596b2708361911a2d","datavalue":{"value":{"entity-type":"item","numeric-id":5178838,"id":"Q5178838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990121$9E763726-EEBF-4955-8278-7FA0F51BA6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22f5397ae2aefeb3ebd3659e89891612bab8d39d","datavalue":{"value":{"entity-type":"item","numeric-id":990121,"id":"Q990121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q990121$EFDF5226-C44F-4FD0-8889-71976EE04FA1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a60237d302a54177fe3288db0495f3ab9fa82e68","datavalue":{"value":"10.1016/J.IPL.2009.10.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q990121$A4B7AB42-8A96-4EBA-AC59-3B82647B56EC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"142e55007e39b2ec350cc88cd6063e1a5ba81599","datavalue":{"value":{"entity-type":"item","numeric-id":4536712,"id":"Q4536712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d0669b76417bf3ebbc58bbdfc7dce29f56d2771","datavalue":{"value":{"amount":"+0.7724102139472961","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":"Q990121$CE64E695-4038-49EE-8555-1BEDDDA4F20A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf3824886570dc01d42f52eac80351c401019a7","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef5921abdbdd1b590df9426efd1993ac01fc8687","datavalue":{"value":{"amount":"+0.7473146319389343","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":"Q990121$492E18C3-3175-49D9-87E0-2217F79EFE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20e8c7d859063b7ff5f0146e0691c82aa8b6464c","datavalue":{"value":{"entity-type":"item","numeric-id":4917056,"id":"Q4917056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88d83451281b9848878c0b4d54d7d37347aa6daf","datavalue":{"value":{"amount":"+0.7394386529922485","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":"Q990121$61D75C55-F49F-46F9-9348-1E7F1251060D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa7a610a5a912c01d0d95c64ce3b4ff60fa6a43e","datavalue":{"value":{"entity-type":"item","numeric-id":4804884,"id":"Q4804884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edc31bb5cb1a622a06d394c4a9343697041b90ad","datavalue":{"value":{"amount":"+0.7372115850448608","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":"Q990121$E235D325-9106-4847-9D02-04D1A4F3C81D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f0944e7e06c6cf71475053320c0cfa4b0deed94","datavalue":{"value":{"entity-type":"item","numeric-id":5898630,"id":"Q5898630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"596182b3979ad04d6023427e1e2578102c063a63","datavalue":{"value":{"amount":"+0.7321239113807678","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":"Q990121$E1FD37E1-0CF2-4519-95C8-15DD482361BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial model checking via abstract interpretation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_model_checking_via_abstract_interpretation"}}}}}