{"entities":{"Q3329438":{"pageid":3340146,"ns":120,"title":"Item:Q3329438","lastrevid":48716596,"modified":"2026-01-05T17:05:50Z","type":"item","id":"Q3329438","labels":{"en":{"language":"en","value":"Completeness for non normal intuitionistic modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3861120"}},"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":"Q3329438$7AD20CCD-5B9C-486F-B708-DA9A529FC92C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89ebae7459661259360212f057c5c40892316bb1","datavalue":{"value":"0542.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3329438$918C189F-BCF5-4F66-BE32-1D2AD43FBDAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"71bc0d1286410b61d0e3d23417e405a7a30c9582","datavalue":{"value":{"entity-type":"item","numeric-id":1240728,"id":"Q1240728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3329438$828A6969-1A13-45C8-B84D-1C210EEEA7F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3329438$36B9D9F4-D9E0-4E6D-A519-10150EB62B98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3329438$1AC4E4F5-4329-48C7-8CEF-150F983782F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3329438$5701BBAE-E696-4819-98F0-403D7F0B98C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3329438$F7F1AC64-6984-4788-9782-A707A2EA054F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3329438$4D85FC28-6F90-4EE0-809C-59F848015942","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"517226e71c1c74ad04770f6379b2ec56bb7a803f","datavalue":{"value":"3861120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3329438$CA2A5CE3-5C4C-4CC3-BCDC-1E4DB0115EAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3329438$92B74878-5B5B-491D-B521-E8D8CC55602A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9459ab3b24047969d1f2e8b039262e81a3909f91","datavalue":{"value":"non-normal intuitionistic modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3329438$B1488A63-1D23-4F86-A14D-5BDC7BD99C0C","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":"Q3329438$3953529C-0089-464D-AFDC-E98FE86D4984","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f85878143ea2e52b60d35cbebf5d7dbb6d459e98","datavalue":{"value":"http://siba-ese.unile.it/index.php/notemat/article/view/1677","type":"string"},"datatype":"url"},"type":"statement","id":"Q3329438$13F6ED34-027D-4352-BC49-30238E1FDE07","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6350f749dd832645ef018f8bf635fa0b13d5e8ed","datavalue":{"value":"W1501627705","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3329438$364A993B-5EE0-4CD3-88A8-12D601E26E3E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"afbc9121c067e9d18e5dd1d0add92891953dd27f","datavalue":{"value":{"text":"Completeness for non normal intuitionistic modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3329438$F29EF66F-FE85-4AFA-BE49-E2301ED317B3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d33fe764c9e78f20e66f65468db5684a8fbe737e","datavalue":{"value":"10.1285/I15900932V1N2P203","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3329438$8E24E3C2-D9F6-4919-A8E1-C2AA65B9A2CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3ee68f0de1d97125ef1ec926520acca9867ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1096612,"id":"Q1096612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6718252229a04c76ae81a9c842af77f299e372ef","datavalue":{"value":{"amount":"+0.8086877465248108","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":"Q3329438$39ECE6FD-ABB6-4C54-925B-5A5B0374A17A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65bed598d0ebfc185132301bc12cc2e844ada517","datavalue":{"value":{"entity-type":"item","numeric-id":1096613,"id":"Q1096613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"155ec8d4be03b882ba977240756fac3c6f89d35c","datavalue":{"value":{"amount":"+0.7986759543418884","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":"Q3329438$A00C593B-75DB-4D13-89FC-FF3B52371D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52e148665b3b06cc6f5078ced71b99764edb37c5","datavalue":{"value":{"entity-type":"item","numeric-id":829826,"id":"Q829826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b09ee61c8174426737886cc8f52f322213eeec67","datavalue":{"value":{"amount":"+0.784114420413971","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":"Q3329438$2182A638-4FB4-40D0-B99D-3BBC47347AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"496cdbda866971990cf87d007532796aa5cd22b2","datavalue":{"value":{"entity-type":"item","numeric-id":5465437,"id":"Q5465437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65951b9d68d2ab30f2fa1dc2268e8963d71ad74d","datavalue":{"value":{"amount":"+0.7803651094436646","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":"Q3329438$2C92C604-40BD-4CC6-8F48-403ED2D62839","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e37c02e5fc129026c4872920f1f5be7b13eae3a","datavalue":{"value":{"entity-type":"item","numeric-id":4250043,"id":"Q4250043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58c219fec01e67e93effbfc11f5aea123ef2bd31","datavalue":{"value":{"amount":"+0.7690551280975342","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":"Q3329438$B5C6C84F-61BA-4AE5-B216-F48D4B6A9CAE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3329438","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3329438"}}}}}