{"entities":{"Q3880826":{"pageid":5910731,"ns":120,"title":"Item:Q3880826","lastrevid":54597305,"modified":"2026-01-29T04:47:14Z","type":"item","id":"Q3880826","labels":{"en":{"language":"en","value":"A Decidable Fragment of the Elementary Theory of the Lattice of Recursively Enumerable Sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3685467"}},"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":"Q3880826$632BB8E8-7F36-4C21-8A2B-6D89A0B6D833","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e33c1abb33e2d61726025933c063efe80999099","datavalue":{"value":"0439.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880826$7C00FF5B-7959-4127-A525-1BF9FA8AEC84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"20fdb1ea0d6a54236aef1a299200322cdfac14a9","datavalue":{"value":"10.2307/1998123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880826$E3369708-4124-4DB2-9A2F-BC001289A92A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99d656eeef84f51d80bcbc7ccf03ab138401b634","datavalue":{"value":{"entity-type":"item","numeric-id":207673,"id":"Q207673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880826$88275198-5E2C-4EA5-8DA2-DFBD823D6F85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d2bcabba238ebd3703bf94360bc556df90e8632","datavalue":{"value":{"entity-type":"item","numeric-id":1049746,"id":"Q1049746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880826$BE0D83CD-F5BF-40BA-95B2-6F6B754C8DA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3880826$EE360BCB-F6C7-47EB-9435-4CF2007F2967","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880826$BDA8F762-A435-471B-99FE-D0B8525E5F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880826$89946F86-89C9-4786-8C4E-0E122F1CD758","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880826$BBBDAE93-7B3C-4B33-9D67-2ED82E6444C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"625495dc8cf796ad780e9da29b6a4a78ebce22b1","datavalue":{"value":"03G10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880826$5D087F05-616A-41C6-B8E4-BDBB7FB448D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ce5b74470053f031a57488d42a2b289573daad5a","datavalue":{"value":"06D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880826$7E334AEA-D2F5-4E9F-A4DA-D5C6D5C803F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d74c6db949f836d2a840d205d8a3ea499d0325d4","datavalue":{"value":"3685467","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880826$91D67F83-29AE-47FB-80F9-4ED8C3E70CBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d891f0f506bf6295e36b41b40d7d3f4bb11ebe88","datavalue":{"value":"d-lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880826$0ACC52DE-5699-49EA-80F1-A35E1F9F4936","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a281eebaf07504257dc8399d89d8b3ffcccddbb","datavalue":{"value":"r-maximal sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880826$7DB7BCC0-92D6-43D1-B988-219F702C3C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c49f0ee9cfa58892274f2b78869b8efbdf8ffc2b","datavalue":{"value":"hyperhypersimple sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880826$15F707F6-93E2-4ECB-AAE4-FE57E01C5552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb79299daf8f29391d6c8a2b4222865ffe474551","datavalue":{"value":"decision procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880826$0486375B-CCD1-4881-9ABB-A0A156750074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"232da7beccec0404a9ae33ed6168c19b9db2fbd1","datavalue":{"value":"fragment of the elementary theory of the lattice of the recursively enumberable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880826$80B5DB84-0029-48E6-ABEB-0F10F2F2D722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d7da0a565782c43311d3069e090b3b0784697f9","datavalue":{"value":"maximal sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880826$64FDCC0D-F569-4C38-9ACD-E6C59B3E9EC6","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":"Q3880826$F432ABAD-2B78-4F10-ACB4-5248D4C695E4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40ea797d79702b87af45227db02072a397c4e78f","datavalue":{"value":"https://doi.org/10.2307/1998123","type":"string"},"datatype":"url"},"type":"statement","id":"Q3880826$FF439F78-47F0-4BE2-8B86-EE5B38942B0F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c399c09111d53fb56b2dcc6b46eddbb690460d8b","datavalue":{"value":"W4237804810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880826$5251E44B-C17E-4A1C-8060-A80E5484201B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"52d4c424b10c556a167a2b97b2906f9a0c3c64b6","datavalue":{"value":{"text":"A Decidable Fragment of the Elementary Theory of the Lattice of Recursively Enumerable Sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3880826$9E839B2B-D953-4EF4-8600-91BB28148C38","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbb4345013f8ef2397bf199269ba5db1a54ffffb","datavalue":{"value":{"entity-type":"item","numeric-id":3260571,"id":"Q3260571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880826$6FDD7442-2F85-4BF4-A56C-6FA869021A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"869d5e832e538eb4b0e623ff1a7447d3803d75a6","datavalue":{"value":{"entity-type":"item","numeric-id":5593823,"id":"Q5593823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880826$20F7ABEB-EEC3-4975-ADBF-2FD88D856DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077b9fe34d72d2bf676c1af169f2284ce78c9086","datavalue":{"value":{"entity-type":"item","numeric-id":1843563,"id":"Q1843563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880826$EDCC091A-0764-4A41-BA5D-6ABB2A9B208E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81cc9b3f543a41c988076ae748700dea2b62bd94","datavalue":{"value":{"entity-type":"item","numeric-id":4767304,"id":"Q4767304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880826$B41A9DBC-5A61-4349-BDA0-132A9069791D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92c4923b77557b603f1cb9c94737ae56781e22c7","datavalue":{"value":{"entity-type":"item","numeric-id":1393224,"id":"Q1393224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880826$4615DD6B-8086-46F8-808A-12BF69939904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2351d6a9c1cdbc203a01a7dada90803c623a1210","datavalue":{"value":{"entity-type":"item","numeric-id":4172045,"id":"Q4172045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880826$1A75E5AC-AADB-42F3-B2FF-7FD9DE40A83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0665857a7e548ddce8eacc922d9f75c81ec1652","datavalue":{"value":{"entity-type":"item","numeric-id":1248505,"id":"Q1248505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880826$8C5A3690-9AAF-4CAD-AB14-FA84202583C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d07283347885f4b76c1109ffb32a3144d40d2775","datavalue":{"value":{"entity-type":"item","numeric-id":1155608,"id":"Q1155608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880826$8BCAED96-F34E-4245-9809-B2DF9B0C974A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba7039ce1a41f3b0c4f4e36248ae9d3fb4d1cefc","datavalue":{"value":{"entity-type":"item","numeric-id":5571699,"id":"Q5571699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880826$6492ACB8-2CB5-4ACD-84AD-EDE390670B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1991913a85290c9f588c4d05954f1d869ebb0399","datavalue":{"value":{"entity-type":"item","numeric-id":5602099,"id":"Q5602099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880826$A6654D7D-32FF-40BB-8927-62B4398BE328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbc038228f31f8d1672154e0732d39f3ae40ff54","datavalue":{"value":{"entity-type":"item","numeric-id":5534208,"id":"Q5534208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880826$80886796-6A1F-45F6-BE36-F4EFF43A322F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbb2d1d2fcf2a85571869813af6e029b5ac5ce43","datavalue":{"value":{"entity-type":"item","numeric-id":4140972,"id":"Q4140972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880826$B9EBCC0B-FF9C-4D33-B9B6-265C6999E059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1632bd50bba5ee54e9ee5dc7960b83ea30f855b7","datavalue":{"value":{"entity-type":"item","numeric-id":4138719,"id":"Q4138719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880826$A296C934-262A-49CB-BB68-1DC4B740FCC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e24bf59e38036f09fa3feb656c1d94032cd520b","datavalue":{"value":{"entity-type":"item","numeric-id":4182728,"id":"Q4182728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880826$7944175C-6A6C-4D64-B2D7-0111578A6388","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7cd69fdc6ed856e2a15113f7fed4b10a2a0401","datavalue":{"value":{"entity-type":"item","numeric-id":2557694,"id":"Q2557694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880826$7749A0D1-2B22-4B5B-BDC5-89467EC04D53","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3880826","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3880826"}}}}}