{"entities":{"Q4630273":{"pageid":6659855,"ns":120,"title":"Item:Q4630273","lastrevid":82170032,"modified":"2026-05-06T20:16:13Z","type":"item","id":"Q4630273","labels":{"en":{"language":"en","value":"Algebras for classifying regular tree languages and an application to frontier testability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7045126"}},"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":"Q4630273$4E9F93C4-1932-421D-9C7F-4D77607F42C7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7eadd408d7607dbe5fb53c50d27eaf3cde6d034c","datavalue":{"value":{"text":"Algebras for classifying regular tree languages and an application to frontier testability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4630273$BC28123C-5805-4655-97C7-E70E94D5FF8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d98ff8665623a41e1469586de47182df304d9ad","datavalue":{"value":"1422.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630273$F7089592-7E26-48BA-98EF-456BF0A30CD1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dd3808e4e74a67e6facaab845f0d7ea24d50c8cc","datavalue":{"value":"10.1007/3-540-56939-1_85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630273$C2F0E07C-3729-4363-93C9-0861E41A2D82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a26eaa7a3159ba545420366ef8b151ea4c3766e0","datavalue":{"value":{"entity-type":"item","numeric-id":208756,"id":"Q208756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630273$7D71A6D3-94EE-4ECE-AC1E-5BD8DD37AA61","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b35206703f13d65f73634741bdd21f6ff4941d38","datavalue":{"value":{"entity-type":"item","numeric-id":3012786,"id":"Q3012786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630273$BF0C14B0-EDB2-4BDB-B23C-B34AC5B2BD89","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"26b94f238f3a59f4446a7a7f663c3bfff3dc2ed3","datavalue":{"value":{"time":"+2019-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4630273$5553625E-3D95-4FA4-9CFA-9242CCA24856","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630273$910249F2-320A-49F2-8FF6-76EAF4850311","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a664b86576def932c581fa5fcb0313621db426e","datavalue":{"value":"7045126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630273$32EB31B0-C21E-4069-9712-5FEA543A1BDD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5ee478c750caea749591f40b4d0b63323c1eecc","datavalue":{"value":"wreath product","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630273$8DE07EE9-FED2-4509-919D-4B0BB91BC302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ea9b35a533d874f0a32d77e584c8b61e0e7c2fe","datavalue":{"value":"regular language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630273$E7457E05-566A-4920-A285-B159AC75BC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f22839511b1b2e88121e4d8d7f81e307f8961a75","datavalue":{"value":"tree language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630273$5F3D75B0-AE65-4288-9B39-37BF5A3EC1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b96cff283cf7bdf3df41e0714fcb4800fd86cfe6","datavalue":{"value":"finite semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q4630273$F6D2158D-2391-4480-AFC0-0931772F7E99","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":"Q4630273$C1AEC6F3-4A56-445A-905A-1DA4972701D9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"367ab53bef24a1e3cc7ad353605101c11a338d9c","datavalue":{"value":"https://doi.org/10.1007/3-540-56939-1_85","type":"string"},"datatype":"url"},"type":"statement","id":"Q4630273$90103635-583A-4782-81A5-E949213CC9D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ed507f7ef5239a03c3c555f76cd078bfffd2776c","datavalue":{"value":"W1575009210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4630273$09E89129-260F-49BB-98A7-D8AFD62E8DA7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2502b510aa60a91ac3df2b418e4777159bf8b73f","datavalue":{"value":{"entity-type":"item","numeric-id":751686,"id":"Q751686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630273$285A5FCE-A021-4DB0-9911-6D08EB338747","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630273$8CCD4F5B-F1BE-4D22-8D4C-9A1CB3B62292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be40b4c67de5ab978f49a9d78fa540049976ba35","datavalue":{"value":{"entity-type":"item","numeric-id":4005203,"id":"Q4005203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630273$7AAB9C47-C08C-4213-96EC-11EB5A15D396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc8f3117a4af564bb6ab1e6e5379eefc45fe13a","datavalue":{"value":{"entity-type":"item","numeric-id":3833629,"id":"Q3833629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630273$2F194313-E6C3-4485-AFEF-FD02415062F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef019500a9d9fd3713e5ac1f0f6b6779e8a951c3","datavalue":{"value":{"entity-type":"item","numeric-id":5204314,"id":"Q5204314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630273$27B1A11B-EE86-4E6C-91D0-00C39A264FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630273$34C90A7E-7983-4286-B722-011ED3C50C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36443093769a6cbdb09ed8569ecd63f4d20d7725","datavalue":{"value":{"entity-type":"item","numeric-id":1163585,"id":"Q1163585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630273$8185486B-661C-4E0C-9CBF-9ACCC77AF7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92fec600de70ce569ad0cf91b1069c03e617f65b","datavalue":{"value":{"entity-type":"item","numeric-id":4273660,"id":"Q4273660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630273$A52A7B93-2BE0-4448-AB6B-B8F2EDAB5FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34807fb037e0446337458c63b9238ba7e4d842ac","datavalue":{"value":{"entity-type":"item","numeric-id":3221429,"id":"Q3221429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630273$5C2C2A6C-E5E8-4EB6-BC2C-5E139DC6933E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b677f495c74b1b22c0aa81da3bf5652e8fd4c78","datavalue":{"value":{"entity-type":"item","numeric-id":4036596,"id":"Q4036596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4630273$88D21584-B91C-4AAD-AB39-E50338FC5B6B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6289a540905d24f738eaa95ecad57b596e7fd43f","datavalue":{"value":{"entity-type":"item","numeric-id":672861,"id":"Q672861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48c567831807f455b0c6b9f67a058cbea4e554f1","datavalue":{"value":{"amount":"+0.845486044883728","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":"Q4630273$62C85B91-2FBB-41A7-8A74-6B4263751587","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53a79dfef8eb01667f02449676eaf23232385832","datavalue":{"value":{"entity-type":"item","numeric-id":3365845,"id":"Q3365845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fa242e10a5933e39ebfb7c8aafefd48e1ea5459","datavalue":{"value":{"amount":"+0.8178224563598633","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":"Q4630273$4A8FAF91-B8A4-4ADB-899F-E6ED394B5CAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef3cdfdf73c588af19bec372c5f29463c36b274e","datavalue":{"value":{"entity-type":"item","numeric-id":4146688,"id":"Q4146688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a6bd20a85f55e93cc7f732f4568b305e387d1ff","datavalue":{"value":{"amount":"+0.8154290914535522","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":"Q4630273$9017A342-F22B-4126-A0D5-F0E7B9ABFE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1119397b1894e9fd56222196f0d39b6ad8e00f66","datavalue":{"value":{"entity-type":"item","numeric-id":551167,"id":"Q551167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd869a676575ee1d136495589d57807e5251c55d","datavalue":{"value":{"amount":"+0.8141433000564575","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":"Q4630273$35798391-ED55-4C75-971C-75DA8BED1B28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9649510f2945ebb5e6217acce786013b95fccac6","datavalue":{"value":{"entity-type":"item","numeric-id":3086921,"id":"Q3086921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a2f620f2ab31ef649ee62c323aba93869a410f7","datavalue":{"value":{"amount":"+0.8038729429244995","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":"Q4630273$D4E5BD6A-F71B-415D-A698-1ADAA3528035","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebras for classifying regular tree languages and an application to frontier testability","badges":[]}}}}}