{"entities":{"Q4032870":{"pageid":6062604,"ns":120,"title":"Item:Q4032870","lastrevid":55230589,"modified":"2026-02-05T02:33:27Z","type":"item","id":"Q4032870","labels":{"en":{"language":"en","value":"Recursion theory in a lower semilattice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 150236"}},"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":"Q4032870$7BB5BA91-DB7F-4A7B-ABF2-29269A14A1E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d4e7fb4cb646a8a439d71e6c1e5b240a23d13cd","datavalue":{"value":{"text":"Recursion theory in a lower semilattice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4032870$E39A5CB9-D72F-4F21-92FE-EE1D33BE03D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d94ba46c178c08cb6528ea203a2672d6128e04a4","datavalue":{"value":"0770.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032870$75E33CCB-9920-4876-96B3-18B2A6A0768E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"40fb8b9def8a7f366708aa19d0c74c8d306c9050","datavalue":{"value":"10.2307/2275438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032870$853A6075-DE5B-4C7D-9B5E-65A995EC2156","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cc9bf7acaab59c93340079735239381bc648ddd","datavalue":{"value":{"entity-type":"item","numeric-id":4032869,"id":"Q4032869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032870$3762AE73-DFCF-4941-B543-A81197E8A961","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":"Q4032870$FCDDDA2F-2986-4F2F-810E-C52FEE71EA6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8604b2a4c08e4f5e10819826d060da1f7baa01ac","datavalue":{"value":{"time":"+1993-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4032870$31B84219-94AE-44B9-AA6A-5225E7CAA84E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032870$5399854A-4864-48D4-9AF4-754CA5E45CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032870$6AA6A22E-202F-4D2B-9091-B6E7E6D668F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032870$D83AB4BF-EC2B-48AC-9140-34B5E7187DC6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd275d9070b0f2e74ea0745fce237f396234e610","datavalue":{"value":"150236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032870$B8E96FA6-0160-41B0-B3D6-977D488C3FE7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"562c063f7d0152a3c5a5eeb5c5648d0eaceaf64c","datavalue":{"value":"recursive structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032870$41F289D3-C7AD-4F38-A4CF-D0FEB7E5464F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad42cf61fa4c957578962d9bf1adc9089584c594","datavalue":{"value":"decidable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032870$DD86E23E-BA8E-4E83-8551-73806DFBDBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e2b1f3827044069af06977d5aae2a2d44628de4","datavalue":{"value":"partial order with greatest lower bound function","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032870$17AAC0ED-8F71-42BA-9CF0-394CA6ED5AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ccae20fc7a9056fcd6b10116c3d410f684687fa","datavalue":{"value":"model completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032870$7C753C18-DB8D-4044-9DC3-178CA30EFCE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70e8618466c0ce9246c3e67ffa10167bb73c3389","datavalue":{"value":"countable model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032870$8D16671A-394B-4CA3-8F8D-072B85AE5A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8245ffa856621cec010417819f232db37a7f8a0b","datavalue":{"value":"lattice of recursively enumerable and recursive substructures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4032870$9B2ED768-F217-41DC-B63E-501C536EFCEA","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":"Q4032870$34E7E0A0-F976-45CD-8F11-3B674B2858AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4846658724d893e2a3ceb89d3217bd8c31bf87d3","datavalue":{"value":"https://doi.org/10.2307/2275438","type":"string"},"datatype":"url"},"type":"statement","id":"Q4032870$3275A552-AEA7-4301-BB00-383F14E58FC9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"14adff88e1d7b77e96d223401b6dffd383319d6b","datavalue":{"value":"W2049135746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4032870$7DF50685-20A0-4B1E-8888-AF4B3A107673","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4527ca676af996d82bab232009ee4ba7bd19dac8","datavalue":{"value":{"entity-type":"item","numeric-id":762063,"id":"Q762063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032870$FB713368-C076-4CC3-A3B0-10DC11982F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47eda42b895f3b814239815045a64a69fc219376","datavalue":{"value":{"entity-type":"item","numeric-id":1078171,"id":"Q1078171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4032870$A9D89375-8C2C-4D82-813F-A702D932FACB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8289ec3d1d2a25a8a7b2ba3cc17ccfe1dd16474","datavalue":{"value":{"entity-type":"item","numeric-id":1734277,"id":"Q1734277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe981dcdff61bf2d81277aba80008506b7203385","datavalue":{"value":{"amount":"+0.7302897572517395","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":"Q4032870$A2A41D72-5ABD-4C0F-B1E3-B48A5C3F0B9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dfd5e2ba4038d85ccbc9fc039a70ead18e811ca","datavalue":{"value":{"entity-type":"item","numeric-id":802550,"id":"Q802550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18dc37bcfc4fd4cffa07212a318e641414ec9724","datavalue":{"value":{"amount":"+0.7272020578384399","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":"Q4032870$BA8373F7-F0C1-4332-9F2E-0600B9CA9DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d2889752b4fe8d6ceeaa51aa5a8ed21ef0e5aa1","datavalue":{"value":{"entity-type":"item","numeric-id":4813796,"id":"Q4813796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30bc415dd10b540b8b99efd5ccb4ee7eb22b37e2","datavalue":{"value":{"amount":"+0.7269389629364014","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":"Q4032870$85887AB0-FEF2-4CB6-A50E-508C4AAF810C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dde1e283f48246c681395d7e41ec1d1b4347eaae","datavalue":{"value":{"entity-type":"item","numeric-id":1093629,"id":"Q1093629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9451d157f57acc33105299898a3e0ec3ddad42f","datavalue":{"value":{"amount":"+0.7259498238563538","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":"Q4032870$B5F49A66-8A0A-415D-93DB-542BC3D3815F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc4d576728d4fec19fa0c56b9327d3fd1a4d1f9f","datavalue":{"value":{"entity-type":"item","numeric-id":1184717,"id":"Q1184717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7886abce86f4499b03e8379029eba99dbfaa62ae","datavalue":{"value":{"amount":"+0.7235884666442871","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":"Q4032870$A004F35C-46DF-4337-B3BA-94848AFE296A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4032870","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4032870"}}}}}