{"entities":{"Q782563":{"pageid":784412,"ns":120,"title":"Item:Q782563","lastrevid":53780150,"modified":"2026-01-25T17:20:20Z","type":"item","id":"Q782563","labels":{"en":{"language":"en","value":"\\(\\langle\\mathbb{R},+,<,1\\rangle\\) is decidable in \\(\\langle \\mathbb{R},+,<,\\mathbb{Z}\\rangle\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7225119"}},"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":"Q782563$A4CD0BB2-02AA-4A03-9699-3E6AF71804D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e631b74a661b62381d45726bd4e4dcb3ff1cdef5","datavalue":{"value":{"text":"\\(\\langle\\mathbb{R},+,<,1\\rangle\\) is decidable in \\(\\langle \\mathbb{R},+,<,\\mathbb{Z}\\rangle\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q782563$DBF54C9F-6E90-40D1-AB55-A4A083EC3963","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bebf2f947064c220d97229cd3006d4ed2be8dbcb","datavalue":{"value":"1484.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782563$A0E52F86-4B56-4BB1-9059-F476137BEE74","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a82c478fec7b6a59795bec4494f51a3f2cd15b93","datavalue":{"value":"10.1007/978-3-030-40608-0_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782563$7D1C2166-9622-44D7-8C01-71A3FD1281BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d6e3958ecd59ef8308845d606e8ada7bd937463","datavalue":{"value":{"entity-type":"item","numeric-id":782562,"id":"Q782562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782563$8CCC4091-4C06-4C57-BA13-A7D8BDA5C301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa990e79bdd7ffcabe4f8d60711efd12e49a6fc6","datavalue":{"value":{"entity-type":"item","numeric-id":512187,"id":"Q512187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q782563$E36FCB8F-9886-4CE3-96ED-8F9D7F15FC1F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e23cd61fb52044c0fb2903ade6fe3c7d224eeaf1","datavalue":{"value":{"time":"+2020-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q782563$29BE2A72-7210-42FE-AC7C-40D37031489C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782563$4650E860-A63E-44D7-975A-64A046D349E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3732c075eb40ad53bfb6a78bc8162951adb980e3","datavalue":{"value":"7225119","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782563$53302E57-B467-44C0-AAAF-6F479E620CA2","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":"Q782563$F8B2B1E9-268D-42A7-B64A-D4FA59D0F72D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5dbb3eb161bb83d22bbc42f04d5cb95e904c5451","datavalue":{"value":"https://doi.org/10.1007/978-3-030-40608-0_8","type":"string"},"datatype":"url"},"type":"statement","id":"Q782563$F93E0FB3-05D1-43A2-AD2F-558B6BFDFAD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2a3478f138b4e279bde23b95e5af59228528ebf5","datavalue":{"value":"W3007369771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q782563$169A4D89-1F3B-4F03-8B60-0FE76FE61F50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ac84424ac1b5148f775dda54841906bec55b103","datavalue":{"value":{"entity-type":"item","numeric-id":5880942,"id":"Q5880942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18cee895ef1a77a67f270f145dd89377fdf69e77","datavalue":{"value":{"amount":"+0.8408975601196289","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":"Q782563$9327CBE7-341C-42BA-9FD3-BA2CACB83ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62f5576cbce4353bea8a84af2758db0146a6bab","datavalue":{"value":{"entity-type":"item","numeric-id":4451652,"id":"Q4451652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de971da8b2c00ad45d63e6d7dfaf8d700b61c356","datavalue":{"value":{"amount":"+0.8243069052696228","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":"Q782563$988DE13C-7991-4FE0-8D27-C1EE019CA909","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d8812e20eca43529bbaba889dfc3b75a8addc88","datavalue":{"value":{"entity-type":"item","numeric-id":2311210,"id":"Q2311210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be51c0aa9e95a70311c941c363e050a0ed46785e","datavalue":{"value":{"amount":"+0.7471259832382202","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":"Q782563$9790332E-E273-4024-B0F1-C6DE7197D02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aecb3e288c487109c51bc7fd4e840f85c2204955","datavalue":{"value":{"entity-type":"item","numeric-id":3514638,"id":"Q3514638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"450758160a15ac640a1d3bbab2bf4cd45b0c101a","datavalue":{"value":{"amount":"+0.730413556098938","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":"Q782563$671F9104-F334-4D47-B369-24E018D3DB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd1f68c63bc4efc50eee6fa82b2bf32258aca5ee","datavalue":{"value":{"entity-type":"item","numeric-id":2318170,"id":"Q2318170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd775c3e4cc67fc7a8f296221477140d3d9f38e7","datavalue":{"value":{"amount":"+0.7209434509277344","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":"Q782563$4F5545AD-F20D-430C-B2C8-EBD15D452F2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:782563","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:782563"}}}}}