{"entities":{"Q1044671":{"pageid":1046519,"ns":120,"title":"Item:Q1044671","lastrevid":69501351,"modified":"2026-04-13T07:25:46Z","type":"item","id":"Q1044671","labels":{"en":{"language":"en","value":"On computable presentations of some functional lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5650089"}},"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":"Q1044671$20515E09-F88B-4815-919E-797D53EB3E2B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5da392b2fd1e554b55674939b86ecf4a9ce12a20","datavalue":{"value":{"text":"On computable presentations of some functional lattices","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1044671$A56D6D38-8090-4F58-8A68-816E0C418187","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"08e2260ee8371beabc4ac88900350b74b6861485","datavalue":{"value":"1186.03059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044671$0BAE369F-E718-42CB-BE53-0B88DCCF4C57","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"786ecb874cd758b218aa4cf99a475aee0b3588ed","datavalue":{"value":{"entity-type":"item","numeric-id":175862,"id":"Q175862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044671$11A26D21-3AB8-46FE-8320-5556910B3C57","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7f6fcb376ebdd62ff7d154537da52d56e95e1f2f","datavalue":{"value":{"time":"+2009-12-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1044671$06011379-AD7E-40E4-8760-BBDC38151449","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"84f068e7ed376c1d3dc6650dd1ed3fac2be949ef","datavalue":{"value":"In the paper under review the author describes several lattices which have no computable presentations. They are the lattice of all computable order-theoretic automorphisms of the rational numbers, the lattice of the monotonic functions on the natural numbers etc. It is also proved that the lattice of all computable mappings defined on the rational numbers has a computable presentation.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044671$D8AA1ECF-2A85-472E-ACB4-95AC0000E3D5","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"7c0f9a5de2afd25d103c132e1617d4201a3c58e4","datavalue":{"value":{"entity-type":"item","numeric-id":591972,"id":"Q591972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044671$317FA9ED-5A6D-4307-823D-333A3535DF93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044671$0BE23BF4-F226-4E59-9DE2-F582393F6190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044671$E246DB48-6D9E-4D27-9F20-B51781ABF485","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c141ca69d5143a03c66009c3399e7b4304b4920a","datavalue":{"value":"5650089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044671$7F7CDD8E-9D8C-42B4-81DB-5C7C11939533","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b11d01f155b9d799c8ffe1fc5e6a1e5d8ab6a63","datavalue":{"value":"recursive model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044671$D70B6C9E-C3C9-4A52-A809-5EEA462105A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0e4a16285529157894742f974b72367511aae1d","datavalue":{"value":"computable presentation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044671$C81F7B48-DB5B-4D31-ADED-1560C9ECF84C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b940b018218c21fbb167d5d0f72119d4fac0165","datavalue":{"value":"computable automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044671$41574EBC-D5A0-4AA2-999E-F341F373D5DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98379766bd5d0a8b742f85f0a935594bb236c674","datavalue":{"value":"lattice-ordered group","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044671$364BF533-1DBD-4EBF-A6DC-C561C76649A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e2dd05e7a1175bcad0cac835df7cbc03aa2b08c","datavalue":{"value":"functional lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044671$56525652-66CC-4C8F-81DC-5633E74E3B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97eddc5524b4bd98f8e4b0d0299dec220add3876","datavalue":{"value":"computable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1044671$B3E19AB8-3998-46CA-BFE8-156469FC823E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5969ae5a2ffdfe98c9b3655a50da4e19018ece0","datavalue":{"value":{"entity-type":"item","numeric-id":630291,"id":"Q630291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044671$DF9DA317-6CED-44AE-B2F8-EE6F8421F770","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":"Q1044671$353D8701-C2BA-40C2-9D0F-CF41E628EFA2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26363d8c23f827e9a4a2cdff4142dc1cfc785b57","datavalue":{"value":"https://doi.org/10.1016/j.jlap.2009.02.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1044671$316A3408-A2EF-4F8F-B5C9-A29F8AC8CC0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b2374690e2810ccca6e9a1997410282cd7d2d74","datavalue":{"value":"W1975163874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044671$AD3D1BB5-8765-433D-82F2-D0A61668D2CC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"598acc1eb59fac7d309a8798823892ca4cce96ff","datavalue":{"value":{"entity-type":"item","numeric-id":4895089,"id":"Q4895089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044671$05749B6F-A333-4E94-B22B-C4570A3AD1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914a429db275f820ea1ebf8800b8662211b39fda","datavalue":{"value":{"entity-type":"item","numeric-id":3927300,"id":"Q3927300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044671$80F99790-20B4-4129-B256-20BFE191A49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef892522a12b4e94fb984c322cd147868bc1a3e1","datavalue":{"value":{"entity-type":"item","numeric-id":3130249,"id":"Q3130249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044671$29C97F7E-17AB-4960-AF80-7C5F42F8647F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"479dc9efd49b0ec3221549e4c54b6d08ff97575f","datavalue":{"value":{"entity-type":"item","numeric-id":2758070,"id":"Q2758070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044671$1B1B4071-5308-4937-8488-3DB6EF5CE427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94c23240bddb9efd1dc2fda691765ff480387863","datavalue":{"value":{"entity-type":"item","numeric-id":3546098,"id":"Q3546098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044671$892D850C-D131-4CE0-ACC0-142A3FFB614B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"099186e55b3e3b8023539b23188852922322d3cb","datavalue":{"value":{"entity-type":"item","numeric-id":1062975,"id":"Q1062975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044671$CB4179E8-2779-4BC0-8D68-ADAB6574D157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d577de86736fb4881d194a50d7543508e8cf603d","datavalue":{"value":{"entity-type":"item","numeric-id":1972201,"id":"Q1972201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1044671$78642908-B832-4A2B-BCC9-869095019DE1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c78e9b58e7e465437b09b5dc9fa6fd369051bd90","datavalue":{"value":"10.1016/J.JLAP.2009.02.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1044671$8924FEBE-F61B-4D5D-A5F0-C3BEBDB7FF74","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19604734f9b00b8ada8c41e229feda43c24d49ac","datavalue":{"value":{"entity-type":"item","numeric-id":1295402,"id":"Q1295402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afce1589d11044a4aa96d4dee58bac6ca05a0fe2","datavalue":{"value":{"amount":"+0.7742345333099365","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":"Q1044671$E07B16E7-6262-4EFB-9AAF-9753B4140B23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65b4799400c976ee38ed4386a3f0d5a68cf6ef06","datavalue":{"value":{"entity-type":"item","numeric-id":5391576,"id":"Q5391576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86b118f6cf61dc7260c89005aec245bfff5006b4","datavalue":{"value":{"amount":"+0.750366747379303","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":"Q1044671$9EBE0AF9-1A4A-42CB-8219-83C9C5A36C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f2928f9d87830488bd218865e73b1b11d2afdc3","datavalue":{"value":{"entity-type":"item","numeric-id":2285202,"id":"Q2285202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bf257ad0d11e08c2fef5983d5c03bfef08fd3f5","datavalue":{"value":{"amount":"+0.7303724884986877","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":"Q1044671$CE6D1632-74BA-4209-BC3E-CB6115AD85EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6cd2de7bba69a1e57b5ed2c3c45127f73d82418","datavalue":{"value":{"entity-type":"item","numeric-id":3188269,"id":"Q3188269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03e4abd0b1078fbbf85b5060e090f771da7a71e1","datavalue":{"value":{"amount":"+0.7226232886314392","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":"Q1044671$3084C7A5-9E98-4B11-AE0F-5E2BDFDF824F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed77dcc2fe6105b33aeb1865ac7da6dd3947a1d8","datavalue":{"value":{"entity-type":"item","numeric-id":3546073,"id":"Q3546073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f6117ad61d969a0120a6a14e6a65587e17ac6c0","datavalue":{"value":{"amount":"+0.7194092273712158","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":"Q1044671$A629295A-14D0-467E-84E0-7B3FAE856D9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On computable presentations of some functional lattices","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_computable_presentations_of_some_functional_lattices"}}}}}