{"entities":{"Q3800001":{"pageid":5829907,"ns":120,"title":"Item:Q3800001","lastrevid":53202056,"modified":"2026-01-24T11:06:35Z","type":"item","id":"Q3800001","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4066840"}},"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":"Q3800001$9749FF3C-D37F-4559-9AA7-24086D18B32D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52f6182d596afde976498ed6113c67bd5154ad6b","datavalue":{"value":"0654.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3800001$41293068-A1CC-4588-9CBB-7D97AFCF3E1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5d81225bab06711ff25835b9a7685484694bbb1","datavalue":{"value":{"entity-type":"item","numeric-id":266879,"id":"Q266879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3800001$7F9FC1C7-C323-433F-ACD6-5A35B612CB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb34c0f0dfb2eb4c6f3a6a5df96c0159936e52c2","datavalue":{"value":{"entity-type":"item","numeric-id":302221,"id":"Q302221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3800001$EA41772A-9BF8-4B98-9376-82B34B6FF2C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q3800001$9A26E1FC-A784-41A7-9727-0DA15C9948D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3800001$15C505D6-5CD5-4919-9375-182C22DAB64D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3800001$069D2B1A-CD9C-4C6F-8984-8E5F9A494CFB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbe9e42b758e933c94b6aabc1963386e7ff9d0b6","datavalue":{"value":"4066840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3800001$E91A4767-677E-490F-A6F4-3298ECD8F3A2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"52dc9b761300c8e9aaf43e18e4a48bb8f1af2ed3","datavalue":{"value":"deduction method for propositional modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800001$1016DE8E-B71C-4632-8A7B-03C65E3E4ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c944089ebd99d6195538b901db0229fcb390018b","datavalue":{"value":"resolution principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q3800001$4F7AC294-E412-4C88-B73E-976ECA6F841C","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":"Q3800001$4BFB0E27-85DD-465E-BF61-13567F106DFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e550364eced27e5c679bf63a38fa3b5f2670256f","datavalue":{"value":{"entity-type":"item","numeric-id":1113888,"id":"Q1113888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e393d898fa6b1660a99a487b1d8b9f4861fa77be","datavalue":{"value":{"amount":"+0.8495845198631287","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":"Q3800001$7C4FA1C3-52F2-497D-805C-C2C95A48ED74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d1d80adb4ab2194e4452b04d533da571ab5ea96","datavalue":{"value":{"entity-type":"item","numeric-id":4539149,"id":"Q4539149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7ef74651f9897b220dc8e54c307eb6788a67d27","datavalue":{"value":{"amount":"+0.8438246846199036","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":"Q3800001$1E0C1F76-B916-4980-9384-EC0B90BBB897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47b6bb9dc551ba9a220b7a51f14cd07bdd3a25b7","datavalue":{"value":{"entity-type":"item","numeric-id":3704917,"id":"Q3704917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f052b56ccaae39b9b480cb37dcb235d1aa1d4089","datavalue":{"value":{"amount":"+0.8390313982963562","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":"Q3800001$7A988607-44E7-4D5F-ADD9-402FA0FC9454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c34a816d843ad636333971f696c91c7c1a4e5429","datavalue":{"value":{"entity-type":"item","numeric-id":1118577,"id":"Q1118577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d1a023b158c2a0a75e311e86139a8f4cc9c4e2f","datavalue":{"value":{"amount":"+0.8389363288879395","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":"Q3800001$ED24D0E9-1793-4AA7-8761-0353B629F802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f7b269e781d4aa3c4ace2f7c3de9f877cc3c90","datavalue":{"value":{"entity-type":"item","numeric-id":4487263,"id":"Q4487263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b8a90d15a1eda0e4d0ebe9b9125b1d66f5a9402","datavalue":{"value":{"amount":"+0.8315765857696533","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":"Q3800001$6782BCD2-F8CE-45AC-827B-8C9192473007","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3800001","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3800001"}}}}}