{"entities":{"Q859845":{"pageid":861693,"ns":120,"title":"Item:Q859845","lastrevid":64890588,"modified":"2026-04-11T22:54:44Z","type":"item","id":"Q859845","labels":{"en":{"language":"en","value":"An undecidability result for AGh"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5117657"}},"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":"Q859845$E2FE49B7-A20F-4DE0-8260-1BA85E34D29F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"003bd648c22e567be4b2ebbf5cd2c7c834ffbabd","datavalue":{"value":{"text":"An undecidability result for AGh","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q859845$3B4A91D2-F2A0-4F3A-BDC5-FB774B8FEE8F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a74581c2b47e26df33821c31db8fd72b7be49340","datavalue":{"value":"1171.94344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859845$A39883DF-FB9A-4E87-ACCF-C0600264A5E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"008edee8fc18ab1cd9ad59e3974fb7e15a23ac24","datavalue":{"value":{"entity-type":"item","numeric-id":391120,"id":"Q391120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859845$63BF166A-4B88-49A2-AA4A-F2EBD014591E","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":"Q859845$7A40587A-AE75-463D-8EC1-C696BFFC6DF3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8717bd621ac828fb200d97d6d2f52c061cac920b","datavalue":{"value":{"time":"+2007-01-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q859845$8ABC78F3-A953-4579-ADDF-98664A54D3E9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b3f5570531d36cdad95fcc8cba24a2dabc5fbbbf","datavalue":{"value":"94A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859845$2D75C9CC-10A6-411F-B3D7-6A281F7B00E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859845$96CFB050-5545-405D-AFE6-AC98CD639A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f100e7e9b912dd320a0f918ece3ef4edbbe567fd","datavalue":{"value":"68M12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859845$598B221C-7FC6-432B-833B-88C68AD28493","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e4a39f6e4e93ee7834a53d75c0a670a8521bb7e","datavalue":{"value":"5117657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859845$67A43898-EB06-4671-A222-F9685ADDDF5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q859845$9C30FDE1-D881-43BF-9564-79AE8314F21A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7156857ffe92ce842aee3549f498ec9de33be1f7","datavalue":{"value":"security protocols","type":"string"},"datatype":"string"},"type":"statement","id":"Q859845$3ECD469A-D7D0-480F-A5F3-AD06337B96FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2440c6394e2ac24533843222855bcea18333dee","datavalue":{"value":"constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q859845$ECEBBDE6-70BF-4CA8-B3B7-06D8463D884E","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":"Q859845$843EBFC1-DBC6-455D-8B2D-992CFAEBC1FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9948b24bbc9f18b9af77df3deb39cb62e27bd93","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.08.018","type":"string"},"datatype":"url"},"type":"statement","id":"Q859845$5F016811-3AE2-464E-9E9B-0D16E026FE64","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"253978eedc3195f0c04865b0a2a61ced488034ff","datavalue":{"value":"W1988194273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859845$4924E8F5-0ADC-4640-A305-632A9838C5DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"88841c928c327a6860d292686b79d9d48a1bdc75","datavalue":{"value":{"entity-type":"item","numeric-id":4484507,"id":"Q4484507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859845$AB3904B3-057C-416F-9257-240768509A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5350caf2a1c571bfb5eddddcbc9777cba40a148a","datavalue":{"value":{"entity-type":"item","numeric-id":3140014,"id":"Q3140014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859845$083820D0-3D5A-49DA-AD12-8C513249CE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72fc44f926852741b8eb9b59cd4df9d83fae6ccb","datavalue":{"value":{"entity-type":"item","numeric-id":1770429,"id":"Q1770429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859845$8CCE0B1A-3233-4703-8ADF-0BFB2C0AF456","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eeb89c68e650c350803663393d6e0912dfa3f4b2","datavalue":{"value":{"entity-type":"item","numeric-id":4115143,"id":"Q4115143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859845$ADFB278D-2857-4EE5-9851-214D40786F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57333d1870cbd568f4d571e5e8448b027ce95ef7","datavalue":{"value":{"entity-type":"item","numeric-id":859845,"id":"Q859845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859845$A7FF1F91-3E29-47A4-AAE4-24EE78F30C2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f14111429a5ba61647f365bfa468c78b1bd2874","datavalue":{"value":{"entity-type":"item","numeric-id":3591419,"id":"Q3591419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859845$BB57581A-B22B-47D4-B900-4946574C15ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859845$2C96399B-D20A-4DCE-A163-AE448AB7675C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859845$C04E0941-6A10-4A57-82F0-916EC8957ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9afd4fa313d72573c9bd3f393fea2eaa1326a6b","datavalue":{"value":{"entity-type":"item","numeric-id":4418589,"id":"Q4418589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859845$6823D5EB-A389-4B00-8717-F566BB9CC3D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626d7a62e073def6cda0e756433e91c381c28af8","datavalue":{"value":{"entity-type":"item","numeric-id":1874404,"id":"Q1874404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859845$ED39EA4B-72E8-44E6-94F2-EC6F1AF7A4B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"be36ff5fd8640590a0b07bc672f3524ef838fd21","datavalue":{"value":"10.1016/J.TCS.2006.08.018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859845$9682BAD9-FF67-4DBC-A3D9-8FD04FFEC6B6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee9fa22fef036a9ec5d24ed2fd065ec736af9fe","datavalue":{"value":{"entity-type":"item","numeric-id":3636823,"id":"Q3636823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8792ab87f2d410c3b56387c2ad03f77f33b2215","datavalue":{"value":{"amount":"+0.8111235499382019","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":"Q859845$C706E958-38A7-403A-AE15-C5225C5AE9DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dfacdfa8f628a19b224ec865f50d82c401a4a71","datavalue":{"value":{"entity-type":"item","numeric-id":1045939,"id":"Q1045939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db02953fbacca3e1192ab02bba6d6fe5dc925b5c","datavalue":{"value":{"amount":"+0.7986144423484802","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":"Q859845$8451E982-C8B8-4095-A590-7C8F074AF4B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"356cbdf1a014e0608aab29ee54fa53971333b2cd","datavalue":{"value":{"entity-type":"item","numeric-id":2908488,"id":"Q2908488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85f32362ae065739bee004898c1c458bae149d3e","datavalue":{"value":{"amount":"+0.7682176828384399","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":"Q859845$A4E84680-C6EC-488C-B870-C0DD1774F99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54d0d5d19dff414cf2f5c368ddb5dccb8611eb5d","datavalue":{"value":{"entity-type":"item","numeric-id":876047,"id":"Q876047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90ff717fc96a490b6cddfa2e9bf71a86f39c81a3","datavalue":{"value":{"amount":"+0.7636817693710327","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":"Q859845$5ABE693B-7E2D-405A-9F95-4693D3D15FCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecd416ff278c1f65eb4fc3475ce4889ec6d4f458","datavalue":{"value":{"entity-type":"item","numeric-id":5387865,"id":"Q5387865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5d60fb3dd1acdc3c785d9dffde65f7269fd974c","datavalue":{"value":{"amount":"+0.7624804973602295","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":"Q859845$3502385F-49B0-491C-B903-A9E1C28E6A80","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An undecidability result for AGh","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_undecidability_result_for_AGh"}}}}}