{"entities":{"Q4914522":{"pageid":6944103,"ns":120,"title":"Item:Q4914522","lastrevid":51691556,"modified":"2026-01-19T12:26:22Z","type":"item","id":"Q4914522","labels":{"en":{"language":"en","value":"Model checking for modal intuitionistic dependence logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6153711"}},"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":"Q4914522$D6C0C622-38B1-44D7-92FD-BD3E599755A7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b280008ace741b526a3f4dd9a35dfc0200acd8a4","datavalue":{"value":{"text":"Model Checking for Modal Intuitionistic Dependence Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4914522$D3B11F88-7364-4105-9501-FD9F5073B7F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b11633019062f952fd235d3a206a3670dc25835c","datavalue":{"value":"1385.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914522$6BA177BD-A50F-4B15-876F-49399439A5C6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0698a7fcda2ec2dc4df748265eeab25935ce7cf2","datavalue":{"value":"10.1007/978-3-642-36976-6_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914522$7AC8D0F8-20C6-420E-8CDE-8C64093EE4C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd8d245d358f34b340c085c816bde52f6e291e69","datavalue":{"value":{"entity-type":"item","numeric-id":302213,"id":"Q302213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914522$D0C80A8D-0851-4D9B-8ABC-81129A09DD11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"71a0aaf3769d068b3b8e2bc7b233a632a665fd0e","datavalue":{"value":{"entity-type":"item","numeric-id":476184,"id":"Q476184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914522$4FFDD80A-6999-4677-A5BF-B2B0B59E4A98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e9c96eaee4f3423a9fcba3520e2fc86bc4c8c620","datavalue":{"value":{"entity-type":"item","numeric-id":278763,"id":"Q278763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914522$5CEF8A53-6CF8-491D-B1BB-FFC59861EC88","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"73721dca36e09b1fa1957406b9ce9131cf322a8e","datavalue":{"value":{"entity-type":"item","numeric-id":3019965,"id":"Q3019965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4914522$311B8DB5-8D61-4509-8BC8-BE2635BA73DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16b61607d3c9e95948e64c616265d1c851d4a4a4","datavalue":{"value":{"time":"+2013-04-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4914522$0049439D-C0C1-42AD-9640-FF4D537F8A37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914522$9D56FE0D-5F14-4674-97E7-90805B2137D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914522$90E82F75-2E70-440E-AAE0-593874DEF89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914522$608FEA16-BB0D-4619-A6C8-03CB9E248346","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b84ba16501b519c5505ba24d9bd36494bddf1899","datavalue":{"value":"6153711","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914522$B7EAACAD-5C93-4E01-869B-510489AF114F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d0bef78cf421d5b235dd89b6bb53641b804b7d","datavalue":{"value":"dependence logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914522$D885DACF-2C88-4461-8A02-1FD4FA9D863A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914522$EA69442B-202E-4899-964B-B2AF6A6D37C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914522$71987EB2-4B25-4F40-9C3D-6F8CCAFC0BB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914522$548BB6A2-6963-4215-8F08-D439298E3C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4914522$D0592804-0552-4F7D-BD9A-2916E3F72091","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":"Q4914522$0876831D-E188-47F3-B26C-0DF5278C4A60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4435d94161f5d08bae05c3524ae607466f0118c6","datavalue":{"value":"https://doi.org/10.1007/978-3-642-36976-6_15","type":"string"},"datatype":"url"},"type":"statement","id":"Q4914522$149DD0E3-7EAB-46C4-AB20-727992607FBA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3cfe83cf6107767498df7e1b64d510be3fcd2be2","datavalue":{"value":"W15639825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4914522$9BFCCA6F-59D4-4C5C-B10B-1F3C7E7AE6AD","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":"9baa97b38373e6ada71bcc7f43f63da4b4c00b27","datavalue":{"value":{"amount":"+0.8735985159873962","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":"Q4914522$F6CEDDB4-EA94-4654-8B11-C49A427EB8B9","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":"5e15b7f544c87e03ef224dceb0d703a328d7cd84","datavalue":{"value":{"amount":"+0.8271204829216003","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":"Q4914522$A503EA99-13CF-431F-AAE5-AEBE47C065CF","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":"67eb4a391f0ea69812ed8a1255c5f95113e4c002","datavalue":{"value":{"amount":"+0.8155903816223145","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":"Q4914522$15799CF3-48A7-441F-B03A-CA2C0BFF4F95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e49a641032819ab762e539256dd52880ec7ec643","datavalue":{"value":{"entity-type":"item","numeric-id":2849435,"id":"Q2849435"},"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":"Q4914522$FC5C94C4-563B-4BD3-A7B0-44D6CF3A8BD7","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":"1a1a8b2dd0f2537ff4f4f9cc3c783eb48d75ea62","datavalue":{"value":{"amount":"+0.8052417039871216","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":"Q4914522$FD1F44E9-EDED-48B3-AE65-59377DBD0586","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4914522","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4914522"}}}}}