{"entities":{"Q2844808":{"pageid":2855528,"ns":120,"title":"Item:Q2844808","lastrevid":83853569,"modified":"2026-05-07T13:00:32Z","type":"item","id":"Q2844808","labels":{"en":{"language":"en","value":"Producing proofs from an arithmetic decision procedure in elliptical LF"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199471"}},"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":"Q2844808$71851DC0-8798-4F1C-ABE9-ACC266085797","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"312deb0cb2abd195ea7d5cd86819dd86766b81bd","datavalue":{"value":"1270.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844808$ACE3D687-A6CB-4959-9AC3-DB00F0B9E614","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7daa8e19dd762c08a3fe86309cfbf3893a62423c","datavalue":{"value":{"entity-type":"item","numeric-id":286782,"id":"Q286782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844808$3283A312-DC78-4A65-AD1A-37B4AC17BA63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844808$5C83E3EC-9DCB-4172-B1F7-8F4B06E02483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2dd061ef340feff0cbd009fd7ff490684b9da51c","datavalue":{"value":{"entity-type":"item","numeric-id":685109,"id":"Q685109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844808$1C661BCB-C817-4545-9287-568659E3041B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"108ede7b32300394ff9a1f5dd35fef9c8cf60c54","datavalue":{"value":{"time":"+2013-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2844808$59F33426-C563-4C2F-8481-D663DE8AA7F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5abbd07b5eb1545732738dcbe18ff4867d59ab44","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066104805048","type":"string"},"datatype":"url"},"type":"statement","id":"Q2844808$BA312D65-3D93-4285-9CBD-1BAD6B8B78DD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844808$95D7EA44-884F-4172-A849-C79038735A5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844808$0E8996FB-10EB-448E-B9DA-A69DE9CD58D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8ac64433e7266322913b00456a9b66021449885","datavalue":{"value":"6199471","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2844808$02D05F53-BA68-45BC-8608-459492CE51AA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f94973da57644d5293cf3c9ac6633e23f2b0fa3a","datavalue":{"value":{"entity-type":"item","numeric-id":21445,"id":"Q21445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844808$77C8BEFC-32FE-48AD-8F2E-31022E50FE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2844808$1C14749C-DC4C-40AC-8D33-ED433ACBE42B","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":"Q2844808$D046DF76-FC30-4178-99FB-631B5F09C677","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baf36049823cf0a0132e9179cb0e74e04f41c978","datavalue":{"value":{"entity-type":"item","numeric-id":5394621,"id":"Q5394621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fee644760f5692d18e93b6ba7aaa672351cd26cd","datavalue":{"value":{"amount":"+0.8821521","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":"Q2844808$713B439D-64DD-4803-BC17-7BA20C915683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6a9979c64de5a70b8b544872efd048bee66bd01","datavalue":{"value":{"entity-type":"item","numeric-id":5402564,"id":"Q5402564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93762fcee7ab2630653cc90d0cb1799fcadfcff0","datavalue":{"value":{"amount":"+0.84817857","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":"Q2844808$6CE914D3-17D0-4DC1-A21E-1F72830C495B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1915b86188e28e455ad5948c3bab6f12d5b26686","datavalue":{"value":{"entity-type":"item","numeric-id":1961455,"id":"Q1961455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7162f326d00db0b3b778ecc2df035f37daed480b","datavalue":{"value":{"amount":"+0.8455739","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":"Q2844808$78C61F90-0AB4-487B-8381-DB53059A8B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15f014694f6b46e92fa4ebb6a1f68784e638b36d","datavalue":{"value":{"entity-type":"item","numeric-id":1762353,"id":"Q1762353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ca3bb98244daa5deb13b1739310bd630fc3601a","datavalue":{"value":{"amount":"+0.84496784","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":"Q2844808$A7F6AA1F-53BA-4CDD-A847-A96E40709EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7da2d8bb240c114f0886df7c3e68f858256d058","datavalue":{"value":{"entity-type":"item","numeric-id":945055,"id":"Q945055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f19b70bcfd61c5f9abf086f3cdd26cdb5ce13c6","datavalue":{"value":{"amount":"+0.84465516","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":"Q2844808$79A3A31E-0C09-4E36-9921-3C7AFC5CA1EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be43729fe539971fdf1aa681af41ce8d0f28afde","datavalue":{"value":{"entity-type":"item","numeric-id":2852038,"id":"Q2852038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ec56e016401198167a1937b71078f4c3c56e801","datavalue":{"value":{"amount":"+0.83799905","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":"Q2844808$37011CBE-72E3-4ED3-8A71-B37FB564E171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"085d01fd3d5b64326f9bbba67b5309731c5b996b","datavalue":{"value":{"entity-type":"item","numeric-id":1856145,"id":"Q1856145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e7e8b798d0e02c62ba137b9d3689c23561dd6d4","datavalue":{"value":{"amount":"+0.83507824","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":"Q2844808$6F7D8906-95DB-48DE-AF3A-48C204F426A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdb0319a6cc2b45e865a36a0cf7bf6198343d66f","datavalue":{"value":{"entity-type":"item","numeric-id":3199395,"id":"Q3199395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"420e191a9d7b4ea13995ab91e05f449698c2f8a7","datavalue":{"value":{"amount":"+0.8336086","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":"Q2844808$E9AF96C2-5B2D-461E-B569-3D9CCBC5FEC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76b3cd29cf5d11a1bf9e4db8d0a0bf63297ce7d8","datavalue":{"value":{"entity-type":"item","numeric-id":4417953,"id":"Q4417953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7af4a0d4efa979c96f0ca924d1f7925037afb769","datavalue":{"value":{"amount":"+0.83350575","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":"Q2844808$FEC57C1B-4199-4F1A-9C67-3D0AE876D40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0db81afa1231f98253d122649a59a93379c2247","datavalue":{"value":{"entity-type":"item","numeric-id":1306168,"id":"Q1306168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0894d499518c767633f6ba748863f5331d6a3428","datavalue":{"value":{"amount":"+0.8330821","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":"Q2844808$C0ABF523-0BBE-4208-9F68-7BC1E5E9D307","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a3ba32651c27d182d52fb924362e8ff3e0eb84d","datavalue":{"value":{"text":"Producing proofs from an arithmetic decision procedure in elliptical LF","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2844808$C5E2DBB4-B30A-4FAE-B906-E297C6ABB93F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Producing proofs from an arithmetic decision procedure in elliptical LF","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Producing_proofs_from_an_arithmetic_decision_procedure_in_elliptical_LF"}}}}}