{"entities":{"Q5937834":{"pageid":8114636,"ns":120,"title":"Item:Q5937834","lastrevid":97645139,"modified":"2026-06-05T15:09:42Z","type":"item","id":"Q5937834","labels":{"en":{"language":"en","value":"An undecidable linear order that is \\(n\\)-decidable for all \\(n\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1620829"}},"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":"Q5937834$1B02462D-2774-4168-9B97-7C1C87C36E32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4c4824055f91fa7f1df844c2c2648e90d759b2a","datavalue":{"value":{"text":"An undecidable linear order that is \\(n\\)-decidable for all \\(n\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5937834$B70FEEDC-073F-46F9-94F1-08A3625D905B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e70070721e3f716d881311147dc8cb71a8fadba8","datavalue":{"value":"0966.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937834$1C399767-CF5E-4E09-A63B-FD7197B19971","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b2366284edb0458b433e248dcbf9561753f4c2f0","datavalue":{"value":{"entity-type":"item","numeric-id":1038813,"id":"Q1038813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937834$D6AEFEC7-E808-4EED-89CF-AB37F892678C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bbb1a411eaf983457054c15918035e0f2dc3262a","datavalue":{"value":{"entity-type":"item","numeric-id":190315,"id":"Q190315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937834$D67A5A35-2C89-4175-8CEB-ABA7F70DE861","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937834$B41A72E3-D516-48C5-8FCE-AF63ED7B763B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cb916ad91e9e27f9d11a7b9fee5e1117f9d898f2","datavalue":{"value":{"time":"+2001-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5937834$A66250C4-CB4C-4358-ADE0-2B105D039017","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937834$EA557D84-D138-470B-9CC5-4FE86FEF8DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24363e421bb7b6dfa7fe7a9b1ee54d8da8a06bf1","datavalue":{"value":"06A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937834$4C7CB759-E4EA-4ACE-8A2E-3E546AE72E65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937834$25C733B5-455B-41AA-9794-BBAADD504F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937834$D7D36846-8EEE-4F12-9F65-239BAB3FF7E4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5b08ac8d74c29299570234d2c204867425a90ebc","datavalue":{"value":"1620829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937834$809E85E8-09D8-4B17-88F0-25CBA1228727","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"251aa2731f9f5b852a52cd074e7913dbf82dd7cf","datavalue":{"value":"computable linear order","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937834$678F0CCC-1647-4AF7-9E40-53E64CAFF933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69597c1a227728a8b4cae6e0dfbd875a654de1e0","datavalue":{"value":"\\(n\\)-decidable linear orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q5937834$4612C857-74BA-407F-90B6-E757AADD58CE","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":"Q5937834$079A9762-A203-4AB4-AA32-945FDA565942","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a4388e79e8bc5f6208c1882322eec82cc5664201","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1039118866","type":"string"},"datatype":"url"},"type":"statement","id":"Q5937834$2E966B63-F889-4705-B611-D0E4D885F3B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"525cf0c0dd4a0e7ef35311daf529e6ddbb2acf8d","datavalue":{"value":"W2159037930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937834$3780266E-FD7E-4AEE-B823-B242AB59962C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"813d5d9f17eadc778c3336aa2ce579675a5cf35f","datavalue":{"value":{"entity-type":"item","numeric-id":4249724,"id":"Q4249724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937834$D17D5136-E08B-44D5-8D64-EE8A8F584B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937834$4E8F26FF-7EB8-4458-B4CE-360A6E087DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adb7d5ef3eb356038217081da936504becb73708","datavalue":{"value":{"entity-type":"item","numeric-id":3230355,"id":"Q3230355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937834$6B778C93-02DE-4090-A4A7-EAAA336A988C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c13d8c4f9b6f2d65debfe54d1f367b84b9c0238f","datavalue":{"value":{"entity-type":"item","numeric-id":3231245,"id":"Q3231245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937834$087F3AEF-CF47-496D-A95A-DE7CD1E042A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97bad71fc81d49d649d0066609374aa8223f2c92","datavalue":{"value":{"entity-type":"item","numeric-id":4764115,"id":"Q4764115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937834$7A850C37-21C3-4EE3-9DAC-C6F185558E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360cc14210d040c82c3fb8482fcff4a97cc7c9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5537373,"id":"Q5537373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937834$0187A92C-D24E-4DEB-9554-36CD665A8300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534730d39bf1b2fb7e127c00d7c04e03699b9f80","datavalue":{"value":{"entity-type":"item","numeric-id":3949052,"id":"Q3949052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5937834$3FB8F20C-A876-460F-8823-D8F94DDA547C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"237f1dc1283dad71d509fc8bf93912ddba523e18","datavalue":{"value":"10.1305/NDJFL/1039118866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5937834$EC4AB413-9758-43B2-8A8F-AD98026BDF4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b948baab72b8575d1da0d3733d5b0746c6d5ddf3","datavalue":{"value":{"entity-type":"item","numeric-id":890799,"id":"Q890799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a2572acef6b8b20707787d2d215ebc5dd319eaa","datavalue":{"value":{"amount":"+0.7669546008110046","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":"Q5937834$1CDD057F-E762-47E9-8B2D-AD7E0E3F4CD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d6bc6ddfe866c8c2ce88758cefd2c14cd00ba2a","datavalue":{"value":{"entity-type":"item","numeric-id":4764115,"id":"Q4764115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1a130308d7e72dec188bef9cfcf40ddadca4f2","datavalue":{"value":{"amount":"+0.7352720499038696","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":"Q5937834$AE7D062E-5E21-493F-8E70-28A9DF57C653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e129a4b19edc81a56a35a7bd892520d124e2ae99","datavalue":{"value":{"entity-type":"item","numeric-id":5251361,"id":"Q5251361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bda5d441a7efa484d608bfd94da93da6149c0b5a","datavalue":{"value":{"amount":"+0.7349215149879456","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":"Q5937834$7FC5931F-5088-424D-84EE-1F7461B68910","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9de5828e7c2e5853cdd4e6728a0e15f70eb5cbb","datavalue":{"value":{"entity-type":"item","numeric-id":321260,"id":"Q321260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049d96fc5bc205f3d57fb6584ecd5205cda0598f","datavalue":{"value":{"amount":"+0.7271332740783691","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":"Q5937834$72220698-F135-4E2F-8445-0F4C53A361C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"925e396a5e579284923c0ab0ef7d4e0b2d35d82e","datavalue":{"value":{"entity-type":"item","numeric-id":2909622,"id":"Q2909622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96a0213b8f17c064b00be2c8929000e3e368aecf","datavalue":{"value":{"amount":"+0.7257130742073059","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":"Q5937834$FC53462D-8E96-498F-854D-218C29B0BCEB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An undecidable linear order that is \\(n\\)-decidable for all \\(n\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_undecidable_linear_order_that_is_%5C(n%5C)-decidable_for_all_%5C(n%5C)"}}}}}