{"entities":{"Q5501465":{"pageid":7531025,"ns":120,"title":"Item:Q5501465","lastrevid":52319762,"modified":"2026-01-21T10:50:50Z","type":"item","id":"Q5501465","labels":{"en":{"language":"en","value":"Equality of streams is a \\({\\Pi}^0_2\\)-complete problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6469481"}},"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":"Q5501465$A4DEAC19-6F53-4926-98F1-B832E6D4A67F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88b6cf82419447bce5772c484b755dd5490110d2","datavalue":{"value":{"text":"Equality of streams is a \u03a00 over 2-complete problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5501465$54075BFB-BCFA-4EDA-9F16-2DCC6E4F2E00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d56bc84f2dd65dc4da182ce8de79cbd7509d95c7","datavalue":{"value":"1321.68288","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501465$26CB653B-5127-49E4-900C-BE95E82050E5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f61d55194ce6c77300efcdb2f6f6d4174d9bdbc","datavalue":{"value":"10.1145/1159803.1159827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501465$E6E8CA40-105F-4754-B041-AC753203C351","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b69415f9cb2bdcd5ee0c076af334d1a1d2499c85","datavalue":{"value":{"entity-type":"item","numeric-id":5501454,"id":"Q5501454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501465$7984A111-D335-4620-B3F8-473700DB07B0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"80468e64804c1b89fefb2ee4bac60a8b1364b55b","datavalue":{"value":{"time":"+2015-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5501465$1AA26ABA-A20E-4476-B00E-D11B4DA1E475","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501465$7737E735-A792-40B8-B0A8-81E706789D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501465$47438CB4-B802-4343-832B-1F7F9B485912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501465$A9851BAF-5013-4F86-82BA-441DF7CD8E01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"09353a923efa1fa49ff4bdb536aeca7558185749","datavalue":{"value":"6469481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501465$E00EBFE2-3D69-4DCC-9A8C-F017AF618CE1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501465$BF160401-D6C2-4BCD-9164-26734EE33113","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbc4d5acf6627927437e06c54712281aa2e7eaff","datavalue":{"value":"infinite structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501465$328A3709-1F8B-48EE-8C81-5C4E400A2DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcb6cfd82e4f7f4d67e785307127da4b6fc881c2","datavalue":{"value":"streams","type":"string"},"datatype":"string"},"type":"statement","id":"Q5501465$F91729AA-AF62-4402-930B-0BA6014BFD29","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec5e68015f94b1a9bef7898aeee73fd906f705d5","datavalue":{"value":{"entity-type":"item","numeric-id":393079,"id":"Q393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5501465$843711EB-BE26-409E-8079-D9A42059CB6E","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":"Q5501465$8623AE14-0372-44F1-8C84-044909BBC84C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b38f9e2b770d5f96bd4bae78f5598dca465de102","datavalue":{"value":"https://doi.org/10.1145/1159803.1159827","type":"string"},"datatype":"url"},"type":"statement","id":"Q5501465$9D23543E-9981-4718-B357-2F523173804E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ef5e4658083cef80c5df611185c4f4ede8f6b1cd","datavalue":{"value":"W2002608561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501465$5933511D-5C27-425B-B5AA-78FF0A538D76","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"3ae1e6978c8ab908903bfbf2d36338be54706973","datavalue":{"value":"Q130962995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5501465$600CD20B-A1A0-429A-9257-6682786E876A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73efa6e85b05491b74af355dc813fc07836a3ddb","datavalue":{"value":{"entity-type":"item","numeric-id":2875229,"id":"Q2875229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8abde2cad380de372350dbf08f0e138b0944ef79","datavalue":{"value":{"amount":"+0.8951004147529602","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":"Q5501465$27315228-ECA3-426A-B3F7-2E39D4647F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb22a99afa03170e1cce44586ac5436a75c845a2","datavalue":{"value":{"entity-type":"item","numeric-id":5389096,"id":"Q5389096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b305350028dcfee697ba95d29c48181d052fe85d","datavalue":{"value":{"amount":"+0.7753376364707947","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":"Q5501465$DD730378-81C3-4161-9AA1-32058ED276AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45f349b1319b2738971e49563ec5ca2fbdb024f8","datavalue":{"value":{"entity-type":"item","numeric-id":5168890,"id":"Q5168890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"712cd36ec7fa42510dbfa725b3b3075771ed4929","datavalue":{"value":{"amount":"+0.7664297819137573","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":"Q5501465$3BB9378B-F682-4B3F-857E-EAC75FB3F800","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dc8a01df2bdb02c9b6b50682d6aeb34f62a3688","datavalue":{"value":{"entity-type":"item","numeric-id":5111910,"id":"Q5111910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd61b7389b5edf231a8038ae5d6c48a8f8abc16e","datavalue":{"value":{"amount":"+0.7296122908592224","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":"Q5501465$7AAE55DD-245A-4971-9F60-BC6C80F60E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f400350d9d384a9d03eb95214a95cdf6b9a3557","datavalue":{"value":{"entity-type":"item","numeric-id":2855523,"id":"Q2855523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62c17eaeeb57d22025532c02541b260e421afdcd","datavalue":{"value":{"amount":"+0.7242922186851501","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":"Q5501465$A0697842-23B8-4003-A9C9-3FCD8B996377","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5501465","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5501465"}}}}}