{"entities":{"Q5441125":{"pageid":7470683,"ns":120,"title":"Item:Q5441125","lastrevid":50269139,"modified":"2026-01-13T17:07:33Z","type":"item","id":"Q5441125","labels":{"en":{"language":"en","value":"Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5233219"}},"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":"Q5441125$BDB24F6D-AD79-4A71-A852-E3EE63E9E17F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8e84940b4cd8755a9c42576343f8e5962046f36","datavalue":{"value":{"text":"Undecidability in the Homomorphic Quasiorder of Finite Labelled Forests","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5441125$4F0E7D07-4D4F-48C4-9EFB-79BE7A8DB25B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f5610f6da06e226635e2383b4edb5c37f5a1ec35","datavalue":{"value":"1214.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441125$257A8FC3-0696-4B36-8165-686DC947C530","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc430287aff334b038fffa2842c5e6fa3f5ef7d8","datavalue":{"value":{"entity-type":"item","numeric-id":606047,"id":"Q606047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5441125$35EB568D-6EF1-4D1A-AFF5-DEE2EFDD1587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8a6f4952b674055246aabc00ad86b88076a60bdf","datavalue":{"value":{"entity-type":"item","numeric-id":949620,"id":"Q949620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5441125$CD56485C-2EE9-469D-AE56-8C013FBE63C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"697e270ffe317ee6e67284d461875459574e3ac8","datavalue":{"value":{"time":"+2008-02-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5441125$0BEFC7AD-0683-403B-AC3B-08F3085E9711","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441125$FF0793BA-BBB6-4EAD-B311-17760F111665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441125$6A660B15-636C-44C8-9DFF-2D959F00D497","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ca3cca37637bd2614c06ee20cec06b1252af7655","datavalue":{"value":"5233219","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441125$3021F3BF-B73E-4693-AAC4-03A1FD3571AD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f8b322f7767f82f4e2759ad13b243a4bba8c187","datavalue":{"value":"labelled tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q5441125$92DA322C-1F9E-4FA3-B113-D62F7FBC0DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc79eafc1d9ceb1ab79797a36449e9df369395df","datavalue":{"value":"forest","type":"string"},"datatype":"string"},"type":"statement","id":"Q5441125$96704FF4-E6AD-44D7-8332-74EE09D73CB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd2340f68f9bb95a93af6486bcd45b1b7521e6d0","datavalue":{"value":"homomorphic quasiorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q5441125$786E7FFC-365C-4196-8162-9260CEB372A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5441125$AD2A3362-88ED-4FE1-9267-A0733DA8A424","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5441125$DB93B271-FAAF-40E8-8C9A-C7897C600F65","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":"Q5441125$32A6D051-D3EF-4645-B5B0-FAA5CFF04BFB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74063ca4768d67f5241246083489ae392293aa28","datavalue":{"value":"https://doi.org/10.1093/logcom/exm038","type":"string"},"datatype":"url"},"type":"statement","id":"Q5441125$F9F1ECEA-C66B-4026-859E-C18E286182B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b662b72c83e49244fcb0d529f61d0207110b17e","datavalue":{"value":"W2044468563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441125$F20F1B70-8570-4351-AF33-ABB656ADC183","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"7a8928a65e0a07dee87ad3ba81785f68c7a81a0d","datavalue":{"value":"Q123296617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441125$45C84BDB-17A2-4CC8-9BE3-EB305A5BC4AA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e5f810a1a52f9523d38605d0c9091d4fe0dff2c","datavalue":{"value":"10.1093/LOGCOM/EXM038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5441125$CE9660D0-865B-4DF4-B70B-37BD4A9C39A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5441125$A8E8B7F5-40F2-49AE-AFCE-1840BA54D677","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"936acc572ffad12c88101695e83f7978c9dd3e4b","datavalue":{"value":{"entity-type":"item","numeric-id":5898827,"id":"Q5898827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39ac1a1dea817e21e8b69737dddcbd250ad4568a","datavalue":{"value":{"amount":"+0.9639622569084167","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":"Q5441125$00CA6F48-C58F-475A-8487-A0F4A2AA26F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdc608ab7246e7c974e6375d3af10f2214087912","datavalue":{"value":{"entity-type":"item","numeric-id":3576213,"id":"Q3576213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c060c365643f4e81356f43a240400c1114d024b","datavalue":{"value":{"amount":"+0.8489656448364258","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":"Q5441125$BC75E707-8A02-4C42-BB85-09EF29650D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"075c0c11eeb2e5081c6bdccf7db23821388b7d74","datavalue":{"value":{"entity-type":"item","numeric-id":5425345,"id":"Q5425345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"619f6fcc3c72ef3222a46116c7eb0c56e901cd97","datavalue":{"value":{"amount":"+0.8372200727462769","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":"Q5441125$10CCF854-72C5-408C-B89A-7B92796B74B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4470ffddce3d2073d8b14e4571970bd9e501e006","datavalue":{"value":{"entity-type":"item","numeric-id":1023296,"id":"Q1023296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1aa7f243b9d57a6259add828e316465af5036c49","datavalue":{"value":{"amount":"+0.8125786781311035","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":"Q5441125$D40D97F9-FB79-45B2-AE99-97FA5A74C174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4a638aa54c03a67d82e60c853d82704f7960770","datavalue":{"value":{"entity-type":"item","numeric-id":3374756,"id":"Q3374756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f33c913b8b71daf0637b7257c772e20292fb42a","datavalue":{"value":{"amount":"+0.7817710041999817","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":"Q5441125$39415829-F801-4560-8098-3A4FCA25D3EF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5441125","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5441125"}}}}}