{"entities":{"Q968530":{"pageid":970378,"ns":120,"title":"Item:Q968530","lastrevid":65797221,"modified":"2026-04-12T05:26:15Z","type":"item","id":"Q968530","labels":{"en":{"language":"en","value":"Equational approximations for tree automata completion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5704033"}},"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":"Q968530$EDE3D73E-426C-4074-A536-FFC5D93E3A0A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a01e3f2ef28f72a57f21605484b247957d19cbcc","datavalue":{"value":{"text":"Equational approximations for tree automata completion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q968530$784C9666-8EE6-4469-AA06-0B6814DBD860","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ca31f1e99fafda202ebf70bda5812560db8c713","datavalue":{"value":"1192.68398","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968530$F96EF31E-0175-409F-9CF2-0AA4DFBF8190","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"14bafb335ca5a0648dd707f992f49ef0e445a0c9","datavalue":{"value":{"entity-type":"item","numeric-id":556684,"id":"Q556684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$B1CB71AC-3974-4A15-BFF3-7888C6F7B80F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e6276f2b5f5afd85d3b3b6bb8e4fd8cf82500e8","datavalue":{"value":{"entity-type":"item","numeric-id":493520,"id":"Q493520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$9511140B-18C3-41BA-9341-54E1EA36EFFA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$34F4EAB1-C3C5-478A-9924-5D6BA06DFC47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4d513bfc5982e2fc6615028187c47bdf077f809a","datavalue":{"value":{"time":"+2010-05-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q968530$6F102985-231C-468A-B83F-FB53C055564B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968530$B1AD94A7-927E-4D10-AEDB-C2F3F9608A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968530$A4337DCF-53BD-452A-9175-B1BC26342A56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b0d512f56964ebddbc6490e0e5a4fb7b5196aa88","datavalue":{"value":"5704033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968530$EDBD4EF6-4AA5-4C6C-83D8-C9C4C2408B55","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q968530$B1B5683C-2437-4AD9-ADDB-6F1876CDBE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q968530$687ABFE9-6CA3-4CF5-A46F-42CB7160856E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q968530$A46B80A6-3302-44CE-9B43-601C4C53BCCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q968530$F5387433-46DA-43B8-ADF8-386A29512DB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9285474b42b5748aa78c049fecd9a773f548ef69","datavalue":{"value":"rewriting modulo equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q968530$050F01AB-E0B3-40BD-B3D7-885A6DEDFECD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05ab5668d708c884e00e91bf8e8096cfef14a43c","datavalue":{"value":{"entity-type":"item","numeric-id":18478,"id":"Q18478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$3EE1D30F-47FE-40A4-816E-E6470AF636CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$AA987D99-620A-4795-A928-E17549C7782F","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":"Q968530$CD0B6CBC-6C3A-4B4E-898D-B56639168965","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"aa8ad342ca3b16c063ed411bfb6cd4db92a06d65","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2010.01.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q968530$E876880B-D8EA-4081-94B4-12C4D277DFF0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bccfc67a065690407251407b4ed7fe575d321822","datavalue":{"value":"W1986138153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968530$2C510DA9-459E-4255-A233-654721740A5A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1271be2462d26865fe1bbf9317b8786f46d5a1f","datavalue":{"value":{"entity-type":"item","numeric-id":2500700,"id":"Q2500700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$12C801E9-2F88-4B95-B691-51FB930C13BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb9d4f96d0f4435466b3844f00bd402021b0978c","datavalue":{"value":{"entity-type":"item","numeric-id":5505416,"id":"Q5505416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$BE2268D2-2B0D-4F07-AC44-B89CDED325B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fa695c97b01f88cecb4b218e904ed58f03b6ee1","datavalue":{"value":{"entity-type":"item","numeric-id":5432332,"id":"Q5432332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$C43E2E00-B76F-456A-B5A7-E457D277C1C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"346e6666d6abf8f2ec43ac1a604dc5ba74efb51c","datavalue":{"value":{"entity-type":"item","numeric-id":2852015,"id":"Q2852015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$B8E9F548-0D38-426C-AD44-57E0AF35A073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d8a2e65ef4c9f2ea093cb4ae2b4cf39166e690","datavalue":{"value":{"entity-type":"item","numeric-id":3613378,"id":"Q3613378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$6F128F6B-AB87-424F-B2C7-87BAE80E7865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e7bf1a2befbf6382dc3a90af6691254f7995bc","datavalue":{"value":{"entity-type":"item","numeric-id":4804924,"id":"Q4804924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$87E1EA97-9231-4606-9D53-91025B0912C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d4aa2219dce0f8d3a908004143082c6ccd88941","datavalue":{"value":{"entity-type":"item","numeric-id":5703871,"id":"Q5703871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$D32298AD-2C01-4901-A75E-E58660242E39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"518225c2a5d75f7d3d6312c0b0905e98084accbc","datavalue":{"value":{"entity-type":"item","numeric-id":3541727,"id":"Q3541727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$B1E9722A-E9EC-4609-9D27-777E6E24654F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"019e822d043799913887da6671dea8480b2fda6e","datavalue":{"value":{"entity-type":"item","numeric-id":4222979,"id":"Q4222979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$AE36A7FF-062A-4215-BCB0-8796FC1A5AA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$72FD9B0D-43C3-4FDD-96EC-B435026CB483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5183640ea17aee4713be4cc41f7f144d515a51a","datavalue":{"value":{"entity-type":"item","numeric-id":556686,"id":"Q556686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$BFBE2C5B-5A18-49F1-A81F-4B08D1C8D002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8078b0f920bfac05a188233ad084a3f978ffb5b","datavalue":{"value":{"entity-type":"item","numeric-id":5505589,"id":"Q5505589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$BEA3E67A-487D-47B4-9115-A19686A6DFDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9a99f5461f4f779f00e0d34aba98da53e5ce683","datavalue":{"value":{"entity-type":"item","numeric-id":3540083,"id":"Q3540083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$70BC0031-4D74-44DA-B00A-6094841A9C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890390b7c0f8ed661b7084e98573fc0b11a27b52","datavalue":{"value":{"entity-type":"item","numeric-id":2723425,"id":"Q2723425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$A74AD43D-8873-4AF1-8B6F-71200D17636A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b315cbd3b5106f5b586bddcc5b7310c1e442420c","datavalue":{"value":{"entity-type":"item","numeric-id":968530,"id":"Q968530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$DDD4EC58-0781-4B05-B810-F12EDEC74C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43a76dd1ccc57817977cfe3d7392b99ece204fbd","datavalue":{"value":{"entity-type":"item","numeric-id":2996202,"id":"Q2996202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$B3DC1FA7-362F-4185-BFCC-6CBD8414BBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37dfc15837f84de69d2923418bbe22eb2d64a913","datavalue":{"value":{"entity-type":"item","numeric-id":4847003,"id":"Q4847003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$07EA4882-C7D9-47CC-BA15-DC4A67E26E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae97084d73740341943b650f788c6a9cafba1a4","datavalue":{"value":{"entity-type":"item","numeric-id":3522016,"id":"Q3522016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$5449583D-135E-47EF-8463-A36ED15C0A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c63ec78833f22bb9e0e2200040a0b3d2024fcad4","datavalue":{"value":{"entity-type":"item","numeric-id":879358,"id":"Q879358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$19C54868-1FD2-4A76-8615-054C6DB29DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f51749fe5c36444cc029f961d82ed2a1430f4616","datavalue":{"value":{"entity-type":"item","numeric-id":5900706,"id":"Q5900706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$0FE0D8C9-BE68-4DBC-94A3-97FF3E311247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9deecb43d633f0a679ddf4b2f213ec299c95d3fd","datavalue":{"value":{"entity-type":"item","numeric-id":5585029,"id":"Q5585029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$87552D6D-B1F5-43B6-BC6D-4EBDB04370FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbae692bb098457b53da37124be49b0f1f7ad4f","datavalue":{"value":{"entity-type":"item","numeric-id":5901565,"id":"Q5901565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q968530$0A55DAC7-4042-4A9B-A7CE-ECD4AE4A79D7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ac6166e59ec14f82dcdc7408b8b1c91760ce42d","datavalue":{"value":"10.1016/J.JSC.2010.01.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q968530$433457E2-7C3B-419A-B7AE-50E14F750D45","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be4fcf9141a0d61277d31b1f6c6ae86456876d8","datavalue":{"value":{"entity-type":"item","numeric-id":4993342,"id":"Q4993342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8227a57ed66b970fa6ea903c878f65d5307116a0","datavalue":{"value":{"amount":"+0.8607417941093445","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":"Q968530$A96217BF-024A-4C38-BC60-2501A4097E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff1ded4edace3df1b4a8100bb76c409e5844d9b","datavalue":{"value":{"entity-type":"item","numeric-id":5505416,"id":"Q5505416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4169c5bea73bd990b9a1bbaaaec20e3cbebec619","datavalue":{"value":{"amount":"+0.8134384751319885","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":"Q968530$739FE020-B498-44BF-877A-2C012722C0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc5ed1b1b107ab9943f43854b04ac64f83d286f1","datavalue":{"value":{"entity-type":"item","numeric-id":730470,"id":"Q730470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ad6bdc987eeaf816d54ea4c5cfc28971f94d834","datavalue":{"value":{"amount":"+0.7992375493049622","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":"Q968530$5943A400-29B2-48FC-A2E2-FDCC50FF47A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"005d832fbf42a2b076a920fa43ea245a349cc18a","datavalue":{"value":{"entity-type":"item","numeric-id":5505589,"id":"Q5505589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aaeac0ecb2f04101276edd820fb0e6925bb47f0f","datavalue":{"value":{"amount":"+0.7927049398422241","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":"Q968530$03373D30-13EF-4FC3-A26C-1FE8BA2FE35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fb76d0b07e62cdcb89da7023e2e933f2be3933c","datavalue":{"value":{"entity-type":"item","numeric-id":5111907,"id":"Q5111907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fca88d18826a9be30fce06013ed7f2dcb11b2ab2","datavalue":{"value":{"amount":"+0.7913395166397095","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":"Q968530$E120FF82-F0B0-4338-9A93-518ADF9EB3B7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Equational approximations for tree automata completion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Equational_approximations_for_tree_automata_completion"}}}}}