{"entities":{"Q5236465":{"pageid":7266033,"ns":120,"title":"Item:Q5236465","lastrevid":53556854,"modified":"2026-01-25T06:58:40Z","type":"item","id":"Q5236465","labels":{"en":{"language":"en","value":"Well-quasi orders in computation, logic, language and reasoning. A unifying concept of proof theory, automata theory, formal languages and descriptive set theory. Based on the minisymposium on well-quasi orders: from theory to applications within the Jahrestagung der\nDeutschen Mathematiker-Vereinigung (DMV), Hamburg, Germany, September 21--25, 2015 \nand the Dagstuhl seminar 16031 on well quasi-orders in computer\nscience, Schloss Dagstuhl, Germany, January 17--22, 2016"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7114686"}},"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":"Q5236465$F9C46E28-0AD3-4B0F-B89F-A6183737B053","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d623bd8cd0b9652dcfb4d694b28b756a7ac0219c","datavalue":{"value":{"text":"Well-Quasi Orders in Computation, Logic, Language and Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5236465$D367F811-5A26-46BD-8497-F4635E38409E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48a3f41b0db412de0c6a6e8340100b72d12e275c","datavalue":{"value":"1443.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236465$90A092FA-AAC5-45E3-A4AA-D3134E888145","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8ad819713a583d2592c88a9af745229f48f719f0","datavalue":{"value":"10.1007/978-3-030-30229-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236465$495BBC32-26BD-49F8-BF7E-97A225A4FDA8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9ef5f862067a8dcfef6601f996709bbb53d732cd","datavalue":{"value":{"entity-type":"item","numeric-id":3295143,"id":"Q3295143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5236465$2C4BFE19-636E-4DEE-A564-D3673AFFD6E1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc07bda6ecc2d918e20f9b6c43dfffbc17943f9d","datavalue":{"value":{"time":"+2019-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5236465$5269CA70-7C5A-411A-8C35-EF5D7031D424","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f1971b12f93143b2604d15a1750f495d71fae62d","datavalue":{"value":"03-06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236465$BB30904A-E438-44C5-9865-23F0D5CE9DAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f3e19226441d4b8048ce27ce815913b6ae4d5fd","datavalue":{"value":"03Exx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236465$1751DC33-232C-486A-BE19-5B56945B6D5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a16b2d00f5f309ca4243bc382dd94889099a0bfa","datavalue":{"value":"03Fxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236465$4EACA139-31E2-4110-8F16-6D9F108AF8ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24363e421bb7b6dfa7fe7a9b1ee54d8da8a06bf1","datavalue":{"value":"06A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236465$CA4B1287-9CAB-4A52-A2A3-76F9EF63FB9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6f2c17db95e93f9a5a19ff6c68b3a1df8b0c021e","datavalue":{"value":"00B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236465$0ABF1C04-29BC-440A-A8D0-AF982C2A1E35","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c9bfec3a7e8f69710684d7de3a743fdfae9ccaa","datavalue":{"value":"7114686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236465$E2BDCB6B-739B-41E1-BFEC-9CA984382DC3","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":"Q5236465$B29BC06E-58CC-467D-BE47-D82049E48EC5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"414db6c5bdb01f2ff282d51ba6360fc325929f93","datavalue":{"value":"https://doi.org/10.1007/978-3-030-30229-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q5236465$2835C15C-CD26-4CDC-8B2C-3D71DDE9AE88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a7172486fee22d25e10de31d3e5ca5f086a241a","datavalue":{"value":"W3014530061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5236465$C01D7BDB-A65F-4E4A-8B2E-065AD89D23CB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7215960e636e65adfc9cb77f389b6d5279622adb","datavalue":{"value":{"entity-type":"item","numeric-id":2412926,"id":"Q2412926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e9a14fbfa646955a0d8bb6331a07ca7fd78d5a0","datavalue":{"value":{"amount":"+0.8136033415794373","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":"Q5236465$D5539831-AA13-4277-8813-E7CACB6729FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b68d06a8abf79c777d6044933d6b746eaca08e90","datavalue":{"value":{"entity-type":"item","numeric-id":3295154,"id":"Q3295154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eda05b49163200c3800e07d245ca7668b58c3cea","datavalue":{"value":{"amount":"+0.7937788367271423","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":"Q5236465$93847516-A775-415C-846C-322B19BA91F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"420f2d90a84e42e09ee8510bb2e2e5291c22b099","datavalue":{"value":{"entity-type":"item","numeric-id":3533001,"id":"Q3533001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8308d5cfedc574c4920ebbf58d79c046bde9a11c","datavalue":{"value":{"amount":"+0.770296573638916","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":"Q5236465$DAA712B6-A3DF-4367-B044-7632CE925245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d5f4f628aa178173b1d25610811c99ccf039c1","datavalue":{"value":{"entity-type":"item","numeric-id":1803588,"id":"Q1803588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d25fbd4dd722d13ce80d18e50772637aa365755","datavalue":{"value":{"amount":"+0.7592282891273499","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":"Q5236465$94389FB8-53E8-4285-ABE5-ADECB7DA3771","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"55f76092b084507c4608fd35e37a43c6bfc41a1e","datavalue":{"value":{"entity-type":"item","numeric-id":3179078,"id":"Q3179078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c67607fa2288bbe5d820c390e33b7bdbb7ec5e51","datavalue":{"value":{"amount":"+0.7486817240715027","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":"Q5236465$A03151B4-EABF-42A0-8ADB-785213D2BB42","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5236465","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5236465"}}}}}