{"entities":{"Q4584892":{"pageid":6614477,"ns":120,"title":"Item:Q4584892","lastrevid":53193302,"modified":"2026-01-24T10:39:39Z","type":"item","id":"Q4584892","labels":{"en":{"language":"en","value":"Complexity of model checking for logics over Kripke models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6931780"}},"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":"Q4584892$0ED3EA24-1491-4167-86DB-7B713BE1CD4F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20cda06ab91f1ad8d9ddd8daac8592ae613ce490","datavalue":{"value":"1394.68233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4584892$392E1F82-6EA4-4768-BFF4-3AA44F5B4458","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"686a3fe5d11b6343bdc23cbf052aabbee263958a","datavalue":{"value":{"entity-type":"item","numeric-id":393135,"id":"Q393135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4584892$CDF75570-1365-43C0-BC5F-C8C38E5566EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4daf7c6efe756fb1ea9a850655089317a8cb7985","datavalue":{"value":{"entity-type":"item","numeric-id":2203579,"id":"Q2203579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4584892$15A90D15-7A0D-4A1E-AAEE-19D0585003EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64af706d31db06ff1d10ff9957e17edb0a072503","datavalue":{"value":{"entity-type":"item","numeric-id":475338,"id":"Q475338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4584892$2022BB27-7075-4BDB-A285-8ACCFA20ED75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ca8a4811cca52a248ccfd30baaf04c265f9ef0a","datavalue":{"value":{"entity-type":"item","numeric-id":208765,"id":"Q208765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4584892$B107DFB1-91CB-4399-B404-8F8A4D26474A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad7ecf7d01137a411d3269c318bd52fe1be241f3","datavalue":{"value":{"time":"+2018-09-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4584892$5784E565-2131-4828-B6C3-8AD81389C904","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0bcdc1c3dba4e9cb915ff56a8a15e7a1037780dc","datavalue":{"value":"http://eatcs.org/beatcs/index.php/beatcs/article/view/50","type":"string"},"datatype":"url"},"type":"statement","id":"Q4584892$4C01E1AE-33C4-437E-9926-FC27200AA075","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4584892$60A39DA2-5B2C-423C-88A0-BAF507A55A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4584892$C7CCCCC4-9584-4934-9F3A-A97A6743543F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4584892$82CBFE4F-08B5-4801-A9E7-9DF8BA3899DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4584892$ACC05CA8-9FC8-4CCD-9DEC-CF44EE4E8727","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0aae201672740f103ffd8472139498985f5c9ae8","datavalue":{"value":"6931780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4584892$6E6F51BC-BAEE-457D-9E9D-DD9F26BE0243","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":"Q4584892$8A27BC11-262B-4639-8C63-727E449A1E91","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3fbff1b48bec0154db8f1f71f60bfffb7fafd27","datavalue":{"value":{"amount":"+0.8750665187835693","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":"Q4584892$51AFAC9A-D57E-47E4-8D03-966E388EA074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b368a560c3ed3ed70188dfe1eb32036b8e65fbd2","datavalue":{"value":{"entity-type":"item","numeric-id":2771058,"id":"Q2771058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d3a1a2258d0aaabf17018e9e5f2c01aead35a80","datavalue":{"value":{"amount":"+0.8286272287368774","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":"Q4584892$7FE6A458-3C6F-4E5B-9F97-4283D6BE9601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c85101b0991c879a8e53c74afaf64142858b50e","datavalue":{"value":{"entity-type":"item","numeric-id":2891371,"id":"Q2891371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8beff23b391b5f35c43103fffee1a7257b65be4","datavalue":{"value":{"amount":"+0.8256959915161133","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":"Q4584892$ABA7261D-F8B7-404E-BBD7-EF5B6A654FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ba19121b8694d90a7f1b829bfd333ad0d7b7ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2291813,"id":"Q2291813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ea095c13eef4e764febee8129131ad619e60fd2","datavalue":{"value":{"amount":"+0.8087204694747925","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":"Q4584892$69A4C640-5AB7-4F23-A38A-FA7759EDF979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4dcc74f5016755b382c73656c29a163b4f17aa71","datavalue":{"value":{"entity-type":"item","numeric-id":4982095,"id":"Q4982095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7effcef05e7bc90e9fea4fbbe75303e831978a6","datavalue":{"value":{"amount":"+0.8079027533531189","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":"Q4584892$22951007-07F3-470C-A87F-3844A3ADD904","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4584892","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4584892"}}}}}