{"entities":{"Q3028968":{"pageid":3039684,"ns":120,"title":"Item:Q3028968","lastrevid":49092361,"modified":"2026-01-06T14:17:00Z","type":"item","id":"Q3028968","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4016857"}},"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":"Q3028968$4007570C-3659-4EF9-BB64-05D4FB73E374","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"26826f0f820b094522fad511ca10131b8dc19d89","datavalue":{"value":"0626.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028968$568B5BE7-2D13-428E-A934-16C4FB6CD1FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3028968$C2E0C4D6-F0A0-42BB-819B-9F0092E09809","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3028968$8EE6D384-C81B-40EB-8417-251781B3E4B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028968$62E4C478-254F-4CA4-A0C8-8FF1FBBA8A88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028968$5D7B43E8-8C0C-4430-A759-57AE06C23605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028968$6BCDFAEF-8521-433D-9C5A-7108B9F66166","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5e380947ae8b3e754bf3decd4bd6e06f3766de70","datavalue":{"value":"4016857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028968$A3F113A1-E852-45A8-B75A-C635ECB47EF3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c25684f0cc785f7c516ee7afec944ff00de45cf","datavalue":{"value":"negation as a modal impossibility operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028968$BE9BC467-59DF-4E8F-92C5-E97395910371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028968$9A446DF6-91AD-42EE-A263-54D3AEB1FB93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e20caaf0551fe84fb69eae2f4da361eb77759b92","datavalue":{"value":"intermediate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028968$71783B04-F473-476E-8706-4524366FFAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028968$2DA8A97F-821F-49B9-8572-D8BB0B03EF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22359b4c8030692701b97b8f18b4f40cb6cb7d0b","datavalue":{"value":"Kripke-style models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028968$CFB58765-71F9-4D54-93C6-BF34DC55395A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c38c6370799f7743861023b9274f0a0d7e311c9","datavalue":{"value":"intuitionistic accessibility relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028968$699865A9-DFC2-4DFB-B524-7053DC6A19E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce8011958073e61e171999366386bf44b13809d9","datavalue":{"value":"modal accessibility relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028968$8D6C001C-3717-4304-844E-C21394228DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ed3b9c52e27f53795ea51cc35a3ee0b4b90b1ac","datavalue":{"value":"Johansson's negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028968$073E8DCD-8076-44EF-BE58-B7B723FAB921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"533ca101fdfe9bb9071d3af07d6dc6190893e30b","datavalue":{"value":"Johansson propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028968$928E7AB6-697A-4275-926A-85463A7331DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"57f6b45c98362993d3806f94da99a22233fb90e3","datavalue":{"value":"Curry's propositional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028968$2573E955-0D6F-418A-9B6A-EC638B589843","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":"Q3028968$F8EF26E1-BC20-40B8-92C5-29D27293225B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0307dafef4ca83ee2cf9b9364602bbb273780ae6","datavalue":{"value":{"entity-type":"item","numeric-id":3795646,"id":"Q3795646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbe4b0df0abdf14143bce8a9a0d9f6a7542638eb","datavalue":{"value":{"amount":"+0.8813836574554443","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":"Q3028968$AD25C557-5B62-4BF4-A3DB-EBAA56BF34BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a9842608722b8451723c149bbf7224fd908eeb","datavalue":{"value":{"entity-type":"item","numeric-id":3218105,"id":"Q3218105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcd495b2ba940a0fbdc99fa73bc79228d296a9ab","datavalue":{"value":{"amount":"+0.8668299913406372","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":"Q3028968$CB304A2D-33E3-46F0-9259-1482224148AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2afcd6f189de392ec90bd219141500ed09ff1cbc","datavalue":{"value":{"entity-type":"item","numeric-id":2715517,"id":"Q2715517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"596a77b2c91a847f590cb5521a4fddd165b7f02d","datavalue":{"value":{"amount":"+0.830670952796936","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":"Q3028968$A4187DE9-E81E-49CE-B47A-3F7A4626C95F","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":"732edeb35312be906cc1fa67b282547b9db95eec","datavalue":{"value":{"amount":"+0.8297314643859863","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":"Q3028968$7CBBF35F-F073-4961-AEB0-3C1C2607A2F7","rank":"normal"},{"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":"5409ed94f4d851ba7ec4a2b1b045f72619448280","datavalue":{"value":{"amount":"+0.8215024471282959","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":"Q3028968$E73BFB90-ED6B-4104-A37B-4754E42A23A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3028968","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3028968"}}}}}