{"entities":{"Q5111272":{"pageid":7140846,"ns":120,"title":"Item:Q5111272","lastrevid":46185220,"modified":"2025-12-24T00:10:38Z","type":"item","id":"Q5111272","labels":{"en":{"language":"en","value":"A Characterisation of Pi^0_2 Regular Tree Languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204390"}},"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":"Q5111272$FF72879A-33A1-400A-8BEB-59B104089DED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"627abfc2a985f74b746a9fb5550d012f46169875","datavalue":{"value":"1441.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111272$17E9A79F-9265-4112-9FF1-162F2D2DD174","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cda17c4f4216e6ac4becfd5206258a45a52ccb2","datavalue":{"value":{"entity-type":"item","numeric-id":5111271,"id":"Q5111271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$94ADA719-E80D-4494-A6BF-EA350F915FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3519eeb51dd7aa559d95e464292a48575f62c187","datavalue":{"value":{"entity-type":"item","numeric-id":194304,"id":"Q194304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$80BF2154-7DB5-4FC5-82E2-8C52E8C5364A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6b3a84f8c4ff22fd081313842e3a7d2a8bb6a0f","datavalue":{"value":{"entity-type":"item","numeric-id":290906,"id":"Q290906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$F962D1FC-294E-48C0-86FE-D7FD1630DDE6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111272$AE18F175-7D97-4F09-A497-961C2D94122F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111272$7053A0CB-B600-434E-B3BB-026BD9BDAAC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d03150a3f52c0d1d889ca1492c27efc59d3367bb","datavalue":{"value":"7204390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111272$F674B64A-2B8E-4BB7-8AB0-7D2236EBD627","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b4e53e5468cf9acbc0da6af2b3e9ef761de9d7f","datavalue":{"value":"infinite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111272$DDBD5939-6BF7-4974-A96F-CECA1E23E441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f3be0b0ef1ce4fcf3d2d96cbcd11e3dbf269ede","datavalue":{"value":"Rabin-Mostowski hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111272$AB39BC6C-1788-4593-AA44-B0630BA683E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7142d39c3323636bd7cc377526eabf4365b5d436","datavalue":{"value":"regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111272$AA19631E-EEBB-4087-957B-45E9C9A41137","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":"Q5111272$9DA7EB94-115C-4C15-B180-993F400F07EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b655045cbb35ce1e47d6fcf23db3d2df7f58d32","datavalue":{"value":{"entity-type":"item","numeric-id":3167003,"id":"Q3167003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$F5A79F92-87F3-486A-A504-5EB59B24F7C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38ccc7456ec01ded24d560374767ebb15de8658c","datavalue":{"value":{"entity-type":"item","numeric-id":2958524,"id":"Q2958524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$FCA5C6CD-24C4-4F3A-A7C7-C16237A7B008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a358680bf0e6b29ad972a10da07c284c97e546fa","datavalue":{"value":{"entity-type":"item","numeric-id":3519517,"id":"Q3519517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$E6F247FC-DB4D-4DF6-82AE-5969987F3594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68f0567f9e3901e7f43faafaac00724b4daa7a11","datavalue":{"value":{"entity-type":"item","numeric-id":5444966,"id":"Q5444966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$54CD29E6-DD0A-4234-A06A-945C412CC002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d4a2d5a916f2d49cf0c7dea5e3b649f247aa36b","datavalue":{"value":{"entity-type":"item","numeric-id":5175888,"id":"Q5175888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$8BF736F4-F036-41A0-82F6-D1E8F88F78B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76de7a99033076c8c8c1aa5d9538510b2e3700a3","datavalue":{"value":{"entity-type":"item","numeric-id":5278187,"id":"Q5278187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$2E6BCFE8-6FDC-4374-AE44-FA49683E1925","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb32c51b4990c0038a84df1615aba4bd1e647d66","datavalue":{"value":{"entity-type":"item","numeric-id":2922025,"id":"Q2922025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$D41520AA-6235-4FFF-8455-E6E95C03503E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$857AE4EC-A62A-4C5B-A7FA-6DD20FFB7781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9f773300cd053ea51f6b2e01c0bd0b060f02131","datavalue":{"value":{"entity-type":"item","numeric-id":4323294,"id":"Q4323294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$AF02433D-B749-48F6-A164-DA76B9829FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d82dc0030e8ccd9270fdc668eb40c1cc3fe9171","datavalue":{"value":{"entity-type":"item","numeric-id":2911613,"id":"Q2911613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$D041B55F-A219-4FB9-91D5-B94171A51BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"698f37f52f12e4366185e343b94a02897a4d760c","datavalue":{"value":{"entity-type":"item","numeric-id":4251063,"id":"Q4251063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$3EC88E89-815E-4FD5-AD03-42BA0C11396C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d01780ff167cd8616088aaafd2e8e707a190d7b","datavalue":{"value":{"entity-type":"item","numeric-id":2920139,"id":"Q2920139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$09824685-6A4E-40C8-8C32-463D4D087EE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9159e9095f8ca510d538d7e9904c6f3ff891ad","datavalue":{"value":{"entity-type":"item","numeric-id":796990,"id":"Q796990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$6BF0D8D5-B60A-40DC-9BBE-9C3B0F88C183","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e16d7c5f89281666578119872f3b24d9008cd15f","datavalue":{"value":{"entity-type":"item","numeric-id":5901536,"id":"Q5901536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$EFAC2664-35F0-4011-8333-840F41E749E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde8468f20872d32d0341dab03c2119740b3e290","datavalue":{"value":{"entity-type":"item","numeric-id":1401364,"id":"Q1401364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$661FD8F6-39BF-4F6E-9AED-A4BF90BDD1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcad196cde92ff58f605cb0c7899249dd4df74ca","datavalue":{"value":{"entity-type":"item","numeric-id":5317419,"id":"Q5317419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$2EF0624A-0A4D-41E0-9F55-D5EF10F190D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$6908F354-4008-46AF-950F-3426BE3D07B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a900a1b2fff17c3475869d05f2ce6a6836bfa390","datavalue":{"value":{"entity-type":"item","numeric-id":4991691,"id":"Q4991691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$780B82B3-5F32-4C50-BC88-DC1AC9CB1AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ea6c35f71ad4da8b4feb9ed8be617ec972504e5","datavalue":{"value":{"entity-type":"item","numeric-id":737116,"id":"Q737116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$1A0CA0BC-6A85-42C1-9403-8A1530F5F134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee01ae61518fbe11b8b3e07778bce3687a4d433","datavalue":{"value":{"entity-type":"item","numeric-id":4598240,"id":"Q4598240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$F87C1259-0A8F-416F-8059-A1F18060CBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76850b1660c289d143c388e0bb67af74eabba21","datavalue":{"value":{"entity-type":"item","numeric-id":1210306,"id":"Q1210306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$E84DAA7F-2AAB-4823-861B-1AEE1A09485F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"000c6e3680f801318aa34bfabb01fb0af531ed28","datavalue":{"value":{"entity-type":"item","numeric-id":5723183,"id":"Q5723183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111272$64114D2E-D316-437E-8E42-F83C2B4CAA9E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d41c187af5eb46f13e4a94240e34e1cb4c917a8e","datavalue":{"value":"https://dblp.uni-trier.de/db/conf/mfcs/mfcs2017.html#CavallariMS17","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111272$614FA88A-35A7-4A10-B451-D6E638C380E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a420400cef8db7b960c27300a761a6d69d72e48f","datavalue":{"value":"W2775641364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111272$D041BEA4-1F87-41F4-A2C3-AB365DEFBE9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f8ea9228d12472267ea6a1ff843d1431a734e60","datavalue":{"value":{"text":"A Characterisation of Pi^0_2 Regular Tree Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5111272$343B6B5D-A1FE-4D89-9E73-A99140207810","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"84bea2e731d103f727abaf26613a73e12039ed1a","datavalue":{"value":"10.4230/LIPICS.MFCS.2017.56","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111272$7F4FA681-A8F7-482D-8A13-E5A7A2BEE96E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd34454eba07e294019d498407773c3f6cb7e2ad","datavalue":{"value":{"entity-type":"item","numeric-id":5175888,"id":"Q5175888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c74c60b0af2303ef5f0fcc113fb10b64f9663d2","datavalue":{"value":{"amount":"+0.841609001159668","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":"Q5111272$5F9907DD-4BEC-4590-9AFB-96CF717EFCA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fee7b5fafb2759d1a39001fe74a4351c5f1ae8eb","datavalue":{"value":{"entity-type":"item","numeric-id":5232909,"id":"Q5232909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce929cc2a02974b3236d397082afc80e686bef53","datavalue":{"value":{"amount":"+0.8074784874916077","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":"Q5111272$4FA0E59F-F2B9-46A3-A34B-CE15313FBC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcda1b0f9750d41e5143f4d4029a7de362e34087","datavalue":{"value":{"entity-type":"item","numeric-id":5394593,"id":"Q5394593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a43bb3c5088053c23f425ef079d12a10cabe391","datavalue":{"value":{"amount":"+0.8013033866882324","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":"Q5111272$6260A83C-B31C-4311-8A17-C758820E277C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5925fc3edf8c1ebac95d55fbea9e2a4d44f576f3","datavalue":{"value":{"entity-type":"item","numeric-id":1401364,"id":"Q1401364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"949468163ae13b824f25808279f34e3cb6730429","datavalue":{"value":{"amount":"+0.7957842946052551","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":"Q5111272$EACFE109-8D0C-4AC1-8EEB-9396BD80FC98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e6b521d13a2459df1b723603c27415d9677d0b1","datavalue":{"value":{"entity-type":"item","numeric-id":4910751,"id":"Q4910751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e2160be4a985335b79adc020d08a3beb639c17f","datavalue":{"value":{"amount":"+0.7878811955451965","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":"Q5111272$1ADD77A5-FC89-456A-BE84-33F820B1F228","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111272","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111272"}}}}}