{"entities":{"Q4430633":{"pageid":6460232,"ns":120,"title":"Item:Q4430633","lastrevid":41146711,"modified":"2025-04-18T12:28:59Z","type":"item","id":"Q4430633","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1990014"}},"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":"Q4430633$A9095115-BED4-4295-A05A-FCAC5DA1AC7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fcc133c1cae2769a2dfff7d6eed6dae3bdd36e4","datavalue":{"value":"1031.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4430633$0D112E8F-91DB-4764-A430-C51CB4303D81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4430633$459A15BB-90C6-4AF7-AB23-41EC1F6F6305","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50580e3cf53840e6990291aa6d33fdb5b6d804f1","datavalue":{"value":{"time":"+2003-10-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":"Q4430633$1FD631A3-E18E-4A7B-B707-464B46F14C1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4430633$3F2C9672-91AD-43CD-A584-4BF6869EAA4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4430633$EE89155A-D8BF-487E-927A-8F0591294217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4430633$C810AA9F-C97E-48FE-A8C4-1F0F7D15AA4D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"632204485f80457c81d27d5894ba12d1fcdc3840","datavalue":{"value":"1990014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4430633$D9F50E26-9710-46FA-8CAE-10FF585E5984","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"744fd5f6b592344bd2a87ac1816bb7847861172e","datavalue":{"value":"equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4430633$6A2DE2BD-7FB9-4EA3-B702-0E3E1D9860A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92b6ce7256f158fccc871a3253f31a6bccdb9e2c","datavalue":{"value":"paramodulation calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4430633$9C5C7A7E-28EA-4FCA-9A56-53F377CBCA62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"558a2efcf5839176ad06dc9f495ce6fc11963b33","datavalue":{"value":"ordering strategy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4430633$C40DF93D-DCDC-4F54-8926-63E3CC3137FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4430633$13EA2C9E-6F2D-4471-B9D1-E62062CDF811","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":"Q4430633$16381104-1C96-4AE5-90AD-888F388D270C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5242bcd4b8a60efeecd3f0381ba7676468d04f71","datavalue":{"value":{"entity-type":"item","numeric-id":4380444,"id":"Q4380444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57a3b98c5fe90bc8305826bc553ed2f1ec93e65f","datavalue":{"value":{"amount":"+0.96486336","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":"Q4430633$691D0604-23D9-4FC7-879C-C3827C4582E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"868fd0d9d4c765270349859740f6de0fdadb6d1f","datavalue":{"value":{"entity-type":"item","numeric-id":861367,"id":"Q861367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47848019f9243301da01ad1712b87ef8832507d8","datavalue":{"value":{"amount":"+0.9072778","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":"Q4430633$CA4E92D1-DAC0-44AC-AD66-35E11D65FF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3440cd2d08643694d8fd5247eafa23afe82017c","datavalue":{"value":{"entity-type":"item","numeric-id":4236057,"id":"Q4236057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdca9a3cc3177059c1216592c80109a78cce9dea","datavalue":{"value":{"amount":"+0.885947","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":"Q4430633$6FC267F8-43AA-42FF-BA4B-9902F646C8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7731c4e5b1739669acd5248e62edc63aa9fcd5b","datavalue":{"value":{"entity-type":"item","numeric-id":4345010,"id":"Q4345010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdca9a3cc3177059c1216592c80109a78cce9dea","datavalue":{"value":{"amount":"+0.885947","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":"Q4430633$80FB2CCF-55F8-4687-8A9E-D81EE9DC3C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"894c755e6f20fa81d85a653249d0fa428d5760d4","datavalue":{"value":{"entity-type":"item","numeric-id":1181478,"id":"Q1181478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fa6046365bf7857ae6b50615f72bd1da95a4a0e","datavalue":{"value":{"amount":"+0.8831285","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":"Q4430633$8A9A8EA8-E9B1-48C1-AAEF-8577A8ED4C37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5fb052b74a5e537a7695e04e6200ec00c8de16e","datavalue":{"value":{"entity-type":"item","numeric-id":4858579,"id":"Q4858579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2859740951b4cc152640ef149763115168cd68c7","datavalue":{"value":{"amount":"+0.88195586","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":"Q4430633$713E2068-98C9-4B9B-9A1C-E0F7A09CAB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b39ba2eba10860c67f7de3abce5d01041a8d804","datavalue":{"value":{"entity-type":"item","numeric-id":4338157,"id":"Q4338157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"508d30a8d9fda18ad9039c46dea84c3723388a28","datavalue":{"value":{"amount":"+0.8803929","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":"Q4430633$84917797-CE63-4313-BA51-DF0E72C4185F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63a6aee63a7fb9b54e9b5a1aa02877107628fc66","datavalue":{"value":{"entity-type":"item","numeric-id":4305489,"id":"Q4305489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"508d30a8d9fda18ad9039c46dea84c3723388a28","datavalue":{"value":{"amount":"+0.8803929","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":"Q4430633$A27C1A7C-2705-4EF3-BDA8-3EC7B4E96EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99a0c9557400bd05cf1c521b5f980192dbc272c0","datavalue":{"value":{"entity-type":"item","numeric-id":2900525,"id":"Q2900525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70ac1813940a1dd6f4a7141f3e923c4da50af16c","datavalue":{"value":{"amount":"+0.8788821","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":"Q4430633$F95F7647-B32D-429B-9092-903F73118070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45fa58d2ca97e0eb245fbc94019da0ce6de22ebd","datavalue":{"value":{"entity-type":"item","numeric-id":3647218,"id":"Q3647218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a7a628d59d9735533c36f3997d345beb64a95a5","datavalue":{"value":{"amount":"+0.87884295","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":"Q4430633$E5005B2B-85A9-434D-B850-5F1B23A7FF18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4430633","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4430633"}}}}}