{"entities":{"Q4038407":{"pageid":6068125,"ns":120,"title":"Item:Q4038407","lastrevid":55248256,"modified":"2026-02-05T07:26:55Z","type":"item","id":"Q4038407","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 169733"}},"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":"Q4038407$CBC6AED8-FC15-49E4-897E-9E9055FC1683","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"237788b433f0dd62759f7ad64a6651d779df442a","datavalue":{"value":"0778.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038407$19EF6C20-4C92-4BC5-B419-D3CF25713F39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9af8735040670b2c29edc2ed73ce59b6f6a38c6f","datavalue":{"value":{"entity-type":"item","numeric-id":656568,"id":"Q656568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4038407$01294337-F4A0-4FF3-B3CC-8B2F21827660","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1772b6c81a5108c06854e0de4518fb90e5a6ebdc","datavalue":{"value":{"time":"+1993-05-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4038407$CB3976E7-56AA-4471-AEAA-4E9404EF1930","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038407$E5B0DD20-F8A5-4835-9E32-DBFA64C75FDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038407$55BCF09E-6A2E-4A12-8720-A47BD18274F0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f6c74af83dad7b496c6e149372b19623f901c876","datavalue":{"value":"169733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4038407$CA6B8804-7474-4D6D-BAEF-CC7FE1331C9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a883cf85b4fcf094bf171181baa2577360b7d18","datavalue":{"value":"intuitionistic sentential calculus with identity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038407$EE5004A5-C867-4202-A851-7677228D4E74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0197d2bc15e799702e814555efcfa4661231ea2e","datavalue":{"value":"matrix frame semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038407$21A7504A-C10B-4575-BB1E-32651BBD01BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"352b47832fb03100e25e83677864fa588dad4e8f","datavalue":{"value":"possible world","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038407$EB699385-03A9-4982-96E1-6F0329F9A148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038407$B02E45F0-3561-4959-BD6F-7B6C9FC0FCE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5031443c1e06468bc1134461f9f7edba7ba1614","datavalue":{"value":"Grzegorczyk-Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4038407$93F959C2-2530-4E1E-801F-1154CC604DEE","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":"Q4038407$F167AB6D-BC17-4365-B512-C3D639084C73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a0f6acab23a0ef1c9df2510844c3229f06b6e54","datavalue":{"value":{"entity-type":"item","numeric-id":3491517,"id":"Q3491517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a083f07f18b20a00e119ac926e72d78920d73d5","datavalue":{"value":{"amount":"+0.8428075909614563","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":"Q4038407$8CF85D3B-A843-47CA-BBCC-B38C80289A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2d67d0b77c4ff93f7c9d9bfefb6c9f0f980261","datavalue":{"value":{"entity-type":"item","numeric-id":4039140,"id":"Q4039140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a92c3260cdf8fa4318149d2dcb35fe4bb4480fb3","datavalue":{"value":{"amount":"+0.8144116997718811","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":"Q4038407$9565E326-02E3-44BF-8375-298E06014944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35c13c942a5683a6c00644f8178d70e8321e482a","datavalue":{"value":{"entity-type":"item","numeric-id":5126198,"id":"Q5126198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4520191c986dfe7a45313f6b97ca8f8cb0ef6f95","datavalue":{"value":{"amount":"+0.7705885767936707","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":"Q4038407$177D7F33-1B36-474B-A2C0-05CCA73BEE40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b311106d65e6b1a885045817ffa70c2b2a761d6e","datavalue":{"value":{"entity-type":"item","numeric-id":3720568,"id":"Q3720568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cab2916add0713c630ea399b9133ffeef26eaa35","datavalue":{"value":{"amount":"+0.6888036727905273","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":"Q4038407$ACBCBC6F-42E1-4485-B160-635071483E67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a058fcd746c7089283bd55497ece760690c93ac","datavalue":{"value":{"entity-type":"item","numeric-id":2045003,"id":"Q2045003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d35fb6b637523e219d225d382096b01501a36879","datavalue":{"value":{"amount":"+0.6752451062202454","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":"Q4038407$B02C7BBC-58E5-4FBD-8B58-B7C3FEA50574","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4038407","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4038407"}}}}}