{"entities":{"Q1685913":{"pageid":1696654,"ns":120,"title":"Item:Q1685913","lastrevid":73755426,"modified":"2026-04-14T17:09:27Z","type":"item","id":"Q1685913","labels":{"en":{"language":"en","value":"Proof theory and ordered groups"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6820462"}},"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":"Q1685913$C0ED2346-6FA8-405F-8459-FFE11A29F018","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a91a11db19eaa03870db95c3ff2b16a177c47935","datavalue":{"value":{"text":"Proof theory and ordered groups","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1685913$D6EF9BE7-EB5D-4DA9-8F4E-7060777AF6B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b5d9997982617499c03c155159b4aca12fbad87","datavalue":{"value":"1496.03227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685913$C0B103C8-C32B-41A7-A812-DBF62A5086F5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f1fec62a160c582c66e0f037e334e1b89d787cf","datavalue":{"value":"10.1007/978-3-662-55386-2_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685913$6BB93085-495C-4A43-AFEF-3626BD60E163","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"75ac90cbf3e3e7e2e257b1cadce6831cac3c0d57","datavalue":{"value":{"entity-type":"item","numeric-id":1685912,"id":"Q1685912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685913$650FE645-7E74-4427-A4E6-6F925B8F6AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0287ccefad5d85c7c53fa2410e6e3a92c27fb528","datavalue":{"value":{"entity-type":"item","numeric-id":287482,"id":"Q287482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1685913$6693D581-0F1A-4516-AD9E-488EDB8107A5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1f424280bd3a1cce6255069d9afac8f911a0ea0","datavalue":{"value":{"time":"+2017-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1685913$1622A3FC-E074-4958-B02A-B03DBE156E4B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc0efbd0002173d7461b58349d73befcb8bac0b0","datavalue":{"value":"https://arxiv.org/abs/1708.00640","type":"string"},"datatype":"url"},"type":"statement","id":"Q1685913$246D0AC3-DDC1-4087-B8D3-A2E610A39ACA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685913$9E48CAF1-5DDE-43F3-83CB-0FF416170120","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9e7be0cfcacd32464742957e3e818847a694f77f","datavalue":{"value":"06F15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685913$15DFF48E-EB8B-4D56-BA46-80CB3CE09FAE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f1d7c72bc554d257a6be6cfc8111b2a0c28232d","datavalue":{"value":"6820462","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685913$298C20DD-5B47-416F-BE9C-6BCBC7B21A4B","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":"Q1685913$B9BB1635-3AEB-4FFA-A8AB-03D911A466FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e99ab6b2c6961c4cbad61cd86317f48558a70795","datavalue":{"value":"W2732996851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1685913$2483C5CF-98A0-400F-9B7A-4BD83318451B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"911421e94f74e05dcb65c056555a16ca4c40f8e0","datavalue":{"value":{"entity-type":"item","numeric-id":287483,"id":"Q287483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7f1f00fd6d10d5386b4ef939ee1d6cfa32498e8","datavalue":{"value":{"amount":"+0.8622469902038574","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":"Q1685913$5381ADED-F1BA-4C9F-9DAE-F3E3B319D909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69d73c5dee53293202141438ecb00ccbc345a71a","datavalue":{"value":{"entity-type":"item","numeric-id":2747705,"id":"Q2747705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d4bffdfe00e871c992f072ae0fb7ea5902d0741","datavalue":{"value":{"amount":"+0.8465554714202881","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":"Q1685913$DA39AC8A-4751-45D8-9EA8-1EF89B22181C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b560c6873695aae2595c4d98ad15fa31d6fac27","datavalue":{"value":{"entity-type":"item","numeric-id":3480105,"id":"Q3480105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edde0b2a10556f942c451f2c53810cf6a03f52b4","datavalue":{"value":{"amount":"+0.7422266006469727","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":"Q1685913$CDB7FC23-C301-4045-A810-40C050906A4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b43214196e041a0306ac0fb4e64b8c16c735c5e","datavalue":{"value":{"entity-type":"item","numeric-id":5238136,"id":"Q5238136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cf098d1f8405688cf0efa146519c0763f4bf70d","datavalue":{"value":{"amount":"+0.7404851317405701","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":"Q1685913$9EDB50FE-053C-4BDA-AD99-D2FDE0A2350F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"268fc4a362b66b1c9598e70439ca4af81f47415d","datavalue":{"value":{"entity-type":"item","numeric-id":1093630,"id":"Q1093630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33839f8fe34abeb47cdff39b8c1f47ff5c9f2025","datavalue":{"value":{"amount":"+0.7273233532905579","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":"Q1685913$5CCDC734-42A1-4097-AB6E-08A9369DF175","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Proof theory and ordered groups","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Proof_theory_and_ordered_groups"}}}}}