{"entities":{"Q4732137":{"pageid":6761714,"ns":120,"title":"Item:Q4732137","lastrevid":49314853,"modified":"2026-01-06T23:01:16Z","type":"item","id":"Q4732137","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4117898"}},"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":"Q4732137$9E8F6367-8327-4304-BF8D-79BBF0BCFD2D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fcfa77183752ee06a14c15211a9021b38ec382dc","datavalue":{"value":"0682.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732137$A9DAF485-0D1E-4E01-A688-E529E304B200","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c7b46c67dbd8bd5714492fb04e149e4af52201c","datavalue":{"value":{"entity-type":"item","numeric-id":1181719,"id":"Q1181719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4732137$3B061F94-DD01-4F0B-97EB-57E8FB652A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08f452dd10475ed326d4c41dd987525617da8fa2","datavalue":{"value":{"entity-type":"item","numeric-id":805614,"id":"Q805614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4732137$FDEB56CE-14AE-4A78-AB6C-43ED1EFAAE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d56eee76cc68923f40cf5d662eafe557e3cda46d","datavalue":{"value":{"entity-type":"item","numeric-id":452354,"id":"Q452354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4732137$E11A4162-5057-4D93-96B0-B5CA7E0A725D","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":"Q4732137$07E0360D-804D-48E6-B224-6D23B9167AA4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732137$30C726B2-E5CD-4DD6-8887-FE1EE14338A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732137$E709341A-5F13-4566-BD7E-70A8441CCD7F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"144f0641099cbf94beea5551342ef64c85bff258","datavalue":{"value":"4117898","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4732137$83DCBE5F-FCD4-41A3-8B8D-BA1770277A99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc0a06ffadbc917396a626e33a9a5489bfbfb917","datavalue":{"value":"automated theorem-proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732137$07C54B8F-D424-4AE0-9093-B0E347CC0185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c92926836d113aee1a308ad83e72230bf6a493","datavalue":{"value":"non-classical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732137$DBFD3A22-7442-4A2D-BC19-C610FE7C3430","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4732137$4D85709D-638F-4AD0-9EDB-4D6E65778EBB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ac8154d930337e59665641772148e0b064b4cd11","datavalue":{"value":{"entity-type":"item","numeric-id":13904,"id":"Q13904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4732137$814F40AA-75E8-4B53-A555-4D48677A289A","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":"Q4732137$F96EBB95-B5AF-4EE5-BE72-BB7F8B4E9099","rank":"normal"}],"P1643":[{"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":"9234d86e19bab424ad4f87cce790c8b4a7713a20","datavalue":{"value":{"amount":"+0.7926419973373413","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":"Q4732137$671C1827-6B4D-4BB7-8CBE-6024A10295C0","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":"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":"Q4732137$1B38BC59-7050-47B9-808F-E1E95DB4DB92","rank":"normal"},{"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":"f187768500b125b846d01886d1012ff854456d80","datavalue":{"value":{"amount":"+0.7873507142066956","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":"Q4732137$C7C7BC96-9768-4965-8011-D18D6BB1D393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5331b37b95be4ebbbb648e9bfd870d3a37599806","datavalue":{"value":{"entity-type":"item","numeric-id":1379289,"id":"Q1379289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ef583af662212a461d1eabfcc17ebbc33d4160","datavalue":{"value":{"amount":"+0.7845272421836853","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":"Q4732137$38F24823-D927-4E46-9623-41C50625A8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"100178c2235a4ac39db9f8fba237cc897c7bbd3a","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bafb459a301f054a522de0bb9605bfd2d65b57b5","datavalue":{"value":{"amount":"+0.778573751449585","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":"Q4732137$57C09DCC-95B1-4606-8CE7-7656B2A82103","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4732137","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4732137"}}}}}