{"entities":{"Q4450440":{"pageid":6480039,"ns":120,"title":"Item:Q4450440","lastrevid":48238879,"modified":"2026-01-04T02:00:39Z","type":"item","id":"Q4450440","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2042611"}},"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":"Q4450440$89F8EEE5-BA1A-4489-962B-980C963AAC80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2194bef2a991389f265de15427c7a8fa5485306e","datavalue":{"value":"1042.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4450440$769733BF-88EC-41BF-B169-07F50AECEB8C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"377ea72ecee982e1dcddee303e9fb3aea539cf87","datavalue":{"value":{"entity-type":"item","numeric-id":592080,"id":"Q592080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4450440$0FAADDCB-58B7-42B4-8A1A-9A4F9A0C3709","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09443cfab6fd5785ecda7e07fe946f107bfd3fa8","datavalue":{"value":{"time":"+2004-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4450440$7A719FF3-0B0E-4476-8479-6ED7542FAE7B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4450440$925ED166-080E-42D6-965E-6DE86B2D305F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0deb5162cb6d1b6c5c2c70e2654fb16a2dc0105f","datavalue":{"value":"2042611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4450440$89773AE3-E96A-46AD-8F5C-4C6A3D7511B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82f58749215346b108a3924805b4196cdbb9ed80","datavalue":{"value":"nonclassical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4450440$F54D219C-413D-4DE5-ACF5-D5094D690412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4450440$E66899FD-624F-48E1-AC8A-0CD204999EEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ea9d919d165bc363679b58694930125e154d20e","datavalue":{"value":"Kripke-style semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4450440$A591FC8F-15A7-4DEA-9EF8-4D8DB07BE6F2","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":"Q4450440$A45BD130-4EFF-4EB8-B271-93B1DFA2BB73","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72a42fe5b10cd7a85cb73b625a16f6530f794c72","datavalue":{"value":{"entity-type":"item","numeric-id":2385426,"id":"Q2385426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a77028f1384d83ed345e21aae2e19d0a6cde89f3","datavalue":{"value":{"amount":"+0.8646994233131409","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":"Q4450440$86A56C9A-0A29-4F99-BAC2-425197F5D3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af54a7870ca0d13931e6592961d66440dbdf3adc","datavalue":{"value":{"entity-type":"item","numeric-id":4380155,"id":"Q4380155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b437474b7ff2f25465542db19a05dcd618ba25","datavalue":{"value":{"amount":"+0.8588336110115051","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":"Q4450440$78DAAF73-1D1A-4985-B0FC-6B4C3251A048","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c99f4be2e494ef6df6a66e4bc9b2f2d793a701a","datavalue":{"value":{"entity-type":"item","numeric-id":4732137,"id":"Q4732137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69ec692f710c497ccdfff725185c6b589b32a79f","datavalue":{"value":{"amount":"+0.79118812084198","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":"Q4450440$7FEB7A03-51C0-46DB-A3E2-025A9B7C1BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1b8581def4aa3d738bd5fbefb5a88e7801cd03","datavalue":{"value":{"entity-type":"item","numeric-id":3795648,"id":"Q3795648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2208dabf5ea6c5027e9e754716519a9549ac8db","datavalue":{"value":{"amount":"+0.7803377509117126","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":"Q4450440$C7A0E103-526C-4EFB-8056-E06F2AB811CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22765ac8ffb85a071291794fae9576134e29d4fe","datavalue":{"value":{"entity-type":"item","numeric-id":5956945,"id":"Q5956945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21dea80d23040f99c1b0143e03aa07b0e9d6288e","datavalue":{"value":{"amount":"+0.7787824869155884","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":"Q4450440$D5CC9B09-7A76-4C2D-B54D-685D7D4FB5A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4450440","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4450440"}}}}}