{"entities":{"Q3972527":{"pageid":6002426,"ns":120,"title":"Item:Q3972527","lastrevid":47047306,"modified":"2025-12-31T12:18:13Z","type":"item","id":"Q3972527","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 15881"}},"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":"Q3972527$B604CEBF-13C3-4F69-91A2-1D1732FF57A9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d982832aaa0114cf85232cf6f7c52d27cede9014","datavalue":{"value":"0739.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3972527$E350EAEC-252E-4F4D-BD1B-05B169B37E0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3f790682a6be4cc1f3210e15eebe1d6cc5ffbc2","datavalue":{"value":{"time":"+1992-06-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3972527$A308A576-1C13-4D3D-BD79-8426A0C97679","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3972527$E8987488-E370-4408-A173-5651B3D6AE02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3972527$CAC3865D-DE41-4E30-BD0A-C16DA540956F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3972527$08264801-2177-444F-9B41-030FBB9DF47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3972527$C26E85BD-DFDB-45C5-8D82-8032F62C7BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3972527$3B7770D8-D327-476F-8AA4-9C50B3D16E29","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"23324d721c9e4385f875ec597bfeccedf3c4799b","datavalue":{"value":"15881","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3972527$E28F9DA0-623B-4F8F-8FAC-F7BCDDF4444F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"df9e6d339ad1a3779f5f87f80dec9abf263a0240","datavalue":{"value":"resolution rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3972527$D0EB77B0-97A7-4F1E-B7D8-BACBF3F0CE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0ca106ef01d8fec4153d4b404b5a0c354d8066e","datavalue":{"value":"propositional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3972527$5FEB8FB6-B32A-4F47-8983-D200CBCD6A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25b55b5e586dc19df3798c27bb814c03c0da66ef","datavalue":{"value":"resolution-type calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3972527$63BAA5BF-F901-4C2D-8886-886E705828C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3972527$CD8BA16F-9DAA-4D42-B5D9-7334C6AB20B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3972527$64309107-20E6-4A3B-AEF4-E7D6DA5E8E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7dd61fa2f06840a90c5c68aaec7824aab8a7f5b","datavalue":{"value":"clause normal form","type":"string"},"datatype":"string"},"type":"statement","id":"Q3972527$84902FCE-AA4D-45C8-9C78-4353DDF6CF7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3972527$4E49E892-5946-4A27-A686-E83555BEFA1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3288862f50aae52706ec04e5fcf181c2e2069e28","datavalue":{"value":"extension of Maslov's method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3972527$38096435-1F7C-4BC1-9DD4-8919EFC9A204","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"739bb59f926e46bf270e3affee77bc2ef6969661","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3972527$1F0605E6-3C92-4657-BCBD-12FB7505B2AD","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":"Q3972527$6415ECA3-B8D8-4B4C-AA7D-BA06EE885BC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48a4e3e06fa8f5fa1613e3a0e750e25d9066b72c","datavalue":{"value":{"entity-type":"item","numeric-id":4281258,"id":"Q4281258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dad4efa41b3a235285f0144ef24bfe23cd4c7f78","datavalue":{"value":{"amount":"+0.8787224292755127","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":"Q3972527$96D2697B-E02E-4584-8356-57637FB18293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"226ca6b8563252dc602290f45d5a3188fbacf2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3791114,"id":"Q3791114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0df2609b8f7e6cc6d0d1aa80a9b44fe608d7d4b8","datavalue":{"value":{"amount":"+0.8766918778419495","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":"Q3972527$FC77126D-56E3-4A68-A068-510C2047397B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30486464e2497138c9c191e0275ecf105f966762","datavalue":{"value":{"entity-type":"item","numeric-id":1311413,"id":"Q1311413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e4a14e7d88e00f9d8aabf9638090d3fca713f35","datavalue":{"value":{"amount":"+0.8523480892181396","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":"Q3972527$080BB373-BDB8-43AF-BFF0-E01D2CC754DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93c080708c3bbeeffbe569dfaf09fc9efb27ce99","datavalue":{"value":{"entity-type":"item","numeric-id":4312461,"id":"Q4312461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2a5a23493d67564944e8d354df4fbbe477cb05","datavalue":{"value":{"amount":"+0.8506700396537781","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":"Q3972527$13FDF538-15A5-4F3D-955A-F5D4E34B1FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7bfd9cacfb382743e4e8b8fba5485149f15e1ab4","datavalue":{"value":{"entity-type":"item","numeric-id":3768867,"id":"Q3768867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86372fd16ac1884824b263dd9110e43ef62fb6a4","datavalue":{"value":{"amount":"+0.8355073928833008","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":"Q3972527$20C5CEB7-265D-46CD-B0DD-8C363DB624C5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3972527","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3972527"}}}}}