{"entities":{"Q4246965":{"pageid":6276566,"ns":120,"title":"Item:Q4246965","lastrevid":41259985,"modified":"2025-04-25T20:23:38Z","type":"item","id":"Q4246965","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1301750"}},"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":"Q4246965$E7BF96B4-DF76-4FF7-8EB8-D2F282439DC5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28e5f92401c01f1810491c8e7d57ad19b45be9d2","datavalue":{"value":"0928.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246965$DD326FF1-DF8E-45AA-AE01-722C3A4A867F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"108d5b9d05cf97834387b26de87409dc747dc933","datavalue":{"value":{"entity-type":"item","numeric-id":226999,"id":"Q226999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246965$17872370-AD58-4A6B-8B6B-A1FBEEF70330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"005d114aeb1615d08a7c794411c1c99225217f7d","datavalue":{"value":{"entity-type":"item","numeric-id":4246964,"id":"Q4246964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246965$5B7C922E-283A-4F96-9CB5-DE4038F35DA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"195732dcabfbab6a027b397db48d9b246fab9fe7","datavalue":{"value":{"time":"+2000-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4246965$2186DB38-6815-4449-912D-C9D44BBA9B6B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246965$BB625251-2A69-48AC-91C1-B346D42C3843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246965$2F942240-28E4-49EE-8171-DF432E4D73B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246965$2A20F938-4B04-45D5-91B1-FE4B7D4735A5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a34f5ce475f22111ae9043add98bd57c4c162ebf","datavalue":{"value":"1301750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246965$A50DBA33-C6F7-4144-B017-95AD3874C137","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246965$6D24BCE5-52F4-4DD4-9085-D8B75F18CEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00c36053751b6bd9d4ef0bb806bc59df0d0e8029","datavalue":{"value":"refutation complete deduction method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246965$DEA69737-6354-49CD-BB03-9351CEBCBFBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"352e0e98b1946578a4d14d613a018d2c7e6139e7","datavalue":{"value":"finite satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246965$0DE6F0C4-926B-4DF8-8328-D7896E71F434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ca6addfe8bee707903287ae5b3c8b3de7623da8","datavalue":{"value":"existential quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246965$454AA827-BADF-4EFE-9A33-E2001D3B7ABA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c55b02aff260c82fbd1211080f1ad48c6d9aaba2","datavalue":{"value":{"entity-type":"item","numeric-id":18502,"id":"Q18502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246965$B4609385-CCD4-434C-95BB-EB7D22B84358","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246965$3947EBDB-BEAF-49A1-B9F7-D10CEB90BE9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246965$D9C79477-2A85-4BFA-AF70-FC3FC209F141","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":"Q4246965$D3B0F8BA-4274-4382-AE5B-AE3CB23B0DB0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b15dd97b7846e68dab05b7f34aece11a43c5184c","datavalue":{"value":{"entity-type":"item","numeric-id":3786024,"id":"Q3786024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae5f6dceda3ad56d81e70ad04adb105f31515379","datavalue":{"value":{"amount":"+0.9099516","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246965$4C08212E-EB33-46D5-B950-516B958484BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7b9d54880e7118b1519232491a471eb43c1cb0e","datavalue":{"value":{"entity-type":"item","numeric-id":685391,"id":"Q685391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ab4cc7a2128e08b2f9c15cd65f702c80d6aa0f2","datavalue":{"value":{"amount":"+0.90195554","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246965$897C20C1-1335-4A54-9B5D-BAF977982CDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93a8ca07be360716357edb360f85a7ed768dbd8e","datavalue":{"value":{"entity-type":"item","numeric-id":3817018,"id":"Q3817018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ad25bddff10c2587301f8aaeb87dcc56a1d683d","datavalue":{"value":{"amount":"+0.8897259","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246965$EE2919DA-33F4-4536-BB64-EB0BFC8D3EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7122627a1980b9a9372dca05b8a1de2ae1f9ea55","datavalue":{"value":{"entity-type":"item","numeric-id":4255135,"id":"Q4255135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4dc561c507213b2303482b75e00a4b5ea4ad3d1","datavalue":{"value":{"amount":"+0.8893807","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246965$066B6A5C-BDBA-4890-BDDF-EE8A8A56714A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3300315caebea1d75efab67bc0a04ca3d7c7808f","datavalue":{"value":{"entity-type":"item","numeric-id":4302847,"id":"Q4302847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"571724593197eb4b31e0bdf71336269d2450121a","datavalue":{"value":{"amount":"+0.87950224","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246965$E0E7135C-B36C-47BB-9EE7-EFB46BBB4A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d5afc117d198749309f0f075c80b53a4a0864595","datavalue":{"value":{"entity-type":"item","numeric-id":4683226,"id":"Q4683226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e96f7025b850e2f5849b55fc9342dca61883e93","datavalue":{"value":{"amount":"+0.87323785","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246965$6937A8D3-8D47-4205-803A-9E7530C088F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a029b91876278cf14be7394fcd63a6ea694d1ca","datavalue":{"value":{"entity-type":"item","numeric-id":6099618,"id":"Q6099618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e53aea1ce55a72456411001a7d6500e4eb59df9d","datavalue":{"value":{"amount":"+0.8715221","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246965$9F456356-65D7-424A-8D17-766E06092B0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5822ce399327b3d661239d498b3d772a9f8f0e8a","datavalue":{"value":{"entity-type":"item","numeric-id":4731166,"id":"Q4731166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ab0e24a67164759097e41c8f80239005d5534c1","datavalue":{"value":{"amount":"+0.868605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246965$289336E8-80C0-4DF3-963E-C47CD887C274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"430dd206dd8a23e4d6f9019a0a1e7772e4551c87","datavalue":{"value":{"entity-type":"item","numeric-id":4842629,"id":"Q4842629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c89d569254de4aaf7563e0330b1de67b543958f","datavalue":{"value":{"amount":"+0.86821496","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246965$4F3F051E-4A2A-47F4-AC8E-1175023C882D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"976f6bfeefc2d3ac1125a9d7ceceac0920db7baf","datavalue":{"value":{"entity-type":"item","numeric-id":4537505,"id":"Q4537505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87a1a12b250a03cbdefe310a86dfde06750cb95b","datavalue":{"value":{"amount":"+0.8676564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4246965$9AA0149C-4A3B-4094-8241-440FF7E78845","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4246965","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4246965"}}}}}