{"entities":{"Q3989936":{"pageid":6019790,"ns":120,"title":"Item:Q3989936","lastrevid":47060752,"modified":"2025-12-31T13:27:17Z","type":"item","id":"Q3989936","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 35414"}},"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":"Q3989936$C1D86E1F-C0AB-432C-A537-F3320069F39A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce62857dc2a9430d6e7c314baad139580f3f117e","datavalue":{"value":"0745.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3989936$FA654F21-FD52-48A3-A129-C13B4C15BD51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc95965cf49dfa3d07b440b1790cabedc2634253","datavalue":{"value":{"entity-type":"item","numeric-id":229752,"id":"Q229752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3989936$CC22656E-A30E-4248-85C3-0084664929A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"120787504bea9565def539fb4bfb19084956028b","datavalue":{"value":{"time":"+1992-06-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3989936$42BE3F32-867C-43E5-85DF-B20942AAA45C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3989936$292D9A8B-2448-4915-B567-7FB114003C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3989936$D9205275-C6F1-44C3-A9FF-244E3154EC50","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a8f01cc6ea24369579d6cfc54f7ed6c9cd76355","datavalue":{"value":"35414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3989936$D80FEE64-FE35-4A89-8EB3-53B9A352B756","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad2ade8169cf5fb6da7a6d5a40f64f6f1abc5ab6","datavalue":{"value":"many-valued modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3989936$5A40807D-1FDB-4CB0-A5FF-EB9C8A67B961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3989936$E8C75EB4-D982-4E09-94FC-E8391C3B4C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"352b47832fb03100e25e83677864fa588dad4e8f","datavalue":{"value":"possible world","type":"string"},"datatype":"string"},"type":"statement","id":"Q3989936$3B74BE64-340F-4431-AD16-A076CA6A296C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5e4ca527cf1d17cef2946dbda77d837cc4f2091","datavalue":{"value":"accessibility relation between worlds","type":"string"},"datatype":"string"},"type":"statement","id":"Q3989936$37B0DEBC-DFB6-466E-A6BC-D08C361ADC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51009c7f4d688132062d7a98828fa1251b1d5951","datavalue":{"value":"Gentzen sequent calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q3989936$4A6A5348-85EA-47BE-9FE7-6EAD97E51FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3989936$FC2B29BD-FABB-4F0E-AA2D-299F8E7CC2F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3989936$0F1E58C8-DF4B-4FB3-B44E-F46624CC542B","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":"Q3989936$A09C9BCE-169C-4BBF-BBD2-36ED12E190EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0723a6f2b389f511a29724dc367dfec22ffbaedc","datavalue":{"value":{"entity-type":"item","numeric-id":4323041,"id":"Q4323041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b6193af8e135393ac47ff9bfa9cf82e905f14e5","datavalue":{"value":{"amount":"+0.8552914261817932","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":"Q3989936$3B67EC3E-06EF-4FB9-ABC4-8BB865FDC758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc5753dcdd9f583f454bfff39ed957cb53f725ff","datavalue":{"value":{"entity-type":"item","numeric-id":4022223,"id":"Q4022223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56b348162458b7a972011826d1910a0daa0243ae","datavalue":{"value":{"amount":"+0.8541125059127808","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":"Q3989936$4FEE60D7-0A8D-4EFC-8EE4-29344781E6A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dd38f1102f3b569c0a4bf4bff3d2bb00b51f52d","datavalue":{"value":{"entity-type":"item","numeric-id":3580668,"id":"Q3580668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf2b61fdf3855eec225523b741b062804ec077e3","datavalue":{"value":{"amount":"+0.8439530730247498","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":"Q3989936$8568F268-F705-411B-8B75-541200BC1F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f94d5ac1decfc00007c7212a8052cf03540d9c3c","datavalue":{"value":{"entity-type":"item","numeric-id":3809770,"id":"Q3809770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c378248d9d0e19da9c46f0f215f11dcf7cbaeca","datavalue":{"value":{"amount":"+0.8429511189460754","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":"Q3989936$D2082284-1EC6-4D61-8826-520A0A9BF41D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21e3c81954a2b23d8bc95849b86c3232a1273b36","datavalue":{"value":{"entity-type":"item","numeric-id":3032229,"id":"Q3032229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"973760537385de340b87a5465ef2ad0efe78001e","datavalue":{"value":{"amount":"+0.8405598402023315","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":"Q3989936$050EDD62-8DC2-4C99-B6DB-F1E64F7E81EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3989936","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3989936"}}}}}