{"entities":{"Q4854864":{"pageid":6884444,"ns":120,"title":"Item:Q4854864","lastrevid":47367700,"modified":"2026-01-01T13:00:11Z","type":"item","id":"Q4854864","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 817497"}},"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":"Q4854864$08A2D568-7BF0-4C2C-A787-616A3F653F0D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48852e6d802004f299834b6af37a4b789856528e","datavalue":{"value":"0829.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4854864$57D5F462-FB27-4BCA-B3E8-869ADACCEBD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"654a6d26c3970b2401c07b4a8e54bedf870f8ac1","datavalue":{"value":{"entity-type":"item","numeric-id":583190,"id":"Q583190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4854864$71EE384C-6435-40A9-B2BE-DEB90C035FF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"943d28705a1658a76b15a0358fa314658866e7c3","datavalue":{"value":{"time":"+1995-12-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4854864$1B7C2709-31AA-41CD-8BFF-95AA05C5C34A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4854864$C17A85D4-8977-48DD-9914-3974076C6B97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7161a78f20f7cb6e0f98b9042746f13f588fbdaf","datavalue":{"value":"817497","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4854864$D2494D72-AC09-41E3-B6A1-D8291834FE94","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"527def781fe17e70652b5ba1af79e59518042825","datavalue":{"value":"quantified modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4854864$45753132-7AF2-418F-99C8-F4D6E11994EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b6d81377bb9fe493e0b31a63d9717069578b5b3","datavalue":{"value":"normal modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4854864$3FFF5598-D6BE-4C3C-8B93-33D010625B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"666779a38fa937251fc61ea056c3be2b34fda746","datavalue":{"value":"Barcan formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q4854864$445B18FC-F5E4-4EE3-A14E-06E106E3CB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4854864$992C5FF3-EEEE-4E13-8464-56B30A36C101","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8c1a6a94dc6f409a1001bf601947c25349ecbd","datavalue":{"value":"Kripke semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4854864$A1B23741-A375-4A88-A36C-EC2ABD1F0D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"156bf20e40bcd86171c484eab69c44542bd31720","datavalue":{"value":"nested domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q4854864$A51144C4-AACA-40EB-979C-CA60001BA15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4854864$C38A2BC2-AAE0-47BF-93C5-D99DC3E6FC74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4854864$E62FAE51-A2F0-4CA8-989A-40ADAC62DD13","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":"Q4854864$83DE0F67-ED0A-4880-895C-381F2F7F838F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c994f67ff65012b45ca8fdb02e16e4bbca95650b","datavalue":{"value":{"entity-type":"item","numeric-id":583191,"id":"Q583191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"935685f7f57b55ffdb800aa844587da8a49d539f","datavalue":{"value":{"amount":"+0.8868508338928223","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":"Q4854864$A6478B33-0483-48C9-9277-9CE77199AF20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff0f819e1aefdae72450970f513fdaf22d72ba62","datavalue":{"value":{"entity-type":"item","numeric-id":5198903,"id":"Q5198903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bb74ae0099107351695ad2b6eaffc9152d5761a","datavalue":{"value":{"amount":"+0.8020626306533813","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":"Q4854864$241966A8-6DC9-4913-9A43-1221C5741359","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1f000b61859c98a73965d1a75541e1dd88f938c","datavalue":{"value":{"entity-type":"item","numeric-id":4451729,"id":"Q4451729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ecd7d724948a9a0edd5fd57f4a68f6572003113","datavalue":{"value":{"amount":"+0.7923751473426819","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":"Q4854864$60BA5513-EDA9-4759-8CF2-696D3768BBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7fc59a700b860ce63f83abb2eddbf4c1a3f70db","datavalue":{"value":{"entity-type":"item","numeric-id":3781735,"id":"Q3781735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c2d38709255bcddaab371ec644dd85faef74840","datavalue":{"value":{"amount":"+0.7896977663040161","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":"Q4854864$03F771B2-5920-483E-8C64-F6408B256D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d48c36add58519433ad999f91a60cb11d55569c0","datavalue":{"value":{"entity-type":"item","numeric-id":3542104,"id":"Q3542104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83aa7eaf89c0800bb9b889848edb24d3cb6cff04","datavalue":{"value":{"amount":"+0.7796671390533447","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":"Q4854864$7818B28B-62A8-4A3C-B8E5-E6AA4B38C934","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4854864","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4854864"}}}}}