{"entities":{"Q4972171":{"pageid":7001750,"ns":120,"title":"Item:Q4972171","lastrevid":58382049,"modified":"2026-04-04T23:39:26Z","type":"item","id":"Q4972171","labels":{"en":{"language":"en","value":"Satisfiability of modal inclusion logic. Lax and strict semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7135670"}},"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":"Q4972171$3DF03981-55F7-43BC-B27B-A045690BD56C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"38bbefce66bf65a65d75ce3acea895aa152a9130","datavalue":{"value":{"text":"Satisfiability of Modal Inclusion Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4972171$E75CCCCA-6E33-4A6B-A492-9893FCF4BFE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f600c2fc135c42bf677fffcdfa16edcb1fc16567","datavalue":{"value":"1433.03053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972171$36C1267F-C45B-42B0-9C5E-0E79207F8F0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0491ac8faabb6d0479675896420c9dc8ee0603de","datavalue":{"value":"10.1145/3356043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972171$6B5530CC-0609-476C-A368-39582D2AB4F6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4601a858f87638d70dc47292abc072f2d23b4985","datavalue":{"value":{"entity-type":"item","numeric-id":259069,"id":"Q259069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972171$A8A5B1A4-93FE-420F-A9BD-1C11064A8A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5701ad4194f8eb6060f36ec886e2cd63ec21f5c5","datavalue":{"value":{"entity-type":"item","numeric-id":259070,"id":"Q259070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972171$D65CC5BB-1A82-4D30-AED1-C254F7AA6769","rank":"normal"},{"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":"Q4972171$41E17174-35F7-43B6-9F81-6F7A107B284E","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":"Q4972171$FA2B45E2-9595-49E5-8CF8-551DB0E84D1B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4972171$8E5D2066-D71F-49CC-BB18-E1F4A538DA0C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"33cce4fd4ac55934aa54f9a1aa310e23129f81c7","datavalue":{"value":{"time":"+2019-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4972171$4CE35038-C466-47D9-A5C1-52EAD0DD2852","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27d96dafab0b994f4c21f4aafd894782d4e4a11e","datavalue":{"value":"https://arxiv.org/abs/1504.06409","type":"string"},"datatype":"url"},"type":"statement","id":"Q4972171$59136DFE-7CED-4FB3-A07B-59973ABFCF81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972171$AE63AD32-18BD-4B7C-B0E7-E54068843C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972171$04562740-87D2-4585-8251-EA78D18AD462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972171$87A38084-9357-4814-BD6A-A5C93B2D0B1D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7beb35e7b46a8c529ae5d5ba2e12245bf3fc6b1f","datavalue":{"value":"7135670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972171$83248707-71EF-48CB-80A1-EE46DB65BE3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"802636d63c90c17f519222ac86561e7f325894c7","datavalue":{"value":"modal inclusion logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972171$FDA720F6-54C8-4CF6-BA0F-3F81B5964808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972171$270283E5-6897-44A6-AFDD-69B68918BBF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972171$5C759E3C-CE6F-4247-B825-AF29E94ED5A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8a320ac3d69219ff809712b53034e7b1e05dbb0","datavalue":{"value":"team semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4972171$4E8241A8-1ACC-4AC7-9660-58FBC8A757D6","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":"Q4972171$691CD7AE-A712-4B0F-BBCF-D155343FC250","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ad2d5d4aa53a59d3009c703226fe1ae03fa4f9a5","datavalue":{"value":"W2975393337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972171$BD79E625-9B31-443E-BE35-06EDD82B13EB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"39a4d6629cea7601c02bc7e4612981ada738befc","datavalue":{"value":"Q127198350","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4972171$CEB86FFB-9D1F-41AB-92F7-7C6408AC1A1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80f1d87e3044c9ac6afa588c72f5f7c12fe911f8","datavalue":{"value":{"entity-type":"item","numeric-id":2946343,"id":"Q2946343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6588a8522e22bc7b60e112ba94db93911980c83","datavalue":{"value":{"amount":"+0.9587433934211732","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":"Q4972171$FA6714E9-7D03-412F-BC14-D719CFD816B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c8f36f55061414329634d4dfddd71f6cf3925b4","datavalue":{"value":{"entity-type":"item","numeric-id":5213388,"id":"Q5213388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5a937dea0334544f5f0e7acbdda3a4406447be1","datavalue":{"value":{"amount":"+0.7909821271896362","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":"Q4972171$3C57605D-DB0B-4109-A0E3-0E8A36B5D982","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28ee987f3efb15096b616a3c3e3fdd2697b4c019","datavalue":{"value":{"entity-type":"item","numeric-id":5111246,"id":"Q5111246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8f28d62c14fdf5eddbad482e76647dfdbca1466","datavalue":{"value":{"amount":"+0.7889699935913086","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":"Q4972171$F5470962-2784-4C29-B131-257D64EA4FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388a42dc6c4bfb96fc3233dc8c145a09e000308f","datavalue":{"value":{"entity-type":"item","numeric-id":5925562,"id":"Q5925562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"804fb7b36fee2b07c0b8089b563606a3ece12071","datavalue":{"value":{"amount":"+0.7805665135383606","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":"Q4972171$825DA56E-0929-46BB-AE9A-F8905AF56E94","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":"3d7fa87e00c3525cc5c649527f5919f1c61ad455","datavalue":{"value":{"amount":"+0.7746699452400208","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":"Q4972171$D057F4B1-F452-47FD-B9ED-3E24450B2459","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4972171","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4972171"}}}}}