{"entities":{"Q5033990":{"pageid":7063567,"ns":120,"title":"Item:Q5033990","lastrevid":55401982,"modified":"2026-02-17T15:39:24Z","type":"item","id":"Q5033990","labels":{"en":{"language":"en","value":"Lattice of definability (of reducts) for integers with successor"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7480692"}},"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":"Q5033990$47270DC6-E959-4C95-92F0-C1A3E8662DCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ce20633ba078a3cdf43c2977815bf98a8b1a7c84","datavalue":{"value":{"text":"Lattice of definability (of reducts) for integers with successor","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5033990$4D3A6CC3-0196-4BE8-B9A2-6079B6233D9A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6c477940e41ed87611c40e835c30c204b3c1410","datavalue":{"value":"10.1070/IM9107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5033990$3BFBD77B-56D5-4387-9099-8356E5AA6E20","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bb204512779649a2b7e626532f25e583bbf74a7f","datavalue":{"value":{"entity-type":"item","numeric-id":1259593,"id":"Q1259593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5033990$B7719440-FE2A-44E8-BC5C-BDA7751136C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92bd3f46a2adc174dc7009a9128aacaa30a8a3ad","datavalue":{"value":{"entity-type":"item","numeric-id":1215626,"id":"Q1215626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5033990$F629389D-4B98-4635-BF1A-C7F4BC9E3EBF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7b151f74118b2089fb45521b3381aed82f2e9708","datavalue":{"value":{"entity-type":"item","numeric-id":2710693,"id":"Q2710693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5033990$96D880ED-AD6D-4170-BCEB-223591BAC07D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"196912be4672b459976a88ae8f7f9742202f7363","datavalue":{"value":{"time":"+2022-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5033990$E4E0CE9F-8D96-4637-A1DD-F94A570E572E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5033990$7802AC54-0BEE-47C2-9E07-370466D68C3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"359d9214706dbc66ac3961682fd6e1a1f192392f","datavalue":{"value":"7480692","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5033990$5E34505D-236F-4E2B-A568-40F437A52EC1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5033990$8D669597-CC04-4703-A04E-908321DEE0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"230bf7bae2f54e9aea7898a9832b161865d810f9","datavalue":{"value":"reducts","type":"string"},"datatype":"string"},"type":"statement","id":"Q5033990$6FD25FA4-F044-4ADB-84B5-0712D5A0DCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afb490534d7c27dec34226ebfea696efedc9e55d","datavalue":{"value":"Svenonius theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5033990$EAE6FFC6-53D5-456D-9C50-DC6454A039D0","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":"Q5033990$AC55A662-0C5A-40DE-8566-36409BA0015A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a40abffd6136ffb8776dbb4de177836663c87927","datavalue":{"value":{"entity-type":"item","numeric-id":1259594,"id":"Q1259594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5033990$76325234-FF29-4FDD-8F39-413DB91572C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bfbfc441b9b1de24d2507a87128b38a970665fb","datavalue":{"value":{"entity-type":"item","numeric-id":5009704,"id":"Q5009704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5033990$A427B571-7460-402B-9616-D0A3C2B32514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f84c82de96fb7c7b710e84da042fa6d2d7d4ea68","datavalue":{"value":{"entity-type":"item","numeric-id":5520636,"id":"Q5520636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5033990$DE44124D-6189-4A14-BD3B-F4B4F3F2FC6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad48028ffb7cd3fb3bb9d0b5903e6483d7a35ed9","datavalue":{"value":{"entity-type":"item","numeric-id":3816047,"id":"Q3816047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5033990$680D51D8-9B19-493E-BF78-05B2700C16DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ff5e8cc09d90db337881e1e31a5da5385b1c35e","datavalue":{"value":{"entity-type":"item","numeric-id":2197237,"id":"Q2197237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5033990$D51D02DA-31FB-4163-943B-8B16AFA203C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11757468fbf14c5674dc3da7c5f4127fedf29a69","datavalue":{"value":{"entity-type":"item","numeric-id":4644608,"id":"Q4644608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5033990$450204BC-10F0-4B63-90E6-010855539DF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb827ed12e54bac95c43d99396bd77936330c554","datavalue":{"value":{"entity-type":"item","numeric-id":4681894,"id":"Q4681894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5033990$3525CEA3-0F6F-4B04-9C91-A82610F1E35A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae6074e1b5fc448ab92ef083d4a370828e51d474","datavalue":{"value":{"entity-type":"item","numeric-id":2540894,"id":"Q2540894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5033990$7BA98B53-C32D-4E64-8588-AE9C23CD3F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2936e900c92f6a0f9fa69e7855c84792dc5e0129","datavalue":{"value":{"entity-type":"item","numeric-id":2275386,"id":"Q2275386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5033990$7BC26C77-D58A-47A7-9188-5270D4F18067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1c1e904708af82e9def9d2e94418c480d8e74c8","datavalue":{"value":{"entity-type":"item","numeric-id":1220148,"id":"Q1220148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5033990$CF334081-10AA-4DC8-BF54-E186D0A9E55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e89d61d836b2a426e79d126b49dc23662d1d6b95","datavalue":{"value":{"entity-type":"item","numeric-id":3617366,"id":"Q3617366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5033990$98B31E4A-F60D-4BE9-A3EA-3E9CE1334ED3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94d81a87e1b98a1d6c79e61755622414421c104c","datavalue":{"value":{"entity-type":"item","numeric-id":2949677,"id":"Q2949677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5033990$3FE0B45F-F163-4392-AC46-D7434147D993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f64426a8a04381d39f656cdb1845172710af838","datavalue":{"value":{"entity-type":"item","numeric-id":4638984,"id":"Q4638984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5033990$12449B12-E55B-4B4B-B76D-5527FEA2E3A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e02bca4e0fe313ab97d1b96d7e30195893e3da60","datavalue":{"value":{"entity-type":"item","numeric-id":4981145,"id":"Q4981145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5033990$3834E592-C03A-4662-96C5-D1A842FC4049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5033990$32B6B8F2-0CE7-4829-A003-1805D6B7E332","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e70b1e465e16f2773105db263531ead9b6587e5f","datavalue":{"value":{"entity-type":"item","numeric-id":4981145,"id":"Q4981145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc86e0352fb2840a3d8985fa55c74a198444bbe3","datavalue":{"value":{"amount":"+0.8253381848335266","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":"Q5033990$D5A16C70-5A1B-4683-B076-5D7DAB60AB3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04cd10665c633e0ae7f6d65bfc7259b13f61a5b6","datavalue":{"value":{"entity-type":"item","numeric-id":2197237,"id":"Q2197237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5e53a6a915dc39404f805069a116fb81809469b","datavalue":{"value":{"amount":"+0.7646797895431519","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":"Q5033990$7751175B-B6EB-40F8-B433-D20260B4D988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c97802547fa540e663c0141f8aece2702b6e7f2","datavalue":{"value":{"entity-type":"item","numeric-id":5155115,"id":"Q5155115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b7d48529e8d5bad798424837ec7cc60745782ec","datavalue":{"value":{"amount":"+0.7464908957481384","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":"Q5033990$D3C2B0DE-A7F7-49A2-8065-CF0605C0D7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"698d51af35e70a9380717ed8383be92f98ff3b0c","datavalue":{"value":{"entity-type":"item","numeric-id":4516990,"id":"Q4516990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4d3571333b9ff74baff690c00f530ce612e130f","datavalue":{"value":{"amount":"+0.727172315120697","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":"Q5033990$B09C565F-EB65-455D-AAEA-321F88EBBEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d27b5bd94db008d186559cd2e75bc3cc451080cf","datavalue":{"value":{"entity-type":"item","numeric-id":3478404,"id":"Q3478404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b95d7c485bb7606714620007ab84203089a00907","datavalue":{"value":{"amount":"+0.7096709609031677","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":"Q5033990$EDA47ACF-1A11-44A1-A34B-7AE00DB00812","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5033990","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5033990"}}}}}