{"entities":{"Q1199822":{"pageid":1210571,"ns":120,"title":"Item:Q1199822","lastrevid":66854796,"modified":"2026-04-12T13:18:27Z","type":"item","id":"Q1199822","labels":{"en":{"language":"en","value":"Final algebras, cosemicomputable algebras and degrees of unsolvability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 96043"}},"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":"Q1199822$AF18257C-33B8-4C5C-8324-324CC84A6615","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e633328c41330c836e07250f3cb9cd5a3623092","datavalue":{"value":{"text":"Final algebras, cosemicomputable algebras and degrees of unsolvability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1199822$4BDD4E74-7B2D-4FC9-91CC-9FA93F199C1F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68e5602cd598f00af83d2475c64c56153215a58b","datavalue":{"value":"0768.68093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199822$E21A7633-C71E-4543-9B16-2324D28F66E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d684d705ca1cf967c6c42758209e48392e551107","datavalue":{"value":"10.1016/0304-3975(92)90305-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199822$20831295-7F32-4CD3-8203-7E4CBF3520E7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2f061899b2b82dcfb68452d0e393f9f5a06fe89d","datavalue":{"value":{"entity-type":"item","numeric-id":168598,"id":"Q168598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199822$BE7FCEEF-5CB2-4AD8-858C-564E3882333C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199822$D6054F15-9DDC-4D5D-B7A3-97C981F9B76D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d158e95d9652c2d0191af4ccea1d07838d2e8021","datavalue":{"value":{"entity-type":"item","numeric-id":241052,"id":"Q241052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199822$81F448FC-6ECC-42CF-9ABA-E6B3DDAB5F20","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199822$DF2D7803-4BD4-4CC4-94DD-A45355823BE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b0879f591850b4f9f14b2c481d3e08995aa22089","datavalue":{"value":{"time":"+1993-01-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1199822$7B1487A2-10C3-4088-AF49-88DB6DD34530","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199822$6E14E132-A6A7-4FED-A60F-2BD52EA50108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199822$2D3B794D-0669-4FE6-856D-A24D095E42DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"18bdc3e9791879423538829d590ed2da8e1e9db6","datavalue":{"value":"03D25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199822$E7EC2C0F-70B6-4FB9-971B-BA84B8019ECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c3ec75de9d78727d03193af1b75f5a165ed0668","datavalue":{"value":"08B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199822$7B0E72D0-9E60-45F0-835C-49D0C4A9B0CE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0a19dfa8d65ec368207d1b0bc1d6fa34db81c14","datavalue":{"value":"96043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199822$5086F1C8-DD97-48E5-8ED7-6EF90FFEA55D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199822$4D066F7A-E7B3-4132-9566-95BE930AEDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199822$9F97724A-05B1-42EA-849B-2AD34B9ED179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ab9894bc00396985562f3a742b4d98c64304c54","datavalue":{"value":"cosemicomputable many-sorted algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199822$D5DAF3A7-47BC-49EA-B1BE-A11E64E38926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3cde7430d05a0cc1f761470767ba2ddc16a8551c","datavalue":{"value":"finality","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199822$7398FA22-549D-4062-982E-AB178EEEC347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f36caf563e9bc8ddccb2e5f5a74359c9c0c2b579","datavalue":{"value":"minimal-state realizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199822$5381CAA3-F66D-4426-B944-FEFF5994E097","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c7fc631045d6696648b440b3bd12235b796b116","datavalue":{"value":"many-sorted signature","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199822$89592105-0C67-4B19-8D8E-F4192F082289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2a0e086e4dfaf0d767dca1a1edd5351968910a4","datavalue":{"value":"signature extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199822$87F15963-82C7-46D2-B77E-08B7000CC55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75ceae7895f1b2221fe30ebcdc658487da0d42fa","datavalue":{"value":"congruences of finitely generated free algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199822$E1AD2B63-5C7F-4BAB-AB70-D379A9307595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6042eb01dbef55111134d790f6f3e5b9ca602eb4","datavalue":{"value":"Turing degree of a minimal algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199822$2440F3E5-FAC2-42C0-A6C5-48DE166C548D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3adc047020df410d528065d40adcf09a779f8df1","datavalue":{"value":"r.e. degree","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199822$A6904BD1-DA57-46FD-9EE3-67BE04B6EACA","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":"Q1199822$ECE0E2D1-33C8-40A5-ACC1-AB916670E613","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3744dcf2bce65710124275d29816dcca108a9baf","datavalue":{"value":{"entity-type":"item","numeric-id":1098613,"id":"Q1098613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199822$5FC6CF68-9186-406E-8507-40248ED60222","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6162a47706be814c34042fd00c7c48b95d112be","datavalue":{"value":{"entity-type":"item","numeric-id":3662597,"id":"Q3662597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199822$3A35D41F-871E-4C65-AD78-8937C33E5DE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7f0f87fa003fc86f84c772dc3053954d363a163","datavalue":{"value":{"entity-type":"item","numeric-id":3208066,"id":"Q3208066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199822$A27F4442-C9F9-420A-81B3-510C040FE646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3813ab614a97a156330c623ed2e7bf909d45fa","datavalue":{"value":{"entity-type":"item","numeric-id":4105777,"id":"Q4105777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199822$FEADD66D-7C55-4285-832E-B148598A54E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9840d437537733033ac55143f6f9d18f14922ac3","datavalue":{"value":{"entity-type":"item","numeric-id":5662078,"id":"Q5662078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199822$9BF9C198-B333-4EEF-8012-338C8F81949B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9c583b65c7819a91d7f03c50f27e11283eee826","datavalue":{"value":{"entity-type":"item","numeric-id":3962973,"id":"Q3962973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199822$7B3093B4-9BB8-485E-B35F-CEA03068F336","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b10505dc01f8f087a2fc1b4a9ffcf5190a299734","datavalue":{"value":{"entity-type":"item","numeric-id":4178466,"id":"Q4178466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199822$F80D39D1-F5A5-4D57-AE7E-52191C020BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e5039dae357336c077d411be3733ff0cbac146","datavalue":{"value":{"entity-type":"item","numeric-id":4064160,"id":"Q4064160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199822$CE305692-732D-4F20-9776-1E38C5D7EB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42f524d35123721fcaa1bcffec07bc906cfe14da","datavalue":{"value":{"entity-type":"item","numeric-id":1252032,"id":"Q1252032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199822$84475217-4268-4B9C-9864-42F61E8622F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3e97b26002280f9f809ba5748da7ac804b97361","datavalue":{"value":{"entity-type":"item","numeric-id":5338325,"id":"Q5338325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199822$DF1FCAB3-B0DB-4C4A-BCCB-ADF31D00D6B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f170d1bf622491cb6b4b793c7af31a789e14e59","datavalue":{"value":{"entity-type":"item","numeric-id":3687683,"id":"Q3687683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199822$AAEB24D9-0492-48F7-84CE-3254952CEE94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"360cc14210d040c82c3fb8482fcff4a97cc7c9bc","datavalue":{"value":{"entity-type":"item","numeric-id":5537373,"id":"Q5537373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199822$DFC51D80-0F69-4026-97BC-29741D2E40C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199822$E9588421-3BC2-48F0-BCF0-04C178900C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893133b7b86a6ea8f7bda9829deaacd67f7e2f67","datavalue":{"value":{"entity-type":"item","numeric-id":1131834,"id":"Q1131834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199822$E280022F-DA3F-4B59-A9BF-0149E2463906","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c98a527fb3a867c1d134f002a624f86ff9a8c03b","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90305-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1199822$D51E7776-72D2-45F0-B4A4-E1A7FF31D843","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f597e97e1ad1ea5e3cdc62476c5a1e6c39030ab7","datavalue":{"value":"W2050029329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199822$94A57CC7-2A80-4CF2-9307-790CD21E6ED9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"05c6bb6ce327f7aa94173a9134e8a23a78874fd8","datavalue":{"value":"Q127883873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199822$9D5A352C-6E3C-4D5D-8BB6-CA26777D9A96","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab66c96390f3ad33b0c498fb48a2410c9fe4f686","datavalue":{"value":{"entity-type":"item","numeric-id":3780425,"id":"Q3780425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f03facec996ab4b25568ff53abc3999851e7dc87","datavalue":{"value":{"amount":"+0.9973193407058716","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":"Q1199822$5249CEDD-0116-4602-931F-88E0D7C3D8CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c02adcb991284baa4992431a73d5d0488b8bee5e","datavalue":{"value":{"entity-type":"item","numeric-id":4728229,"id":"Q4728229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f4846c7fa5c57ee66f9472c40caaa53541c2171","datavalue":{"value":{"amount":"+0.778939962387085","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":"Q1199822$4E5B6833-DC0F-4DF8-959D-0AC339F8440B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16461d437e263daf995ab78d470c490220a8fdbe","datavalue":{"value":{"entity-type":"item","numeric-id":3980817,"id":"Q3980817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f34c2e6c2cd42561aca90850772eacb2ab34d2f6","datavalue":{"value":{"amount":"+0.7604554891586304","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":"Q1199822$5EA2835D-719C-4BA3-8FCA-E9059788B231","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8a19643dc2d1f679e4615a55f9d1b8eb146853","datavalue":{"value":{"entity-type":"item","numeric-id":4369896,"id":"Q4369896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45fb8a27720f5909f650fbb0aa3321aa66a010bf","datavalue":{"value":{"amount":"+0.7587977647781372","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":"Q1199822$5B28AAC3-F5C3-4251-AA0D-374EB1061E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1611f01722ddc3d744df03c75b903ae768cc337","datavalue":{"value":{"entity-type":"item","numeric-id":4802731,"id":"Q4802731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dd2a7c1e991978adab91b8b90ffce4bcd543115","datavalue":{"value":{"amount":"+0.7575632333755493","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":"Q1199822$08E8720B-ED67-48A9-A2BF-DBC3D48120EA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Final algebras, cosemicomputable algebras and degrees of unsolvability","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Final_algebras,_cosemicomputable_algebras_and_degrees_of_unsolvability"}}}}}