{"entities":{"Q3338233":{"pageid":3348941,"ns":120,"title":"Item:Q3338233","lastrevid":46000411,"modified":"2025-12-21T12:39:09Z","type":"item","id":"Q3338233","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3871342"}},"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":"Q3338233$C82CDF95-7E52-43E7-A4B5-14610FFC901B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b0e0ca728c119bf141a54ff6e3ebfdafe5acd946","datavalue":{"value":"0547.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338233$45E31F52-B273-4D46-95F7-E653D472B96A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3338233$7F110F9F-2A18-4C5A-A41D-C383FF1943D5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338233$7DA0CB95-B2DA-40A8-8858-B087570BDD63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338233$FD0D7316-2BEF-43C0-A478-0E659A3F8EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338233$5317E3DE-1F51-4DC7-BC73-AAC93B23062B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338233$81FFB8CA-5916-408F-A2F8-8E57675C5133","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338233$D55FDD47-A10C-4028-81F9-1293CF9F5B68","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08ac1720d51d87fe8e47d4a883cf8ba65857104e","datavalue":{"value":"3871342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3338233$01F3F398-16FE-4A24-AF34-EADE346992EF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"532c692d3799d0c26253c90fa133638c2392a501","datavalue":{"value":"tree expansion proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338233$2D19275F-DABE-4CF4-B220-9DDCB6513A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"816fe1e1d20b6985ac5dc7555ed114b5e3f58656","datavalue":{"value":"analytic proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338233$8ACAEF2A-98FE-4825-88C4-972AA38E4D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9feb88a81c9cbc7d767a2379c5c67c57c70b9929","datavalue":{"value":"non-resolution theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338233$F84FE155-FEB5-41B5-A11A-36A8F4A02B7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36e53bfe1a25c037445988bc8ff41fcfa09f834d","datavalue":{"value":"non-analytic proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338233$260581A5-DBCA-4D1A-9208-004B6C2DE203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338233$8996A120-1311-4668-9F54-A7673054897E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3338233$951A43A9-5F5F-4FEF-BF46-3A307E073F6B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3338233$8A2E12FA-F8AC-4D86-8AEF-9DDC1B56199D","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":"Q3338233$6DE13D79-C60A-401B-9303-6AB3F3FEE706","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f35a3da9b8c48822c7776bf3d68941d9b771216b","datavalue":{"value":{"entity-type":"item","numeric-id":3837732,"id":"Q3837732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e301afeeb0fabfd08f630f18a0a6012269685ce","datavalue":{"value":{"amount":"+0.91941357","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":"Q3338233$3F965337-B354-478C-A41F-F67DDF4D58B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db85fe8dea357b86f7fd48f9de9ea4901e373974","datavalue":{"value":{"entity-type":"item","numeric-id":5122020,"id":"Q5122020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d47685a5941ffb4d152cf6ea2238cb344ed32f9","datavalue":{"value":{"amount":"+0.91101915","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":"Q3338233$A550BA1E-A125-47DE-96C2-E1A4C2D058AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66cbdf17c00554a0684312b87779ec840118fff5","datavalue":{"value":{"entity-type":"item","numeric-id":3633204,"id":"Q3633204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dec1fe4726b67e4579a4a2e3b5900c5ac16a3e25","datavalue":{"value":{"amount":"+0.9109289","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":"Q3338233$B01AFF56-B2F6-4E85-8506-3721A0E311A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f66b7dbf40d476c591fd14cdfc4c28b3724a9f68","datavalue":{"value":{"entity-type":"item","numeric-id":4371509,"id":"Q4371509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee314e1aa8fe6ecb91fed857cf43e57b3fc81574","datavalue":{"value":{"amount":"+0.9109288","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":"Q3338233$BB8B377D-6F9B-44F8-9143-9DE0BA482FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77c9a58d8bd3b805b5ed4d6ceccaa9a044ce95a1","datavalue":{"value":{"entity-type":"item","numeric-id":850490,"id":"Q850490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"937fc05140fd4795c0865ee17fd5615615934da1","datavalue":{"value":{"amount":"+0.9075329","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":"Q3338233$9EEFE2C2-B5B0-4F31-A966-1AF38AF1A3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"909dd74eb015e4cf43cbbe0e1a9e5362acd31d43","datavalue":{"value":{"entity-type":"item","numeric-id":2799541,"id":"Q2799541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ac3c3b4fbc064f73645ae7d56f3ce05fd63a387","datavalue":{"value":{"amount":"+0.8977483","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":"Q3338233$1B21CDE3-AE43-450A-8476-7F096A6572A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6fc081a98040ffd9f11ae72b5885d72126cbd13","datavalue":{"value":{"entity-type":"item","numeric-id":4218526,"id":"Q4218526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"151cea38a365ecd6b08a2ebcbe337ed8a04817e3","datavalue":{"value":{"amount":"+0.89724624","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":"Q3338233$E93C1803-F76A-4CA7-95DC-CBF6E53E9BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1a453d691cc2226e61eee2360b01acf38fd0580","datavalue":{"value":{"entity-type":"item","numeric-id":3406688,"id":"Q3406688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789edce271d4f8b7f80fffe40d7e265196db725c","datavalue":{"value":{"amount":"+0.8825449","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":"Q3338233$E1C54EF3-58D7-4DCF-A689-28BB1016808F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a432594368fcba2619f87ebe60099216c0ee29f","datavalue":{"value":{"entity-type":"item","numeric-id":4366526,"id":"Q4366526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0ad2790e5ccae84fdf5d1b8e61e5f6941badee0","datavalue":{"value":{"amount":"+0.88095015","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":"Q3338233$6870D30B-A9E6-48BF-80A4-0475727922A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24a70bc6cfa2b82ccfcbfdaed961b004a2e77854","datavalue":{"value":{"entity-type":"item","numeric-id":5369802,"id":"Q5369802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f11629c248ce5a21d385cf6e277d23549caba5","datavalue":{"value":{"amount":"+0.8758166","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":"Q3338233$D14220FA-2C6D-4340-81D0-A0DFAC7CC767","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3338233","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3338233"}}}}}