{"entities":{"Q4938422":{"pageid":6968004,"ns":120,"title":"Item:Q4938422","lastrevid":47446192,"modified":"2026-01-01T18:51:47Z","type":"item","id":"Q4938422","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1405448"}},"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":"Q4938422$E93994C2-4DCD-4C66-9F60-6D620391542B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"da5a4af57c4faaab0305014f125ecc58d13715a3","datavalue":{"value":"0939.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938422$5ABC7ECD-D1FD-4124-B337-D6454E0DCCF3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ecde3ddf4f96a8da457aeb906b2979614b354694","datavalue":{"value":{"entity-type":"item","numeric-id":293310,"id":"Q293310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4938422$90EF333A-7AAC-4B0B-9EBE-FB1F5BF1F1C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4dc3d990a0a8b8ad0b1a8a62e538a71a4d2cf07","datavalue":{"value":{"time":"+2000-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4938422$3F0A44D0-B1A7-4CA2-99EF-F71E441D004B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938422$0F20B3CC-106D-4B4F-A9EF-DB7F31013AFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0cfb57c69293433f684dbc678151e805fcd25301","datavalue":{"value":"20K20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938422$39FFA975-6684-424B-AAFA-171AAFE31CFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8acfec936c9f92116ab04a417b25b0b6b0e8ab90","datavalue":{"value":"20F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938422$DD49E01B-3FD1-4CAA-8DCE-6F3725443497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938422$01BEE17E-105D-461F-B929-49E0F91D8ECA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8f70c76f5f36921bd832fe0f598786c736c2b6a5","datavalue":{"value":"1405448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4938422$38D6FA02-221C-40E4-9CFF-24671173555F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6eeb5fc8fcdd73385b16e84d6e252a2e9229c2e","datavalue":{"value":"divisible torsion-free abelian groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938422$705B37B8-3E85-4909-B9F6-9FF7124905D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92969cd2f8f8358f61f294ee87b1164f1bbb2bf8","datavalue":{"value":"cancellative superposition calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938422$5B7C270F-573C-489F-A255-14E55B4053DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"818478c8570ef1a533599a95bb3ea1981186eae7","datavalue":{"value":"variable elimination algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938422$8624A9ED-54ED-4E1B-A280-BC2DD154B2FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"784dfdf5d121d03161037b373f67f71af6d90caa","datavalue":{"value":"refutationally complete","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938422$2FF53699-7D34-4E14-B5B7-3E5EFF97D12D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4938422$8BA2B080-FC02-401D-99EB-2DF4E79B6470","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":"Q4938422$955B4768-573F-4D9B-9A4E-1482504FA625","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c712a379c4ee789afd8e4d42283c5ff453f26fb3","datavalue":{"value":{"entity-type":"item","numeric-id":4249895,"id":"Q4249895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab4ded6c0fa0f702bbbaddcb19afadfa883e9701","datavalue":{"value":{"amount":"+0.8765139579772949","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":"Q4938422$860E48ED-6A96-4ED2-A896-545D64490EAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"826aed92319f9b3f2ee35a62afea557ad7b404da","datavalue":{"value":{"entity-type":"item","numeric-id":1864899,"id":"Q1864899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c08e6e671aec0798a3b67c33f402aa53746bd38","datavalue":{"value":{"amount":"+0.8554405570030212","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":"Q4938422$38602DEB-73DE-485B-926B-4DCE840E43F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6111de9c67e5f828deb8e51c3fff48f89a895cd8","datavalue":{"value":{"entity-type":"item","numeric-id":1864898,"id":"Q1864898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a735d8bf5bc63a2869021073fc4a43ca100396de","datavalue":{"value":{"amount":"+0.8000988960266113","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":"Q4938422$A6CCCA22-A050-4D24-8D93-8E27AD2CBBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd9800e83df8374a5eef52189492ceba2edb2ad6","datavalue":{"value":{"entity-type":"item","numeric-id":4539608,"id":"Q4539608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25adc235afe26bfa28ad9d25306a3046d827b1e6","datavalue":{"value":{"amount":"+0.7868807315826416","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":"Q4938422$341899EF-FCAF-45A6-9659-4B9EB4F5C8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7ab04cf0d48da480d77d88b8cfbb207dea536d0","datavalue":{"value":{"entity-type":"item","numeric-id":4647536,"id":"Q4647536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2c3c2cab0ce00a3410bee792ecae8ae9a866639","datavalue":{"value":{"amount":"+0.7702982425689697","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":"Q4938422$5578A72E-7237-46DC-B481-C85AA0B1F083","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4938422","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4938422"}}}}}