{"entities":{"Q4385349":{"pageid":6414948,"ns":120,"title":"Item:Q4385349","lastrevid":46530354,"modified":"2025-12-24T23:45:27Z","type":"item","id":"Q4385349","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1140579"}},"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":"Q4385349$98296A98-6477-4F93-AA8E-045F178EDB1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0983f2c63a99e15f8faf225c833e0049eba28388","datavalue":{"value":"0902.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385349$32019FEA-4F2B-421F-8B45-EBD0B13E6737","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4bfdbc4a2ad3e39f1d3ddf9a7cce10575529b4c","datavalue":{"value":{"entity-type":"item","numeric-id":516416,"id":"Q516416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4385349$8AA81F16-25AF-4531-A3B7-E1506381977F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"72a1a598913095dde79e21dbf23a519334c405da","datavalue":{"value":{"time":"+1998-04-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4385349$AA83050E-6A1B-44D9-AAFA-ECBE82B93648","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385349$6F94B2EF-6813-4932-8DED-31631F54259B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385349$7D758AC0-8068-4E06-B8C7-BC6F402072E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385349$C36BB043-5ABA-4560-971E-D3F812C41E91","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0f716ea59507d59020a187c06028e1aa03266a0d","datavalue":{"value":"1140579","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4385349$6C78D05D-C72E-4407-95CA-407371527A45","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385349$E44019D9-F852-4CB8-9134-A99D75003AC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e75443cea296f2cb6de65218b8fd7b6f025bd87","datavalue":{"value":"strong negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385349$FBF5383D-B3E2-4B4E-970A-0D9686BBE75B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46c32598835807cd6e68be410be57ffe1ac468b7","datavalue":{"value":"constructive modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385349$6220760F-8223-4A30-9DB9-B88505CC613E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d0c572152c209ec46b7652df8ec2a7bdf834d4c","datavalue":{"value":"logic of constructible falsity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385349$BC22FF52-63FF-4BC2-BA17-ED8F4C4C33D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea9d919d165bc363679b58694930125e154d20e","datavalue":{"value":"Kripke-style semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385349$1135765E-7F10-46E3-A863-57E91FC909F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385349$A025C99C-CDD4-47A0-8C51-E3DBA7A4ADA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q4385349$E1358FA5-3991-4065-A577-B63EC01D8440","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":"Q4385349$D9FD7762-B3B4-4A14-BB15-08AA099DF25C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f18198ece92fa70dd263ef8d237ba05912b31a","datavalue":{"value":{"entity-type":"item","numeric-id":3549311,"id":"Q3549311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"544be7a91265c386c977156a8c33b0505db35525","datavalue":{"value":{"amount":"+0.8748664259910583","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":"Q4385349$81849738-C747-4B5B-9E45-B6CAFB4F8639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5895df49c0eac7c40b39c023ceea80503bf50939","datavalue":{"value":{"entity-type":"item","numeric-id":750417,"id":"Q750417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05fd7e9c5d9a61e4b2442a527a2c5656082c70e9","datavalue":{"value":{"amount":"+0.8057151436805725","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":"Q4385349$8B5022B8-EA31-44A8-B6F1-4743964829A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2db463f0914242d1d85cf085e01464e548f99146","datavalue":{"value":{"entity-type":"item","numeric-id":3312200,"id":"Q3312200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16c467015793775741c1d1798909f317ba7026a3","datavalue":{"value":{"amount":"+0.8051519989967346","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":"Q4385349$C8251296-3CAD-4298-BAA3-BA827C30FAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25a9e916093923c1ab582cec6a5ba1479d0cfa69","datavalue":{"value":{"entity-type":"item","numeric-id":3812241,"id":"Q3812241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6591abf45ebb89c4e67a46b34c050dd14096cb91","datavalue":{"value":{"amount":"+0.8003833889961243","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":"Q4385349$92AD5B4F-EE97-46B0-ADBD-9D47A1E2DE8A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4385349","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4385349"}}}}}