{"entities":{"Q5100054":{"pageid":7129630,"ns":120,"title":"Item:Q5100054","lastrevid":91362479,"modified":"2026-06-04T22:58:51Z","type":"item","id":"Q5100054","labels":{"en":{"language":"en","value":"MOST SIMPLE EXTENSIONS OF  ARE UNDECIDABLE"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7576902"}},"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":"Q5100054$EB77DB07-6A45-44BB-BEF8-B26D93993CEC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de1946594cd59fddb2b7eae867bb2aeae48e496c","datavalue":{"value":{"text":"MOST SIMPLE EXTENSIONS OF  ARE UNDECIDABLE","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5100054$936FEDC5-BA24-4F8A-AEFB-92A580448527","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eef00978e3a2dc6158a2b54f6d535aa32515c68","datavalue":{"value":{"entity-type":"item","numeric-id":287481,"id":"Q287481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100054$F07798D1-B072-43DB-B8BE-65A1678D3741","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee4ae904b1a2e2dc68ab28a30c4b26bd84cc8a8d","datavalue":{"value":{"entity-type":"item","numeric-id":5100053,"id":"Q5100053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100054$7E1C61C8-AE69-441A-9763-F59868DCE10F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6288d95051e9faa2ecbef363d08a7ee5784b1391","datavalue":{"value":{"time":"+2022-08-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5100054$B7FF3F00-5373-47A1-8C77-ADE9237F0E53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"68a54d9e596d9e720d5a2be14a98f4ade6f5c891","datavalue":{"value":"https://arxiv.org/abs/2005.00645","type":"string"},"datatype":"url"},"type":"statement","id":"Q5100054$5F3DBA2E-C171-4C18-8A40-E9D1D49924D7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100054$1854F338-CE3B-42F8-8F7C-E4BA31326313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a65487c7726591096aeacf67e5838b6764f4f370","datavalue":{"value":"08B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100054$58071B08-05A0-40D7-9B9C-49138B6520D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100054$7BD73C7B-4F89-40E3-A1AF-1E64F393ABE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100054$E9B8BF1E-2B51-455B-A535-75D2E83CDF7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4615fbe884716355d45f658c50ab5f81438a3585","datavalue":{"value":"7576902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100054$A1A7014A-DD20-4097-AA9A-C45F92F3FE72","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100054$6BA06678-B632-4ACA-AEDA-BF699C7446F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b76b88230f365a3c50d1fc2b7b82246d978f88e","datavalue":{"value":"full Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100054$6207AF5D-6517-4059-8D79-C5D4856890A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb477bf8cceaede5f082b2b61bfac2c4480c0f1c","datavalue":{"value":"simple extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100054$136D4729-CE6A-461F-8A25-540E9235A0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"871576db775750977e6332ef2b11f3b536053055","datavalue":{"value":"residuated lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100054$7EB5BA30-FA79-4C83-8B39-9097B4EA39A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d649755d7dec7fe8dd2722580b18ccd4bdd91b89","datavalue":{"value":"equational theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100054$133FC331-F246-4866-A41B-E62DA1A00758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"541e14ca1a9bb27a1cfe827610ca5ddb594a16de","datavalue":{"value":"word problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100054$65F7FA3A-5C26-4203-9F7D-D2E613462F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5100054$2A891A30-8B48-41CC-B5FF-5EA79403FB76","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":"Q5100054$5C78370A-E923-41DE-8618-5605A3E1F2BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77ad24de44c0b876719f9b569ba0ed393959bf13","datavalue":{"value":"W3022956083","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100054$95BC73F5-5DFC-4B6A-A9F1-69F5C79CE84B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100054$C44E393F-FD86-4BF2-B6D9-4558B1D8A086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dbb2ebd3148e141013d162ea0290fa9e8a9624a","datavalue":{"value":{"entity-type":"item","numeric-id":1686329,"id":"Q1686329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100054$A940479B-CE04-4679-9AC3-997CDB0A7D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86b6600a9f6a7ba65292b2ff88498ab793c8858","datavalue":{"value":{"entity-type":"item","numeric-id":3188328,"id":"Q3188328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100054$B2756A51-B646-407F-8B3C-B69F1337CF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5a695b39c2667efe271a30ac303c130161f06ab","datavalue":{"value":{"entity-type":"item","numeric-id":409322,"id":"Q409322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100054$BAAAAEC7-2F3F-43DE-972A-B125F8717ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfa8c8929c768f224e83dab433f989c2dc6bcac","datavalue":{"value":{"entity-type":"item","numeric-id":4913809,"id":"Q4913809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100054$C121DD2E-0CC1-478D-BDB8-4C0B53C72DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100054$1C2D766A-680C-4F5D-BEAF-6EE254333D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0f377cd1f758bb7a1b2206d4153fe35903f24fd","datavalue":{"value":{"entity-type":"item","numeric-id":4786332,"id":"Q4786332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100054$B53BBF2E-C82F-4EAF-A5F2-85019DF66116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0eaa97ec00f0c6b430f3f277dbe33439df44bc7a","datavalue":{"value":{"entity-type":"item","numeric-id":2254319,"id":"Q2254319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100054$0AC31916-BBFB-4154-83D3-C69CCFDC1A23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e153dcad108c14c9a55e8f1c726ec817dd7f4","datavalue":{"value":{"entity-type":"item","numeric-id":5693612,"id":"Q5693612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100054$0D3E893D-279D-4808-AA5C-C2A2FA12C1BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1950b2f7ea4f55b053fe30cb31fae70c4ce589d","datavalue":{"value":{"entity-type":"item","numeric-id":3848975,"id":"Q3848975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100054$43725815-BF45-45F3-9BBC-B71D0F8F6649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"074134d8b33bdd9cca293a6e8f5f8ee888ec9918","datavalue":{"value":{"entity-type":"item","numeric-id":1192352,"id":"Q1192352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100054$26F25952-597E-47F7-8BBB-B9AC825258CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab968868a27793512725f9615e172750ff9d631","datavalue":{"value":{"entity-type":"item","numeric-id":4529547,"id":"Q4529547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100054$A08B64F0-800F-4F9D-94DF-B97D104313A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1b26bdc210a3d291b796088837bddd84cce8b4c","datavalue":{"value":{"entity-type":"item","numeric-id":775202,"id":"Q775202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100054$9D8F65A1-0665-4FA1-9D78-8E3CB7BA764F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"242b383852ab05e1d43b801cb27e8567a5e2905b","datavalue":{"value":{"entity-type":"item","numeric-id":4948542,"id":"Q4948542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100054$4E6E3D2B-5183-4AB3-8D62-FF4C1CFD7F91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a82af722bc7abbcf9001df5a67464cf2a7d0ce4","datavalue":{"value":{"entity-type":"item","numeric-id":3370755,"id":"Q3370755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100054$7F0B410B-9301-4BAD-89F4-9F4AB055C98F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"369df8dbd8d1ff6aa04d9ddc488e6fb35561fe5e","datavalue":{"value":"10.1017/JSL.2021.46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5100054$40ED58C2-5D37-42A8-A2F9-184421EE5BEA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5100054$1081C880-059D-4E2D-94CB-566B4326C288","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8aa7cc5d5a2bca5d2745003b3ee9e140c958e55","datavalue":{"value":{"entity-type":"item","numeric-id":5145681,"id":"Q5145681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52caa7c0bb11d67f10d4542912687f50b8ca53cd","datavalue":{"value":{"amount":"+0.7922694683074951","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":"Q5100054$51497C01-E90E-4760-B3F7-124D4CBD236E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f397a7834639eff9ab32c90dbc0ed1254080f13","datavalue":{"value":{"entity-type":"item","numeric-id":3188328,"id":"Q3188328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5eccb0521c2ac9a9aa634e509773fd47831ad54a","datavalue":{"value":{"amount":"+0.7833657264709473","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":"Q5100054$930201F9-29F0-4AD1-AA82-8C743E3A53E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee08def399a165790856772e0e8487a7d2ae37d0","datavalue":{"value":{"entity-type":"item","numeric-id":6651961,"id":"Q6651961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a144943cf38f69658bedab4b1d19f3075605b5cf","datavalue":{"value":{"amount":"+0.7746880650520325","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":"Q5100054$C8845C6D-504B-43BC-9F8F-F6A1BF3EE60E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c659bec14680488a0600fc4c8e6bd55236476eb9","datavalue":{"value":{"entity-type":"item","numeric-id":5015208,"id":"Q5015208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61da5731e8a2b726fb6ca7a4fe08f12b47287f67","datavalue":{"value":{"amount":"+0.7735098004341125","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":"Q5100054$3447AAD8-1462-41A2-ABBA-0D89530833FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a39d2e6afe9ba7f93671e1bd20c139abe7d2127a","datavalue":{"value":{"entity-type":"item","numeric-id":3505074,"id":"Q3505074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"157cbb2dd072a5262b3576022eb880a359f1cc1c","datavalue":{"value":{"amount":"+0.7457660436630249","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":"Q5100054$D8568EFB-B767-452E-ADA6-BE381E3D7096","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"MOST SIMPLE EXTENSIONS OF ARE UNDECIDABLE","badges":[]}}}}}