{"entities":{"Q1114679":{"pageid":1125428,"ns":120,"title":"Item:Q1114679","lastrevid":42888625,"modified":"2025-07-15T18:12:26Z","type":"item","id":"Q1114679","labels":{"en":{"language":"en","value":"Semilattices of computable indexations of classes of constructive models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4083609"}},"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":"Q1114679$60FEBC32-BFE7-4984-9C90-72DFF70135E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f436870aa7d262a6428ec16965b24f848e40c3ba","datavalue":{"value":{"text":"Semilattices of computable indexations of classes of constructive models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1114679$039331D3-E843-4324-8030-6A761D2D58CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1800132b9974bf2497d80786876aa934e65fe59d","datavalue":{"value":"0663.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114679$1C2F806E-651F-49B3-9FAD-0A13C6879D14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7d5ea7ee7813e0efa78c3b6645fa72c69d13a01c","datavalue":{"value":"10.1007/BF01978690","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114679$FE323509-3C56-47B9-AAD2-8EB54905CE48","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1b4277d37189b43b84fb041f9c89ea1503a9168","datavalue":{"value":{"entity-type":"item","numeric-id":580330,"id":"Q580330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114679$5D9DD593-2302-4618-9EA7-D2445F7E9090","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ef3ca3322541db05049091162b21145bd512b130","datavalue":{"value":{"entity-type":"item","numeric-id":251873,"id":"Q251873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114679$B1340132-8BAC-41A5-B449-29B154EB1284","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1114679$66360038-237E-4728-A51D-E57068424C10","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"b47c3bd356259aea8e3ef39c25301ed06dae8afc","datavalue":{"value":"See the review in Zbl 0646.03041.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114679$CD32452F-B5EF-41F5-A065-592D6D183602","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114679$AF87E68A-8F8D-4A52-A2AC-DB712767FF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114679$0A1A2827-E719-4CF1-81C5-49959F656029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114679$C0A6E61F-65C5-4AFA-93BD-8106D5D3FFDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114679$01710446-6B50-4973-B938-DBBEE8994606","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d1fd373e881891bdc1c151cc27c6dda67faf9412","datavalue":{"value":"4083609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1114679$ABFFD723-7255-4C17-A2B8-49713178B053","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec3f6e3b1065ebfe56c4b706ce30a3023779c3eb","datavalue":{"value":"effectively presented models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114679$9AE5BDF2-AD4E-4A78-B06C-5B58DBE76733","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ace10b23166e4e9617cdc092fd721fef3dbd0c96","datavalue":{"value":"computable indexings of families of constructive models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114679$109E05CC-437E-4595-BC87-740341EF6073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"254237c82319d7f6e45e79f0543d891e01aa1334","datavalue":{"value":"G\u00f6del numbers of finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114679$7BCEFF24-FBAC-4272-B5F3-C1560442BC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"914c7fcffd431f25c441be9c1248128fc20fa3be","datavalue":{"value":"semilattice of countable indexings","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114679$DDD579AD-637D-4AC4-9161-628608D55159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02ee9f17aaedd2b505c74937f507a438d3630c80","datavalue":{"value":"index set","type":"string"},"datatype":"string"},"type":"statement","id":"Q1114679$9E7DCE7A-1229-4DE7-9695-028E63023FC6","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":"Q1114679$361368B1-243D-43D0-9943-20ED1E450EF5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"832afdee155e301b25d1482b0989d7b69ae57697","datavalue":{"value":{"entity-type":"item","numeric-id":3322080,"id":"Q3322080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1114679$CDFC0944-CD88-4020-8C0F-5FE00E9AA42A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1114679","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1114679"}}}}}