{"entities":{"Q4803959":{"pageid":6833539,"ns":120,"title":"Item:Q4803959","lastrevid":48081709,"modified":"2026-01-03T14:10:36Z","type":"item","id":"Q4803959","labels":{"en":{"language":"en","value":"A deductive-reductive form of logic: Intuitionistic S4 modalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1895881"}},"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":"Q4803959$680E6126-53B0-4DCC-9E78-12B46EE49081","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d1e24d5b6daf25d1926648ffd30fe40e39cf471","datavalue":{"value":{"text":"A deductive-reductive form of logic: Intuitionistic S4 modalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4803959$F99F0C03-2E90-4408-99A8-13EFD18FB3EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a912086963a0e00ed9260d47783a22a001fddca2","datavalue":{"value":"1028.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4803959$9C53783D-4E08-4306-BBA9-D92959634415","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7a2a013e36145e37d60daa3f4c3f4954e16ec4a8","datavalue":{"value":"10.12775/LLP.2002.005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4803959$EC07C04A-4BCA-4D89-BC5D-A5239A3FCD9D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9af8735040670b2c29edc2ed73ce59b6f6a38c6f","datavalue":{"value":{"entity-type":"item","numeric-id":656568,"id":"Q656568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4803959$14D9A5F5-1AA8-433C-8EEF-7EFAFECEB2A8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02a7550770f278a5ae7822f33ceafd222bb55c95","datavalue":{"value":{"entity-type":"item","numeric-id":2725723,"id":"Q2725723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4803959$77B99590-4C97-4FC1-8252-11C286478B48","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9dfc5e64288531cd390628a54589b6c7824785d","datavalue":{"value":{"time":"+2004-01-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":"Q4803959$13AEA669-827B-47A5-A160-C1D665271F78","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4803959$D2B59067-A8FD-4503-82D5-178D9D404EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4803959$D1978932-ACDE-47AF-A3CA-5BFB432C14C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4803959$D9C29A9A-F5BF-46CF-955A-80F74C014E9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e6627291d6ae718b516ceebdc1626c90ba627dc9","datavalue":{"value":"1895881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4803959$CF7CEDFE-2E34-42BE-8637-2C3E9C49E8D1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3578d160346725a37a40ba7f841386c8002f95be","datavalue":{"value":"definability of modal operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4803959$CC14EB2C-FD7A-4DFD-987E-6DBADF7836AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4803959$5C10701C-43E7-4446-8A3A-97228E99F930","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":"Q4803959$9B3BB23E-3815-4C15-B854-127D134B2A25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a3f24c8b3343b08f69b1e1254dc5910bc0a93b5","datavalue":{"value":{"entity-type":"item","numeric-id":4803958,"id":"Q4803958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"536a2408692b930e8af92ea0b5f182487e1eb3b4","datavalue":{"value":{"amount":"+0.7959705591201782","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":"Q4803959$0E61F572-1919-4C8E-857A-21546D5D85FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352257cf796302043f14803cdbd955d135962283","datavalue":{"value":{"entity-type":"item","numeric-id":3726084,"id":"Q3726084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de2414ef1997768cf1a7c4bf5fe94fe3474ea87b","datavalue":{"value":{"amount":"+0.7846686244010925","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":"Q4803959$E0CE6585-34D2-4F5C-AE81-3B855CAD083E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72e3133a63b7ad0f2d0d95e51275362cec037faa","datavalue":{"value":{"entity-type":"item","numeric-id":4229378,"id":"Q4229378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71f87badc2e95b1011120400c89e2707cffb1b5f","datavalue":{"value":{"amount":"+0.779589831829071","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":"Q4803959$DADAAB1C-D8B4-4E1E-93D1-462A79858DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa577837323dba6d3743f445f82119f1c8bf8da8","datavalue":{"value":{"entity-type":"item","numeric-id":4942002,"id":"Q4942002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71f87badc2e95b1011120400c89e2707cffb1b5f","datavalue":{"value":{"amount":"+0.779589831829071","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":"Q4803959$F0A61A9F-7ED3-4B24-85F7-262BA85789F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7a425545a6165a7e05ea8b587fd6c93bc66bf51","datavalue":{"value":{"entity-type":"item","numeric-id":1099162,"id":"Q1099162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d71054ce2d488b09d3654c0efda4fb1c57dde0c","datavalue":{"value":{"amount":"+0.7728201746940613","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":"Q4803959$93C0B9A1-325B-45E7-BD30-5F36DFA4034B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4803959","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4803959"}}}}}