{"entities":{"Q4249899":{"pageid":6279500,"ns":120,"title":"Item:Q4249899","lastrevid":46835931,"modified":"2025-12-25T16:52:28Z","type":"item","id":"Q4249899","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1303346"}},"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":"Q4249899$4E8E4274-93CF-4F68-9289-223E4F4D9585","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1436712b5ea3008be20932e1b9bcf3d8a47e9c2b","datavalue":{"value":"0928.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249899$275AAFCF-BD02-47D5-A82F-0FE41CF47A55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6058975aebcb06f50e61b28c434fa7404d9c6466","datavalue":{"value":{"time":"+1999-06-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4249899$288D3265-B042-4F05-9DE4-F691B03FCAE8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249899$0F68F7D5-8969-4339-B4E7-D311F7263B87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249899$4598B0A9-D376-4EE3-BAC6-DF488C3E1DD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"986d2e4c5a3cfa44eef23438b7de289b2c42d967","datavalue":{"value":"1303346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4249899$898C6C09-8C0F-43EE-9840-FDBA391DCB5F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249899$CF9E0C54-922E-4549-B2E1-F745FBFB1BC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82f58749215346b108a3924805b4196cdbb9ed80","datavalue":{"value":"nonclassical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249899$E959F94C-6681-44B9-B44B-8368945D38BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf117cea3bbc1a9cb9a90e46afe948e0fcf17748","datavalue":{"value":"semantics of connectives and operators","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249899$C9662D7A-8232-4F51-AFD0-9261406917E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4249899$39454FC2-569B-4A1C-8A4F-6E08D189634C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ad85fd0db6467d71e74313095d444d398003ebc","datavalue":{"value":{"entity-type":"item","numeric-id":1097715,"id":"Q1097715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4249899$8D52CCEF-42B4-4760-8C04-3DEE3A73BA1D","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":"Q4249899$53158689-45D2-4819-ADC9-D1CC5C9C940E","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":"0e46f11c02e405c6a037d9ccf25ff3c2030dfc42","datavalue":{"value":{"amount":"+0.7179940342903137","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":"Q4249899$2D77755E-FE71-4B89-BABE-C26595B5AB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9db09a7fb68a35978bf8fa26d9ca51fa460cb0e7","datavalue":{"value":{"entity-type":"item","numeric-id":4450440,"id":"Q4450440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a7167566ffda79f0e5e01059682979df02e229f","datavalue":{"value":{"amount":"+0.7062264680862427","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":"Q4249899$FD9F9663-229A-4E60-B560-B58E938AA3F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93c080708c3bbeeffbe569dfaf09fc9efb27ce99","datavalue":{"value":{"entity-type":"item","numeric-id":4312461,"id":"Q4312461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"136505a3340e2fb099d6f1d86122e11bf2298e6a","datavalue":{"value":{"amount":"+0.6853593587875366","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":"Q4249899$A989AC25-230A-4BEF-8B41-5457D5153BD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a1a2c4792d537cd358d40c69db6fc45a56b8cfe","datavalue":{"value":{"entity-type":"item","numeric-id":4291871,"id":"Q4291871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac5f9baddf0998fa71bf62a8730053faec36d306","datavalue":{"value":{"amount":"+0.6844319701194763","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":"Q4249899$9CBBC175-8C6D-4D9B-A7D7-F2E33C3334E3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4249899","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4249899"}}}}}