{"entities":{"Q264992":{"pageid":266759,"ns":120,"title":"Item:Q264992","lastrevid":56746023,"modified":"2026-03-23T11:28:32Z","type":"item","id":"Q264992","labels":{"en":{"language":"en","value":"A complete refinement procedure for regular separability of context-free languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6561876"}},"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":"Q264992$AB996F85-9E5B-4C1D-BBF4-3746EF70954A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6a7468fc01a60752210b1345cafee6eaa62b7ef3","datavalue":{"value":{"text":"A complete refinement procedure for regular separability of context-free languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q264992$037318B0-7A00-430B-9BAF-C73628707C79","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e2a3679037ab5cf993d59b4f7285834a839ceb3","datavalue":{"value":"1338.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264992$3541A830-9FC9-41B2-92A9-21E736484DB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"64a1c2e371f294fd2a797ae897eaf22844acf1bd","datavalue":{"value":{"entity-type":"item","numeric-id":264987,"id":"Q264987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$F6EEE6D8-CA08-4F23-953D-09656994A8DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc9aa5bf3e043aca79ceea7f9b6e24e591eea899","datavalue":{"value":{"entity-type":"item","numeric-id":264988,"id":"Q264988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$FDAD5AAC-4A86-4B91-BE29-3C827E26B96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce1d94e70aebf90c5dd207852d980a9c10776e1b","datavalue":{"value":{"entity-type":"item","numeric-id":264989,"id":"Q264989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$0F1624C3-7CEE-4CBF-B40C-1525D00FE1B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32c13414e2e9fe70ae35bf1219d16c73b3483198","datavalue":{"value":{"entity-type":"item","numeric-id":264990,"id":"Q264990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$25D9F94F-3E8D-4A99-A3C0-307267EE185E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ce0c30279fc718bf70b3c03c8fe86c99509adf2","datavalue":{"value":{"entity-type":"item","numeric-id":264991,"id":"Q264991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$3D3ADFD8-A853-42AE-90DA-667682B8EF17","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$2D9BE9D2-19BC-4B85-8F34-4C38BB63646C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"016d40ec0ad7082f724ffc91cfd4611759c1ca20","datavalue":{"value":{"time":"+2016-04-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q264992$56A8AD9F-59C7-44B7-AB15-43C5FCB5E698","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4e244255ca9004341efd088eaddacaaa770a04d9","datavalue":{"value":"https://arxiv.org/abs/1411.5131","type":"string"},"datatype":"url"},"type":"statement","id":"Q264992$D40A359D-1A82-4476-A495-3E43BF7232F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264992$5B939706-03EC-4DC1-BAAB-373321EAEF31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3d994538f570c3b43acc3a61edf41ec5536827c","datavalue":{"value":"6561876","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264992$EE155824-8D30-43B5-B7DD-7548B22945FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9917a2dfd376250c18f9925b8d22d45575bb3eef","datavalue":{"value":"abstraction refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q264992$4F85FC5E-C9B6-4C22-BD5B-EEFCCEA61121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"795414f846fccd6517b35b46d219d01dfd08d3da","datavalue":{"value":"context-free languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q264992$895F09AC-2F42-4F0D-B9D4-087B0FFDC601","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7ee8f1f72c010adbe74329f78098950117b344a","datavalue":{"value":"regular approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q264992$734C153E-001A-4B9E-84D4-97FE3E8BD29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e89c7ebb84fe344c11e625e580d7cf9b6f9e0fd","datavalue":{"value":"separability","type":"string"},"datatype":"string"},"type":"statement","id":"Q264992$9C9033FE-9A50-48FA-9D24-338C7AFBD262","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2861c6df7f487126d46ca159f66b8901b3f0b6aa","datavalue":{"value":"Q57664979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264992$F071DF75-912B-40FC-8DA4-E9CC4E85122C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b20bdd44ba5dda1408033b52815544ca46ca60dd","datavalue":{"value":{"entity-type":"item","numeric-id":26067,"id":"Q26067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$4BEE66C7-50D9-47D9-A69E-7FF0006B21FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c007ae1867363f659c11dfe2e26b294ddb7e58e3","datavalue":{"value":{"entity-type":"item","numeric-id":33608,"id":"Q33608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$7658790E-CF73-437E-9C7F-F4D36E40344F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19f0a0ed7a5fb8cd393b7dc185c151796a9b2380","datavalue":{"value":{"entity-type":"item","numeric-id":33657,"id":"Q33657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$5A087A73-C8DE-4F73-A48F-AE270186E1A9","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":"Q264992$225C82A8-8485-454B-A4F6-1CD269B8F1C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a94161c8e902d0a773ebb8ff413dc1612c16beaa","datavalue":{"value":"W1528946883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264992$582E35F5-F08E-4C88-9F04-5C92CD2ED612","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$CBBACF7E-FC24-4943-A465-21768716320A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45c10a6d2117b5e6f39dff4a83051d38409fc05b","datavalue":{"value":{"entity-type":"item","numeric-id":3519518,"id":"Q3519518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$191D3A76-461A-43D8-8864-FC9D6AC76659","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05714b3da002b8b1bc619de4e60891497dad85dd","datavalue":{"value":{"entity-type":"item","numeric-id":2942913,"id":"Q2942913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$BEF22C1F-0EB0-41F4-A29B-10589975A713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87110dc280025f5ca6742cb0f9f98c6def17e539","datavalue":{"value":{"entity-type":"item","numeric-id":5573395,"id":"Q5573395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$DD589251-A53A-457E-907D-92A9C04C236E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bbe7a299d570facbdd631c622bdeafdcc911790","datavalue":{"value":{"entity-type":"item","numeric-id":5899068,"id":"Q5899068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$C074E67F-51F0-45FE-BB4D-45093203E02A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$15C3FA59-67E2-4FA5-A122-17311EBE8AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"693a456af71addc6be4e81edb2567f1920c05c51","datavalue":{"value":{"entity-type":"item","numeric-id":5408569,"id":"Q5408569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$B6770814-67AE-4285-BB0B-147CCAF3F7F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db7150bb95ce29ac7ab68f5e80e6c68f8a738726","datavalue":{"value":{"entity-type":"item","numeric-id":4371017,"id":"Q4371017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$DC49053E-A077-42B9-8C59-EB5AF772D3D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81ac69bab24fe69311f3c1521bc4e4a05e32a546","datavalue":{"value":{"entity-type":"item","numeric-id":2729233,"id":"Q2729233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$E3BBC3B8-FC60-49A8-B081-8BF4F557890B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45a71fd353d8e84eefdab1541c9ac29dd2f6d005","datavalue":{"value":{"entity-type":"item","numeric-id":4592995,"id":"Q4592995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$E4151B1E-9085-4848-9947-CF09F9A6841B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"00fa0aa7f8a4a873356565a94c7f0ba6cba24f75","datavalue":{"value":{"entity-type":"item","numeric-id":5326331,"id":"Q5326331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$3CE0EA6A-B504-4893-9EDD-D94320A642D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"870c5a38858355caeeae9f446f0a3e85a9be75a4","datavalue":{"value":{"entity-type":"item","numeric-id":5517673,"id":"Q5517673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$37891C33-EAD7-4DD7-833E-91D6668C7481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcf2b678c67af5d9c3ef01ce8f5125a52e30717a","datavalue":{"value":{"entity-type":"item","numeric-id":5255103,"id":"Q5255103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$41A338BB-736D-4B2F-9772-B5554A5CD8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3b6cc15040ded0c6c1b285574a73450f656b5c6","datavalue":{"value":{"entity-type":"item","numeric-id":3962487,"id":"Q3962487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$4A8A5EF0-C7A1-4853-AF90-25E5C086A081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78de56ced350df0f91a1373ee7eacc0e356c260f","datavalue":{"value":{"entity-type":"item","numeric-id":5385603,"id":"Q5385603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$9D7710BF-2E56-48CB-8144-ED0D6EFC0E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8925134b1a30a1e29345a86788d638c165ecc224","datavalue":{"value":{"entity-type":"item","numeric-id":3000627,"id":"Q3000627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$1EAE5B10-2E85-437B-8787-44A5320BEAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c8be4f190c1469f2ad503f2b33ff395524bd1","datavalue":{"value":{"entity-type":"item","numeric-id":2776326,"id":"Q2776326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q264992$0D1AEFE5-4178-42E5-A382-CFBCE026F148","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"98c4e680c9c57664b82c9001633a1f9b4f0c74be","datavalue":{"value":"10.1016/J.TCS.2016.01.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q264992$D32160D7-8890-480A-8EE3-C369A90477D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87f948d9a14d59ab24db3110eb34e3bb6aaff526","datavalue":{"value":{"entity-type":"item","numeric-id":995585,"id":"Q995585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e495fdbb21dab8b53d10f146330b4a5f51de6b74","datavalue":{"value":{"amount":"+0.7667220234870911","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":"Q264992$07DB0E43-28D7-446C-958C-8AC050887E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cbd3e8809ac17049fa3cb3e6f2a974992453f35b","datavalue":{"value":{"entity-type":"item","numeric-id":3523174,"id":"Q3523174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a42a695f25394eedd3175cc561c048280a85e783","datavalue":{"value":{"amount":"+0.7539207339286804","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":"Q264992$9D00D53A-B107-4B3F-A94E-7F2DD0DCF4C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1fb15bb1ba38dcf323ca5543a6161ca193fa54ec","datavalue":{"value":{"entity-type":"item","numeric-id":2947878,"id":"Q2947878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4da3396d926788bef94773c2921b81cea60b764c","datavalue":{"value":{"amount":"+0.7485707402229309","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":"Q264992$25CCD1D3-A1F3-41ED-850F-D2A58E02D978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e43662cf3b0e01ee3429e4a78510f81f4e9b573","datavalue":{"value":{"entity-type":"item","numeric-id":2921121,"id":"Q2921121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08c1f0b899f420bd35a8e347ccf16357906914ab","datavalue":{"value":{"amount":"+0.7364065051078796","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":"Q264992$C4E47D48-01B5-48BD-A410-4FD97C3A577B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e974e32c3f127c2550a6be518b3d370805f93a7","datavalue":{"value":{"entity-type":"item","numeric-id":2963927,"id":"Q2963927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31acec867dcbbddb6a28a5dc8e316905c80c7b82","datavalue":{"value":{"amount":"+0.7320627570152283","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":"Q264992$67469DC4-3F32-4F0F-8994-3FC6E464FC0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:264992","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:264992"}}}}}