{"entities":{"Q4205440":{"pageid":6235041,"ns":120,"title":"Item:Q4205440","lastrevid":49331263,"modified":"2026-01-06T23:43:47Z","type":"item","id":"Q4205440","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4125400"}},"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":"Q4205440$87E74180-9EB5-4CEB-BFA8-866853FF62D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b69a215403d0f69149966bb1f6a25b76017cf758","datavalue":{"value":"0687.03036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205440$AD85EB8A-9E42-480D-A0FA-1757B432CBD6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4205440$D5422343-BEE7-4FAE-8512-E5F500ADCB67","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205440$BBC4D4A1-706E-40CC-B4C5-3E0E276CA21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205440$FD523E85-5016-491C-8853-627CC8A1B515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205440$195910C0-029B-469B-933D-9410F27F5606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205440$8CD9A62C-B519-4696-91FB-E9A756336254","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6475c6312c7092398ba2e00fe5b7ce25ba635e66","datavalue":{"value":"4125400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4205440$E4087F04-A90F-4FF4-BB03-1CB2944025A3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1a530ebebfe9d67cc01e23074092169ca8f759","datavalue":{"value":"model-theoretic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205440$FE6B57E5-5DF8-4EE4-A55A-A981887EA00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"847b475fbe533bf4328c09aa24b36e58823081dc","datavalue":{"value":"computational problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205440$1E85636A-43E6-4A40-B47E-BD051AC66AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49622c6f787c79dde83ba52ff1928f43bda9592a","datavalue":{"value":"intuitionistic propositional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4205440$F354FE9F-F7E5-443C-B565-ED010FE6AFE8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f77aa9981ae6690e559660487e9993c7adcfdc1","datavalue":{"value":{"entity-type":"item","numeric-id":1326779,"id":"Q1326779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4205440$38B250B8-8DDD-486A-9A31-B1D8B44B5AF4","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":"Q4205440$56B2FD14-D6C8-483B-81A2-F36AC822CF89","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff6f80817dd96a065d2f8283c26187a08a010d9","datavalue":{"value":{"entity-type":"item","numeric-id":2373697,"id":"Q2373697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21841e00333dffcb1fe145b4de1f177893961679","datavalue":{"value":{"amount":"+0.7881766557693481","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":"Q4205440$1AB3F9A6-6E0B-4C4B-B84C-1A5211D27AF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1441ddcd38c4948253de1c29128ef26c2de37994","datavalue":{"value":{"entity-type":"item","numeric-id":3820599,"id":"Q3820599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8327b41d51931a22f2f5364ec365cb6f505578d","datavalue":{"value":{"amount":"+0.786189079284668","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":"Q4205440$7C1B4BBD-0BC5-4DE7-8DF2-C48DA16607AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364643b58367198f9b03efd825af0b7e13fa00eb","datavalue":{"value":{"entity-type":"item","numeric-id":1820768,"id":"Q1820768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46481fb7b7cce9d6b78bb819aa1d080220736f6a","datavalue":{"value":{"amount":"+0.7851094007492065","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":"Q4205440$5AB23D37-0D27-4194-B228-365ACA0E3680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4be32e5189528300d9df370552fde8bfab872da6","datavalue":{"value":{"entity-type":"item","numeric-id":5422557,"id":"Q5422557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9e4fb181d13a52ec8213caa0309a7beb2332547","datavalue":{"value":{"amount":"+0.7849643230438232","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":"Q4205440$884A4121-AF6C-445E-8FCB-BC0E1FDE414E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cae299b78fc0bf1394dcf3a1b3c49e5c0979a1","datavalue":{"value":{"entity-type":"item","numeric-id":3973194,"id":"Q3973194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4160a681f5ae8bffa8b91aa88833ecc98acf8689","datavalue":{"value":{"amount":"+0.7843289971351624","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":"Q4205440$C266CD81-42B5-4578-91B5-AA5E1F04B349","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4205440","badges":[]}}}}}