{"entities":{"Q1159632":{"pageid":1170381,"ns":120,"title":"Item:Q1159632","lastrevid":66405732,"modified":"2026-04-12T09:51:16Z","type":"item","id":"Q1159632","labels":{"en":{"language":"en","value":"Solvability of the all-existence-theory of a certain factor-lattice of recursively enumerable sets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3747090"}},"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":"Q1159632$9391AE3F-A4BA-4F2F-9F53-BF661B256834","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b2afb7f94703516fad9cc56feb78c7a14da8555c","datavalue":{"value":{"text":"Solvability of the all-existence-theory of a certain factor-lattice of recursively enumerable sets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1159632$1131539F-DC6E-4132-BEE8-EC91A9C16980","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a705ea8bb39ce27145add1ff5e9f2cc94bc85c03","datavalue":{"value":"0476.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159632$157C613D-21BF-41EA-9BC5-013A046D403C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b698956a8d1cecd97b68a2b795f85fa606166ea3","datavalue":{"value":"10.1007/BF01670108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159632$3489228E-3628-48D8-B21A-8585A4CC3694","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":"Q1159632$3EF90AE3-405B-49A9-82A0-0C649EBBDF43","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q1159632$C4E0263A-6712-402B-99B8-96C225DB2742","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159632$A568DCE0-A051-42C4-83A5-620575D91067","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9cd507a0a4f63dffd26d90952f243c7e74f6453","datavalue":{"value":"3747090","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159632$0683B976-E93B-4AB2-8057-61AF0619308A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e2a1b8dd2902185390ec17f1d4ad210c2a10492","datavalue":{"value":"lattice of recursively enumerable sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159632$FB83E369-A573-4AF3-A6AC-22DF5D69969E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dba7898297bcac55c6aef58e95729a8efd6cd75b","datavalue":{"value":"immune sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1159632$5DEAA021-31BD-49AB-95A7-0937720F8B6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"587d11483618646ab2f82c15bc64ced23d8304ad","datavalue":{"value":{"entity-type":"item","numeric-id":178406,"id":"Q178406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1159632$5820C463-FFAE-4B4F-B412-40FE792B61EE","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":"Q1159632$B765EC86-06BE-416A-8898-370CE41C81C7","rank":"normal"}],"P223":[{"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":"Q1159632$53F31625-229F-4CDD-9431-4E047099781B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"06ad9fe219ad7d7ad67bf831312c6a709e90bd7c","datavalue":{"value":"https://doi.org/10.1007/bf01670108","type":"string"},"datatype":"url"},"type":"statement","id":"Q1159632$774F79AD-26FA-4475-9813-994DB461D730","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef60b08be94af187c6adde426f6b95d870272277","datavalue":{"value":"W2090119609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1159632$02EA7BFA-D4A8-4E80-8018-CF2237EE7951","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Solvability of the all-existence-theory of a certain factor-lattice of recursively enumerable sets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Solvability_of_the_all-existence-theory_of_a_certain_factor-lattice_of_recursively_enumerable_sets"}}}}}