{"entities":{"Q5693111":{"pageid":7722671,"ns":120,"title":"Item:Q5693111","lastrevid":48560335,"modified":"2026-01-05T05:33:52Z","type":"item","id":"Q5693111","labels":{"en":{"language":"en","value":"The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2210172"}},"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":"Q5693111$27EE2A3B-4058-4424-A44F-1C9C93593E1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3aab363c123d51676cb188b6ffe9e34ad61f2a0e","datavalue":{"value":{"text":"The Class of Representable Ordered Monoids has a Recursively Enumerable, Universal Axiomatisation but it is Not Finitely Axiomatisable","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5693111$DC9C2E39-E659-4059-88C6-97ADC6A4F72D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"73f80cd98a4c12b1ba13394059a40654c6fe4b08","datavalue":{"value":"1082.03054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5693111$F7AE8681-B279-4A8B-B8CF-7CB004407DAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5693111$BC149F55-05DF-4E70-91D5-A8D0C1C3FE3E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"149818fcb8bed0a5b750a95fd3a49925c0920292","datavalue":{"value":{"time":"+2005-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5693111$68A898C1-492A-49B6-A72A-64D77F304A84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af01093707778037838dc82f0ea6c0d2bdd84300","datavalue":{"value":"https://semanticscholar.org/paper/0ed9347f9d856b5e543b55beb4fd3f848240e6be","type":"string"},"datatype":"url"},"type":"statement","id":"Q5693111$78BDCA22-991F-4A4F-A1FA-B8FFC04D8E8A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5693111$08085653-8B66-43E5-8A1F-D2C5B23AE53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5693111$A923083C-DB3E-4984-A8CD-F8F47611AADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5693111$6EB189E0-A923-4783-925C-4DF95C981FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5c83f057600e5614b7fec59c8e4ac61cb41ba8d","datavalue":{"value":"91A80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5693111$48BB4A47-1103-4623-8A0A-D39804A04160","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c0699e53d662c7138963e8b6e01c1afad0d81446","datavalue":{"value":"2210172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5693111$9FC242D6-8DB2-45FF-87DA-7186643C4CF2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92866b1654af1a662b0f26d63d8a7f6a99d8a2f4","datavalue":{"value":"binary relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5693111$758D601F-E12F-4616-99FB-A7F4308AA235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92d1969328e75d4a6be5cc83ec1ac0c6f998c0e8","datavalue":{"value":"ordered monoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q5693111$7A8608F2-1932-46CE-B218-05A0741DF419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"126bc261b4ce15426bca501a6725c284417e2bf6","datavalue":{"value":"partial order","type":"string"},"datatype":"string"},"type":"statement","id":"Q5693111$1BF8C6E1-7E69-4433-AC69-2B2904ABCBFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b53c552f034f0759ded21ef7d92b5c6222376092","datavalue":{"value":"game","type":"string"},"datatype":"string"},"type":"statement","id":"Q5693111$C3A83A6A-43C0-4710-A0D2-8D0D19A734B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b1d4a6804edc0449af06d8090818c1b62772ef1","datavalue":{"value":"non-finite axiomatisability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5693111$7C367E95-A509-4277-91B8-8FF0074D3830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c07c3d5b754955b6bf65477291574088546d50e2","datavalue":{"value":"ultraproduct","type":"string"},"datatype":"string"},"type":"statement","id":"Q5693111$082E5F30-CE9C-40A8-A213-3CAC6392887E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b111c36d6d988a197089e1477f96c0e11350f4e4","datavalue":{"value":"representability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5693111$535FA3CD-040B-4C5A-94B0-87C463A66097","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11e861291b7fc659c2533ae46450bc9cf4867572","datavalue":{"value":{"entity-type":"item","numeric-id":596006,"id":"Q596006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5693111$797C892C-3D0A-4FC8-A973-492E6AA231C8","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":"Q5693111$9B3403BB-65F0-453D-9CF6-094A194F9076","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"06558698a3aaf68deebbd6f38b5321d30b235703","datavalue":{"value":"W1999783127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5693111$534DC965-0D87-4AE5-B980-CBE0957EFF72","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0465277976e173fe0565e994bf2d9941c60f6d7c","datavalue":{"value":"10.1093/JIGPAL/JZI012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5693111$D4A05A67-BB6C-433C-9F7A-20654115FC7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"118419cf96187e304758d7614255899ecefcc134","datavalue":{"value":{"entity-type":"item","numeric-id":2474106,"id":"Q2474106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b4ec12003e56f90994b1fe5acf17a66567a7f8e","datavalue":{"value":{"amount":"+0.7983195781707764","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":"Q5693111$4BA6C44B-DF90-495C-A94D-B9633E7EEB90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb1cfa3b2224066af080f50fa101ffc50a35408d","datavalue":{"value":{"entity-type":"item","numeric-id":3081250,"id":"Q3081250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b38480e2b8580d9c9d85464edf50763ab22baead","datavalue":{"value":{"amount":"+0.7085698843002319","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":"Q5693111$94AB8131-658B-45BE-A967-69B3D01F8D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb96b92d4833538ce26a4de8d70b92693f60ee4","datavalue":{"value":{"entity-type":"item","numeric-id":5354466,"id":"Q5354466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd8195c8dbd5bc6a9f5b6b72fc5f925e01777e60","datavalue":{"value":{"amount":"+0.705256998538971","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":"Q5693111$E58B6631-A987-4E80-BCA5-FAF777EF6BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"636aa0419222a92116976c31587e844def2ab528","datavalue":{"value":{"entity-type":"item","numeric-id":3126404,"id":"Q3126404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d7e129a9072e0705f47259c5e8b2606e7da9196","datavalue":{"value":{"amount":"+0.7050520777702332","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":"Q5693111$432BA7C0-1F60-4AFE-8EBE-3A4040C74A07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"139e1c63f88d2f68940cc348a251e11be41b678f","datavalue":{"value":{"entity-type":"item","numeric-id":2520764,"id":"Q2520764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08373eab1f50c3c3283f9a7ac77a3afc198462ce","datavalue":{"value":{"amount":"+0.7047338485717773","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":"Q5693111$51312A21-D482-440A-AA24-13828B693EEC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5693111","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5693111"}}}}}