{"entities":{"Q4365323":{"pageid":6394922,"ns":120,"title":"Item:Q4365323","lastrevid":46490751,"modified":"2025-12-24T21:58:05Z","type":"item","id":"Q4365323","labels":{"en":{"language":"en","value":"Relations between propositional normal modal logics: an overview"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1082970"}},"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":"Q4365323$6F32780B-4665-4DBA-AA4F-BAC22BA80051","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"088b4ac95d865b676fdd11cb6b3c7afc447da7c6","datavalue":{"value":{"text":"Relations between propositional normal modal logics: an overview","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4365323$68F16A0F-C9B5-4144-9003-053C72B965B0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3eb6eae17da7ee177cd991ad541459059cb105a","datavalue":{"value":"0884.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4365323$C3DCFD8E-84DE-4B65-AAB9-4A89BA8655B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9764b5e3183836adae29ba3fef393bcd0832967e","datavalue":{"value":{"entity-type":"item","numeric-id":229747,"id":"Q229747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4365323$D6819D23-BF43-45FF-BA0B-6D50B0CE8B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e40dc939479b90174d2136e7ecc4aabaed850df3","datavalue":{"value":{"entity-type":"item","numeric-id":4362878,"id":"Q4362878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4365323$F2F8C606-CFAD-4DF3-AE34-4BD8BDBC02EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"74eb0eb5682edf2a7906d14ae0153599f4ab7c53","datavalue":{"value":{"entity-type":"item","numeric-id":1977573,"id":"Q1977573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4365323$01BC9888-3E1E-4933-BC83-41D5FA5DB26F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7765eefed21fdf2360b9d246dd6272bcc4bb251f","datavalue":{"value":{"time":"+1998-03-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":"Q4365323$06AA8627-361E-4A91-B708-CA2301CDCF15","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"371dcc4ce6039edd0685277bd2563610d6320e39","datavalue":{"value":"https://boris.unibe.ch/114991/1/7-5-649.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4365323$376089F4-3483-4B16-A399-1389068713EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4365323$531401AD-743B-44FC-95B8-39855E337F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4365323$F1D15593-BCC3-4287-94CA-2C5B9DE9608D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd3da0d4a8bef895193b3e597cdbc7e10a3163b6","datavalue":{"value":"1082970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4365323$80427876-C0DF-40A9-9508-D1366D6F7ABB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f556bfb3bb1fd5adec0361800a8b37bb88196398","datavalue":{"value":"propositional normal modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4365323$8581A1A8-909A-451D-BBAD-67418ED476F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebfd339d5fdc320cb84ced0319a371d684c705ee","datavalue":{"value":"axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4365323$969E9865-2AF9-4FCA-A8B0-1E81C9C3D431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b78c3115504b06577a44a0fec7c80232f2bc01cd","datavalue":{"value":"logics workbench LWB","type":"string"},"datatype":"string"},"type":"statement","id":"Q4365323$BC9AC16B-4267-4C5F-ABC2-16DA3D2C9D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4365323$9148D79B-9554-472E-B7D0-278B1655A3B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"437e5e5a18f69c64046c4ff88d4c924dcb873959","datavalue":{"value":"database of theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4365323$3A28F367-4A38-45EC-93B3-886661F46C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q4365323$01AD66F4-35AF-48AD-B6C6-F0BC37E8961C","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":"Q4365323$DD77214E-0CD1-4996-AA15-EEFB4F59D336","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"13f5e342810c6a233511df8b0b3920e7f06746a1","datavalue":{"value":"W2169480936","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4365323$15CBB56E-218B-4055-9700-78AF72472A1C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ee772b9cfdef82268adb44c5b9052746bd30837d","datavalue":{"value":"10.1093/LOGCOM/7.5.649","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4365323$DED64F0F-EC14-4BFE-9E44-8967E0D7B7EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4365323$2C939075-E77B-46FC-A350-DF50B81EA6E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c4ee03ab73976024ddd0b1e9e38adc318e6e75","datavalue":{"value":{"entity-type":"item","numeric-id":1977575,"id":"Q1977575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fefe8bf6e5e5b65af5649f333c4eaf5eb618311","datavalue":{"value":{"amount":"+0.7726892828941345","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":"Q4365323$884BA1D9-AC0A-446A-9D36-55BCA1EDDEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b527c24deeade8e5efb16a5567ef666309f379b","datavalue":{"value":{"amount":"+0.7488404512405396","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":"Q4365323$1668C852-4769-4671-955F-8266DD48E1C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"436c17d42f6f6a1e8cf72e9670aa8dcfd9f2956c","datavalue":{"value":{"entity-type":"item","numeric-id":4340933,"id":"Q4340933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"263947b6bf19aba754196647428dcbcadfa90abf","datavalue":{"value":{"amount":"+0.7419804334640503","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":"Q4365323$DD6D8B0F-12BB-4C39-86D2-492C68164368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb3819977d2e0ef3c395a79aee2d363a095a3226","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8fdf3599bd4b0c2d0587b55f261e833654f6c95","datavalue":{"value":{"amount":"+0.7390468716621399","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":"Q4365323$962179B3-6EA7-4DA7-BB1F-0675EDBBF514","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4365323","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4365323"}}}}}