{"entities":{"Q730470":{"pageid":732319,"ns":120,"title":"Item:Q730470","lastrevid":63899811,"modified":"2026-04-11T16:18:01Z","type":"item","id":"Q730470","labels":{"en":{"language":"en","value":"Termination criteria for tree automata completion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6668728"}},"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":"Q730470$D5DF494B-4200-4554-BAF3-095E2C9FB001","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5532d1897142aa6200f1275a84cf2eb24b70576c","datavalue":{"value":{"text":"Termination criteria for tree automata completion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q730470$BDD52292-B1EA-415E-AE93-452720A3AAC3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6efb773489dc012cdf45b9a00f2704c49c1ecc7d","datavalue":{"value":"1356.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730470$BD629CBF-8F55-455B-AB45-183622EB2ECF","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":"Q730470$B4720500-DE9F-4601-B6BF-C406BDEFA50F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2532b82fbfd494721e144e8b872f80867d7316e9","datavalue":{"value":{"entity-type":"item","numeric-id":246441,"id":"Q246441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$D4FF99FC-B235-4FFA-9EC8-601ACD0FEEE0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e142bd0dc840ed702ec865fb51b514477e03a134","datavalue":{"value":{"time":"+2016-12-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q730470$BCA8D304-8827-4520-932E-09BDF0449C8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730470$4CF4D7A2-E56B-46CD-AB50-B300619D3140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730470$E16DA58C-8917-44ED-A3AF-99B5B8391744","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730470$D4626B71-55C0-4F37-9435-F6C1F3E1B55A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"22432d0b95b02eb455557a0c842134dc42502b31","datavalue":{"value":"6668728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730470$B1CA36C7-8FE6-4BDB-86CA-76D93279395B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q730470$BB4E757D-FA7B-4CEE-9A30-B2A148E00025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e835b46ed5192fc8b3763b59c7d2b8dc527f43d","datavalue":{"value":"regular tree languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q730470$639FA879-140C-4A59-96CB-5BE859493830","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q730470$B81E327A-57B5-4D51-AB65-6A25CFB4FE1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdafaa7d9cc54e2932eb285adb535174c543cb64","datavalue":{"value":"regularity preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q730470$139BCDE4-D7CF-421B-872C-49E47E8C3790","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73de78a21c2b9603e253d2ca65f1f0ad01d3cdcb","datavalue":{"value":"tree automata completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q730470$307F5889-D3AA-40B7-AE7B-F65BB2B05929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"502ee1329accdbb9eeb37556e85b4f22f8cbb586","datavalue":{"value":"analysis of functional programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q730470$D6322ECC-7AE8-449A-A1B8-369EA4119090","rank":"normal"}],"P1463":[{"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":"Q730470$9D41C578-3C81-42DB-9C2D-6222144B509A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"580cc01f523eb259b29d75d715bd1b2876d59d0d","datavalue":{"value":{"entity-type":"item","numeric-id":15706,"id":"Q15706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$CEB8BD16-EE1D-48BC-95DA-27019D20DEEF","rank":"normal"},{"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":"Q730470$976864B7-2DE3-4A2F-9A02-7A854BBCCBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$33DBF5FF-2F0F-4CE0-B966-38508B984D53","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":"Q730470$CE4DF8A5-18BA-49EE-A21F-FA7697A727B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4b400309f0fa2ce7321b2055d88a609babfe4568","datavalue":{"value":"https://doi.org/10.1016/j.jlamp.2015.05.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q730470$B7186830-1768-4594-AC87-00431892282A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4cd2b6ee6772683b0807d9e4ce80c081fa7e81a6","datavalue":{"value":"W2256367468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730470$4EDCF6BF-D439-4CB1-851E-A9D8306C6FD8","rank":"normal"}],"P223":[{"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":"Q730470$69194832-9A0F-4A93-AC36-3AE0C677B332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02f1b2e4455f2d52f19974c18897509746e34ed3","datavalue":{"value":{"entity-type":"item","numeric-id":5389081,"id":"Q5389081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$396EE387-AF38-4999-B4C8-0A6EF0B5728C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"500b7013db46803970c07a38c3e11d7b9fe62b46","datavalue":{"value":{"entity-type":"item","numeric-id":5716566,"id":"Q5716566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$B7C8C879-F56E-4972-8D84-6EF9D653C0B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5a632c7b5ed0e0a18784aadb7347cb234219d97","datavalue":{"value":{"entity-type":"item","numeric-id":5703861,"id":"Q5703861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$5BD1DE3C-8E9D-4C65-B954-C5EBEBCBE134","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":"Q730470$5E5DAE63-918A-4C79-BB3E-487EDA399496","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":"Q730470$798E8412-4C98-4757-8384-54AED2E36BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1022789b753003ec302b5c7ae50f8b3e8350a2a","datavalue":{"value":{"entity-type":"item","numeric-id":2945135,"id":"Q2945135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$E1EDF6B8-63B0-48C1-8EDB-D16E3014B2A4","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":"Q730470$D27AC528-8D26-4DE0-A416-AA3D449C5DF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534227f15988ed0dfe59c383b2631933a5bd3dcd","datavalue":{"value":{"entity-type":"item","numeric-id":4938423,"id":"Q4938423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$EEEEC140-976E-467F-A7D7-22BEA5989DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bde07cdcf9f119afdf8d81a4464725f1ef280c9d","datavalue":{"value":{"entity-type":"item","numeric-id":2723905,"id":"Q2723905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$9B8677A2-DDE2-493B-8CEF-5A107DDE8085","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1598b42a0d0cd302314d6453395cf6853afd54f9","datavalue":{"value":{"entity-type":"item","numeric-id":5055873,"id":"Q5055873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$2A5CFFF5-0E22-45E2-BCE3-18DF5C093A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f401db670261330664f5823ed2c901ce74b45ab","datavalue":{"value":{"entity-type":"item","numeric-id":5111907,"id":"Q5111907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$94096DFA-5604-45CE-857C-FC4C2AA2FB10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"973722eeebe4e5605b179176564000c2c0d17f04","datavalue":{"value":{"entity-type":"item","numeric-id":3646168,"id":"Q3646168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$DA6793E7-958B-432B-94FA-F18F3D15BD1F","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":"Q730470$956FF694-04D5-4DBC-8576-1141EB52648A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83c3358af7fab0b56b10488fea916700b4827a1c","datavalue":{"value":{"entity-type":"item","numeric-id":2456572,"id":"Q2456572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$AE853DE3-D215-49F4-A6E0-5FD9C5767FDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83460ec99f4811b7e2913b57ad0244aaca1687e3","datavalue":{"value":{"entity-type":"item","numeric-id":5170159,"id":"Q5170159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$8CDA1EF9-772F-4D6F-BF46-6DFC4A1EF660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ae9f2e8b71d939ae0323423011a38c781ecf5c0","datavalue":{"value":{"entity-type":"item","numeric-id":5556444,"id":"Q5556444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$2028C8DC-0873-4B8F-B106-D1DA26F74513","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224a8f502813ed342d6cb66c96544427e8289115","datavalue":{"value":{"entity-type":"item","numeric-id":1118421,"id":"Q1118421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$B68CB02B-3CE0-48DE-B2BB-4C98D6D3EE34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5875c77a713b9ff63d317e3849e64dc2e65a05d8","datavalue":{"value":{"entity-type":"item","numeric-id":5055768,"id":"Q5055768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$D0FA6707-5924-40EB-AFED-9EFCB838A820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45e10e4eab14ae0b47fead282ae8af78f3cab156","datavalue":{"value":{"entity-type":"item","numeric-id":5234682,"id":"Q5234682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$77A52F1D-2488-4A24-BB5A-4A61D2B86546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5865e09385433fcc7bfadc64d2a2f060d420aae","datavalue":{"value":{"entity-type":"item","numeric-id":4938609,"id":"Q4938609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$BB5BB230-9989-432D-AEE6-A87DCED5A8B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f1adff01dd8135f1ec580aaf85536ae94c3e1aa","datavalue":{"value":{"entity-type":"item","numeric-id":4808741,"id":"Q4808741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$AA16BA11-DDFF-4FE5-A265-A82BBA972EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f15950715c4c719da3ab3ac53f61d38e4d10faa9","datavalue":{"value":{"entity-type":"item","numeric-id":1127543,"id":"Q1127543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$5FCB5A65-235F-4E09-B3FA-7DAFF533C8AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b47ad5a3a9cce23b4d5e3517ce107189c05e062c","datavalue":{"value":{"entity-type":"item","numeric-id":5389094,"id":"Q5389094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$37566BD0-46B2-48BD-B35A-68E249EE7A9E","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":"Q730470$F8FA7CC1-800F-47DC-A31C-51BD4A5BF1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$3534D511-BF2B-40E2-B3CB-4215C0FC5A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d3f22f1e7ec73ba657b43cbe915c5d1ad1a36dd","datavalue":{"value":{"entity-type":"item","numeric-id":944377,"id":"Q944377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$97A822AE-773D-4C59-86CB-9F92ADCB22F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741b21631e23968281f89237e367c4aff3326981","datavalue":{"value":{"entity-type":"item","numeric-id":3172866,"id":"Q3172866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$237A02DE-E7C7-4A8F-B67C-149883C7CC37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f958bf541942297fc7a10f7b47ca2519f97c298","datavalue":{"value":{"entity-type":"item","numeric-id":963463,"id":"Q963463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$EBE5B1E3-3803-496C-9044-3FD2872A7C7B","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":"Q730470$A0E75FBF-C96C-4906-B68D-B8C023B88BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30f1c4d780a5374e55b030ac066db90ef0de63fa","datavalue":{"value":{"entity-type":"item","numeric-id":5255106,"id":"Q5255106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$3EDD9400-38B4-4576-B93A-78DC9D3802E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90fa2d23ab889941428910dce1c5f472bc9edd6d","datavalue":{"value":{"entity-type":"item","numeric-id":5408579,"id":"Q5408579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$4DD785AF-F0D1-430B-9C84-EFAE072CD431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7036b55470ecafa335a5dc20bc350fe1a5716a3","datavalue":{"value":{"entity-type":"item","numeric-id":5395718,"id":"Q5395718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$1078B342-E437-4791-AE09-0E2A41B48A3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0617c9c3b9c3184f6798ba1239340057ee42116","datavalue":{"value":{"entity-type":"item","numeric-id":5277878,"id":"Q5277878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$C5929230-738C-40F1-9F82-2713EF7E5C49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39f0f1cf0c18de69393110b9c50091b9f09b707","datavalue":{"value":{"entity-type":"item","numeric-id":5327489,"id":"Q5327489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q730470$2EEC3B35-ABC0-404D-9425-CEA7264F3DCC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b7249767314c0b3882c12ea1a5aa6b280c83c781","datavalue":{"value":"10.1016/J.JLAMP.2015.05.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q730470$DB7AB559-7671-46EA-AC35-4623CC585F3D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5844008481b0f4fe3093087223d91e672ca5ed2","datavalue":{"value":{"entity-type":"item","numeric-id":2945135,"id":"Q2945135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1be0637476b18b3c983886f367e46863b2cb446","datavalue":{"value":{"amount":"+0.8719204068183899","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":"Q730470$602AC4A9-CEB5-46F3-9404-E0785383D2DA","rank":"normal"},{"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":"491329a0a8f1759c4a0c58d5f6e45c14f31365ca","datavalue":{"value":{"amount":"+0.8623416423797607","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":"Q730470$DEC7AF7C-2AB6-40D0-9965-28158092DD37","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":"3d47cdfaa7e6c6f5476b2aa58cb70c5a15ca98fb","datavalue":{"value":{"amount":"+0.8350298404693604","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":"Q730470$88A487E9-CB86-4C54-AE50-6AB1E6507A5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f73c3e9247b83043694a5cdb3f6a3a58d4196c81","datavalue":{"value":{"entity-type":"item","numeric-id":556686,"id":"Q556686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f523c1538ba2bbfdc04d782a9395ab10e133620f","datavalue":{"value":{"amount":"+0.8084588050842285","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":"Q730470$FD309542-C787-440C-9B08-BA4EC0C993F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d456a2944bc04dc08cd8e3411e04f104fad8cb6","datavalue":{"value":{"entity-type":"item","numeric-id":968530,"id":"Q968530"},"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":"Q730470$7E9953A9-167E-4ED3-A58D-2712EAC0E94C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Termination criteria for tree automata completion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Termination_criteria_for_tree_automata_completion"}}}}}