{"entities":{"Q2849435":{"pageid":2860155,"ns":120,"title":"Item:Q2849435","lastrevid":58041105,"modified":"2026-04-03T13:56:55Z","type":"item","id":"Q2849435","labels":{"en":{"language":"en","value":"Model checking for modal dependence logic: an approach through Post's lattice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6208959"}},"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":"Q2849435$F3922E5C-E42C-462A-8342-D698783FAFE7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e0750e5475814a57abecebd59555bb8b8150767b","datavalue":{"value":{"text":"Model Checking for Modal Dependence Logic: An Approach through Post\u2019s Lattice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2849435$B82AF6B4-7544-4881-AEBD-BBF0E3673921","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e8e45f4fef4b53c7d200ec0c99944608cc142992","datavalue":{"value":"1394.68234","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849435$B3FFC9AA-9161-4D3A-8250-F4AE41136228","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9bb789b116c64b1c46295586f1a0fef5e04f5f5c","datavalue":{"value":"10.1007/978-3-642-39992-3_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849435$6622736F-79BF-49B6-9C48-8A3C60A328B3","rank":"normal"}],"P16":[{"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":"Q2849435$F6648CCB-F088-447A-85D5-DCDCA6F2EBA3","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":"Q2849435$CF1194A5-F788-490C-B2FE-406A0B02C7DA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e99766f237ba2ec64cd66b6c230146d768ddcdad","datavalue":{"value":{"entity-type":"item","numeric-id":2820680,"id":"Q2820680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2849435$9C496055-8B93-4E95-B9BD-58CE0273730C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7d6a4b6b487aeaa7eeea6f3ef0c3f53623fef402","datavalue":{"value":{"time":"+2013-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2849435$00B2814E-522A-4727-98C7-848B60828AB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2803b05cf684383418b58b85a839025e5eeaf59b","datavalue":{"value":"https://arxiv.org/abs/1303.6424","type":"string"},"datatype":"url"},"type":"statement","id":"Q2849435$AFE0D34E-EBB1-4E10-AE07-AA90ABA0C779","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849435$66E3CC50-3B93-43EB-B071-1FAB4E1507BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849435$5A13B1BB-1EBC-4E1C-B886-2243F7642194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849435$BCE60D9E-E835-49CC-A9A3-EC9975F24226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849435$2BE7BE9A-93DC-4D7C-95AE-FBDF5F4E18C2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"685c1e34bc601779d5f1a8a5c16639da74742438","datavalue":{"value":"6208959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849435$816487F3-0844-4C02-AF67-AA7989F1D364","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":"Q2849435$3C9CDAAD-BD20-480E-9B76-D7B69B067A85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e7a1877f298fc92938882fbb217c848f982210aa","datavalue":{"value":"W152235501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2849435$4A2F62BC-6066-4FE7-92C2-8D5E05881233","rank":"normal"}],"P1643":[{"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":"89cec6b5b1f2b5757d4b0ced6dd0f7ae8991b206","datavalue":{"value":{"amount":"+0.8488296270370483","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":"Q2849435$74AA49E5-8EF1-4754-957A-50893603CBF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"025ca63bba1c9f34330497241aa424dcb045b23b","datavalue":{"value":{"entity-type":"item","numeric-id":3586056,"id":"Q3586056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c57b0b76ebd49cafa668089502a2a1c360566805","datavalue":{"value":{"amount":"+0.842776358127594","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":"Q2849435$C4393CAB-D450-451A-81BB-A3B8A9258601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1499451bc74b0157b5cefb8e9e1a9981bcb3340d","datavalue":{"value":{"entity-type":"item","numeric-id":3656769,"id":"Q3656769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d64f340a4fe904f5aa0a0be31a3e49b544892965","datavalue":{"value":{"amount":"+0.8403756022453308","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":"Q2849435$3DF1F29B-DC69-4627-87D8-660529986101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a649bc554f2fe5c82abcdcd51c1d59c0c16855a3","datavalue":{"value":{"entity-type":"item","numeric-id":1956378,"id":"Q1956378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"967aee5d39754a1ba0f79ef389b018e9a73f6d01","datavalue":{"value":{"amount":"+0.8370360136032104","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":"Q2849435$61430A30-F58C-4BCE-BEE2-37ECB9F2DA3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7cf0145f7ad4c0f49615e586f443eca9330418","datavalue":{"value":{"entity-type":"item","numeric-id":4914522,"id":"Q4914522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9345949091eb59711ecadf8ec6bcf2268663adb5","datavalue":{"value":{"amount":"+0.8062425255775452","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":"Q2849435$8355E2E9-A7E0-4C89-90BC-EB1925AE2419","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2849435","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2849435"}}}}}