{"entities":{"Q2852015":{"pageid":2862735,"ns":120,"title":"Item:Q2852015","lastrevid":51838571,"modified":"2026-01-20T07:17:26Z","type":"item","id":"Q2852015","labels":{"en":{"language":"en","value":"Abstract regular tree model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6213634"}},"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":"Q2852015$DD8FFEB7-EAAF-43C3-9505-6B30696CCB0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7f5d0055ed49e96a9bf6976adc47cecf17150be","datavalue":{"value":"1273.68221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852015$DF0A5DEC-EF6B-44AC-B23A-DA0348E63246","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7904a434e6c67a0a42ab8a275ad588430565729","datavalue":{"value":{"entity-type":"item","numeric-id":537949,"id":"Q537949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852015$F424373B-E227-435B-9491-B8E630A3AAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"48768ae81aa5edcb5110bd8b53b5885bdbc25ee1","datavalue":{"value":{"entity-type":"item","numeric-id":515662,"id":"Q515662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852015$911319E2-C5CA-4946-A659-62875B8E8F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7b07311c614a61a408aa9adc88aa384743c3f783","datavalue":{"value":{"entity-type":"item","numeric-id":2225469,"id":"Q2225469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852015$1ACEF149-E7AE-477A-83BB-D840B1C84A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31b997dc7ec1c186832685ccd7f61424cab1881e","datavalue":{"value":{"entity-type":"item","numeric-id":300413,"id":"Q300413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852015$AB6E8945-C935-4568-AB91-5B961E7A0039","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ec762bb41974652953ff67ca8f6c9675abce28a","datavalue":{"value":{"time":"+2013-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852015$FAB5D728-1D0E-47E4-8100-C05D95CD4AB0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9836d034876b5accfcbda73773179eb366761737","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106000521","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852015$BE55F3FC-82AF-4176-98F7-88F1B6C2B035","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852015$8051116D-65B2-4C67-AD2C-F1E888A7BE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852015$AFDD2040-2999-4484-8EE8-4F05E83DCE85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be1be36f6a0adc7c34c27299c2f8b68c85396a5b","datavalue":{"value":"6213634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852015$856E2A0B-75C7-4E0A-8A47-58EE7CBEC4D7","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":"Q2852015$8D6281B0-314C-454E-B862-D22BA7EEFF27","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a6f7ec4a68eeaf93fcfcd5b1141aae0f501adfb9","datavalue":{"value":{"text":"Abstract regular tree model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852015$5EB77602-85F5-4FBE-BF0D-B6689FFF2FDD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6614b7eaf87f84197be462dab0ff54a1859094f1","datavalue":{"value":{"entity-type":"item","numeric-id":2500700,"id":"Q2500700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51f5198d1da086b7f7a088ed22fd1ed66d8aeaca","datavalue":{"value":{"amount":"+0.8522094488143921","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":"Q2852015$4C136B67-5C4C-473C-92AE-14B4151E54B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"097730de95ff731c06554b80262eca38f1315589","datavalue":{"value":{"entity-type":"item","numeric-id":5312914,"id":"Q5312914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d84e5682101f4b580ef1bf6c2abc57e5464aa2f","datavalue":{"value":{"amount":"+0.833885669708252","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":"Q2852015$849D3E5F-D7B5-4479-BF66-E3D4F8DB46F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67485897744792d592238eb4b337c2a3832ebd9f","datavalue":{"value":{"entity-type":"item","numeric-id":4804925,"id":"Q4804925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4474ce8f8c908e1a6cc82497eb9fc428c8fc4a88","datavalue":{"value":{"amount":"+0.8303980827331543","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":"Q2852015$726517AF-B2FF-46EE-947E-9185A66782D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de754979d8ed4a332bfa07f8950b63fa1e5f35b","datavalue":{"value":{"entity-type":"item","numeric-id":5429319,"id":"Q5429319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e58b09da1b4434d083537a73d70764107fdf14f6","datavalue":{"value":{"amount":"+0.8303980231285095","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":"Q2852015$C70E69AD-E45F-42C7-BCEE-1F6B10847C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b033a24b2d7219f2f9cb9dc106a2dd3d52ea85f3","datavalue":{"value":{"entity-type":"item","numeric-id":5703778,"id":"Q5703778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fdd94cc704a5179d6ef1691ad79e297c3daaa0c","datavalue":{"value":{"amount":"+0.8144347071647644","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":"Q2852015$B0EB52D9-A20E-4EDE-8CCC-686138A016B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2852015","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2852015"}}}}}