{"entities":{"Q2851539":{"pageid":2862259,"ns":120,"title":"Item:Q2851539","lastrevid":79877525,"modified":"2026-05-06T14:55:03Z","type":"item","id":"Q2851539","labels":{"en":{"language":"en","value":"Consistent partial model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6215234"}},"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":"Q2851539$346317F1-1B0F-44BB-BD18-DC04988515E3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c8335358cfdade6338e68c8d5dde41ef3b6f252","datavalue":{"value":"1273.68231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851539$C5492F4C-325E-40BA-B489-43957F334965","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5887fda0e194efa53a5f3440f04d1bf60a9bdd1b","datavalue":{"value":{"entity-type":"item","numeric-id":184519,"id":"Q184519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2851539$331EF135-D72D-4BB0-8056-EAF12D86ECBE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b924bdcab1a805ec7a84a6d050c0c2e1a9ae3ca5","datavalue":{"value":{"time":"+2013-10-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2851539$576014F0-E256-407D-A86A-5983201DED75","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"451ebfc74509adec1886ab917f6e526a3e1e5ae3","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104050844","type":"string"},"datatype":"url"},"type":"statement","id":"Q2851539$09A976EE-AAFB-47A6-AD88-8F405909D3F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851539$D1754A64-DF0D-4100-995F-9D7D56A375D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851539$095022F7-48E8-4BA4-8EFB-FF1752DEA8CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cdaaf3ac60079a11d9a20c5605db35279f71acd","datavalue":{"value":"6215234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2851539$C2C4CA45-1412-4542-97CC-5BB3F7D8B10E","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":"Q2851539$2A6E0A48-4F09-4070-82EB-982776F7C1CD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"44b4b9852d80f1f8e606b364a511b27cfddfbc60","datavalue":{"value":{"text":"Consistent partial model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2851539$168E36AF-2D1F-4119-9B03-F27E8355930F","rank":"normal"}],"P1643":[{"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":"7753cb9e99b8f30915ff721344a630d51bdf1211","datavalue":{"value":{"amount":"+0.7854859828948975","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":"Q2851539$EBF54C62-8A1D-4D11-9333-2DCDA7A1143C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c110eb6d9402c1337e196490a5f4aa4b83d42e2a","datavalue":{"value":{"entity-type":"item","numeric-id":698095,"id":"Q698095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac778ce86428f29ebe647435af8427ef250e335c","datavalue":{"value":{"amount":"+0.7355948090553284","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":"Q2851539$AEC56989-CC47-4C33-B4BB-3D0FE60A2913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2e1d7d7f9f1c2898990bca8de8bf6c56408354e","datavalue":{"value":{"entity-type":"item","numeric-id":947781,"id":"Q947781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1249953c281d8f87fa2216af6d78f8c980b3653e","datavalue":{"value":{"amount":"+0.7344107031822205","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":"Q2851539$8ACFBAF6-0538-4770-8750-94C09E1307A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5320d10f1d2fb87e8b27dd3ac24de72f8000f9fc","datavalue":{"value":{"entity-type":"item","numeric-id":4806210,"id":"Q4806210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76b7e2b730625943d10de2d736d74c6156135011","datavalue":{"value":{"amount":"+0.7286108732223511","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":"Q2851539$C2F7B68C-EE53-4240-AB4B-128D56A41C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9166602dfad12313ada7f9a35a1fa11da4475e51","datavalue":{"value":{"entity-type":"item","numeric-id":617712,"id":"Q617712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76b7e2b730625943d10de2d736d74c6156135011","datavalue":{"value":{"amount":"+0.7286108732223511","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":"Q2851539$B82D05E9-C5BD-4149-876B-FBB041E6F61D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Consistent partial model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Consistent_partial_model_checking"}}}}}