{"entities":{"Q1799282":{"pageid":1810024,"ns":120,"title":"Item:Q1799282","lastrevid":71275230,"modified":"2026-04-13T21:08:55Z","type":"item","id":"Q1799282","labels":{"en":{"language":"en","value":"Formalization of the undecidability of the halting problem for a functional language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958313"}},"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":"Q1799282$7B87B85C-6186-42FF-990B-0EABC924E124","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eebf7e30863c61c240c02de94376e852ee4ea77f","datavalue":{"value":{"text":"Formalization of the undecidability of the halting problem for a functional language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799282$468A0546-53E4-4CD0-8441-AA31A4DE0C36","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6eed785063012e263c64839700bca9044c1879a0","datavalue":{"value":"10.1007/978-3-662-57669-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799282$7C8B99DA-2AB0-45E3-8E1D-1C29B1490FDB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ee6556224e3ca5da795127ab1761434d75945cb","datavalue":{"value":{"entity-type":"item","numeric-id":1799281,"id":"Q1799281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799282$479DA09E-B479-45B1-81BD-5E98A542562B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"964ad06bbce2223d39835995102fd837d5d2b24f","datavalue":{"value":{"entity-type":"item","numeric-id":1791191,"id":"Q1791191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799282$72AFB4FB-3A05-4CEC-B374-9C7528D0962B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb39c66b74dd471ce57c28215b275dfb915aaaa4","datavalue":{"value":{"entity-type":"item","numeric-id":529653,"id":"Q529653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799282$63F7B001-3CE6-41B3-90F7-DF9568E530C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1684e6d1ab96f8ce065c335ada648ad924c8214","datavalue":{"value":{"entity-type":"item","numeric-id":1791189,"id":"Q1791189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799282$FC37D103-19D8-42D6-B690-133750BD2503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f65c55c577dca43ece6d4cde019f5041f21f919","datavalue":{"value":{"entity-type":"item","numeric-id":287268,"id":"Q287268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799282$01FC31FB-F091-4968-A7E4-539447AD168C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b92c35f500f268d671c415a02b1967564d5af9a","datavalue":{"value":{"entity-type":"item","numeric-id":287266,"id":"Q287266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799282$8DFBA667-1B66-48A5-8259-B0B26C457399","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799282$83A4CAA6-8182-480F-A47F-B694AEFD37C7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799282$36CCBDF7-0ADC-4883-ABF8-3DC5856D5ED6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799282$B3631E1D-353D-48E9-B86A-F3EB945D8F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799282$C8487AB8-F725-4B6E-8A97-BA4DC58102F2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4476b9640a845340c30237d7360428c7bf7d0e61","datavalue":{"value":"6958313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799282$75F82A2D-369B-4332-92A2-624CC0F17F07","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":"Q1799282$046BAF3A-FEF3-4FCD-8B3B-C7E697C68272","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"35ea2447d41ce29ed78e07b71444caa7049270bc","datavalue":{"value":"https://doi.org/10.1007/978-3-662-57669-4_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799282$74396623-D13C-4E6C-85D9-5A42F190EA09","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4a54b19ef130f6bdd34089d11b459b04243ccfe7","datavalue":{"value":"W2811265870","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799282$3373F6F3-E629-4156-92AA-A994EA43D0A6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61fd615f827df83520f8908bdc8997913c99969a","datavalue":{"value":{"entity-type":"item","numeric-id":4736396,"id":"Q4736396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28991003b60f7aa8d8438154aedd467bb52f7520","datavalue":{"value":{"amount":"+0.8226849436759949","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":"Q1799282$9866F911-2A0D-4B24-999D-714D8F4E07A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"379619104e2575627ef4d10150d8c4bbb454e302","datavalue":{"value":{"entity-type":"item","numeric-id":4600393,"id":"Q4600393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a08a4194e5975d72acfd3acc13eeaca20882fd19","datavalue":{"value":{"amount":"+0.7813334465026855","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":"Q1799282$AAE880F7-3F1B-4C28-BC7B-5BF1A0B59204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6eb84dd24c4977918a46d25d1ff70f6741c10d3f","datavalue":{"value":{"entity-type":"item","numeric-id":3766888,"id":"Q3766888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e00e7567e22f9153efa935686072302cd8a79e6f","datavalue":{"value":{"amount":"+0.7733946442604065","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":"Q1799282$1F2381EE-B5D8-47B0-A25C-4453CFD09462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0d8051ea290f1808aa3c6c4c511ea5dd89c1056","datavalue":{"value":{"entity-type":"item","numeric-id":2102949,"id":"Q2102949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c290b05ad7e5c8f58d13390cef085694be5e5a2","datavalue":{"value":{"amount":"+0.7607786059379578","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":"Q1799282$1CBC9873-E903-42E4-942E-88A81D397D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6a29a49d93a61b94a14112bb543f1456404a897","datavalue":{"value":{"entity-type":"item","numeric-id":3764141,"id":"Q3764141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8c90c5622fb5a2374504ea7fe2c342678a0cbcb","datavalue":{"value":{"amount":"+0.7123823761940002","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":"Q1799282$57DF6DEB-CFF8-4735-85ED-B1B2383C9C62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalization of the undecidability of the halting problem for a functional language","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalization_of_the_undecidability_of_the_halting_problem_for_a_functional_language"}}}}}