{"entities":{"Q6131195":{"pageid":13265502,"ns":120,"title":"Item:Q6131195","lastrevid":55623712,"modified":"2026-02-17T19:54:56Z","type":"item","id":"Q6131195","labels":{"en":{"language":"en","value":"Converting finite width AFAs to nondeterministic and universal finite automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7827499"}},"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":"Q6131195$C8E5907B-360A-4F46-B1A2-01110C80C5DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4322182f9c2d96e20d8d0ad5c004d4c9e10af54","datavalue":{"value":{"text":"Converting finite width AFAs to nondeterministic and universal finite automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6131195$D8DFAEA6-3F63-4195-AD7F-BE3DED554D02","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c08668aea7cb8429580113991d7890296329b26","datavalue":{"value":{"entity-type":"item","numeric-id":2029486,"id":"Q2029486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131195$9CDB3C9E-428F-41B3-9B8B-601CDD347E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8455035442168fbb99576351474dec2ff822256f","datavalue":{"value":{"entity-type":"item","numeric-id":247255,"id":"Q247255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131195$B50BB6DA-22B1-41D2-937C-4D7D0E458A33","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":"Q6131195$A71F898E-178E-4C2E-A9F8-60939DE4A4DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed93f927f63c00bbaeab31931bb0c0a40b2cf90f","datavalue":{"value":{"time":"+2024-04-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6131195$2C37FA2A-3F33-4576-A90F-93D993CC6D44","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6131195$513CFE0E-E3AB-4B2A-B3C1-85DD9C26487A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e4b7d06661d45135dd1fa6d78424310a17923bc5","datavalue":{"value":"7827499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6131195$DC6B8163-7668-441A-9F9D-7B82F6A33D16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1b10ab4d2fc75823309415cc3027a505ded7b2f","datavalue":{"value":"state complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6131195$97DDFD15-1B64-4E47-A2F6-7E03FDADE1D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q6131195$46E6D030-F74E-42E5-A888-04206803896B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ede63fd1a77a5c845c83008f77129bbd99d9bbf","datavalue":{"value":"alternating finite automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q6131195$05606DEC-AA1D-4602-980D-1D8AE031FAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c2a4d62771ca90002babf7102c04db8731ef717","datavalue":{"value":"existential and universal width","type":"string"},"datatype":"string"},"type":"statement","id":"Q6131195$13773133-18E2-40E3-9A30-7CF0D95FB73F","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":"Q6131195$425B3F40-9A2C-49A9-A9A4-5CE1B9459954","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f8a1b0ddb63c6ec2f4c3b6cbde4872604a32456c","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2024.114506","type":"string"},"datatype":"url"},"type":"statement","id":"Q6131195$1C7D064D-4D48-4B67-B93C-3C9A75C209DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"330230fd008f31c47231eb76efa851794b7c9847","datavalue":{"value":"W4392869357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6131195$8E2E0BA6-8065-4E64-A54C-F7DB21387C4F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"df2a0568d35c9c7c579d01bd7c9acc4cd65e8307","datavalue":{"value":{"entity-type":"item","numeric-id":688156,"id":"Q688156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131195$85CAF3E7-DB6E-488B-8A48-DE4A94146F40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131195$DC68206F-A602-4550-A23B-88BA2F7062E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"363a864ee1a10f69957773b1eb522590c5c09215","datavalue":{"value":{"entity-type":"item","numeric-id":442279,"id":"Q442279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131195$FD3BFC01-649D-453E-BCB4-96B85BBA3406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a214656dac4fa9fe492ef1497e5656980477b222","datavalue":{"value":{"entity-type":"item","numeric-id":5422234,"id":"Q5422234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131195$10240810-7813-4977-B785-7162AD2E979B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f56e7c09b71d6e6794c7b6bdb13ce75c77a19e4","datavalue":{"value":{"entity-type":"item","numeric-id":912641,"id":"Q912641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131195$03131D2C-E21C-43F0-905D-0588E7D0F866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0de0fc31d66fbbc20f20ea4d1b8741fa40537d39","datavalue":{"value":{"entity-type":"item","numeric-id":6175087,"id":"Q6175087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131195$951DEBF3-7A97-4310-BC24-E81B91D45EA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25671577fa4958887cecc5eb5572a0caef1b2663","datavalue":{"value":{"entity-type":"item","numeric-id":553312,"id":"Q553312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131195$EC4D0A9B-F6DD-4733-A531-81DBF53B6962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2125d23285b42025489c119f78f60c43fe39833e","datavalue":{"value":{"entity-type":"item","numeric-id":1068537,"id":"Q1068537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131195$3DBBED5E-435C-4840-93B4-2104D79D2B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f1a2d6f87971d2bbd1e0241943759dd4cdd2fbd","datavalue":{"value":{"entity-type":"item","numeric-id":537915,"id":"Q537915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131195$4CC72C6E-DC9E-445E-8A94-A5ED040575B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93756f847eb4aa86e08e6ea5030624d1bbf12185","datavalue":{"value":{"entity-type":"item","numeric-id":1854501,"id":"Q1854501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131195$371AC9EB-20F6-4B2D-8D95-0A1418AF3B55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b2f74900a9f10244242a7857163ebbd23c95073","datavalue":{"value":{"entity-type":"item","numeric-id":2029487,"id":"Q2029487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131195$F5EB0D81-8C8D-4F01-9953-DACDBB4A2A8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"971679bdf7cbd095011d431a823cf403c3425242","datavalue":{"value":{"entity-type":"item","numeric-id":4503150,"id":"Q4503150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131195$7C0F96F8-5803-4196-A497-84EFADD70E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab23de71a606c822dc8cb45efd0b49813a0f480e","datavalue":{"value":{"entity-type":"item","numeric-id":2113384,"id":"Q2113384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131195$6924352E-239F-4C3A-BD9A-9F68F8B59825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76c2e166c21268174f22435e129942ae345904e6","datavalue":{"value":{"entity-type":"item","numeric-id":3325044,"id":"Q3325044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131195$22871457-4933-4E8E-807B-23E9EEF6A859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"005a72c1edeb14a152d3d24ef383c7204eb6ae58","datavalue":{"value":{"entity-type":"item","numeric-id":1271338,"id":"Q1271338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131195$DF3ACCE4-00D6-4FCD-8F18-981D20E006F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6f87c9de7e36a07d88a7b35b106b442e6a9d1b1","datavalue":{"value":{"entity-type":"item","numeric-id":4210084,"id":"Q4210084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131195$34D7CF51-87D3-404E-875E-5E2A43D8005E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2d2507304ab609ba2df7863cc2c442e53a20052","datavalue":{"value":{"entity-type":"item","numeric-id":5704377,"id":"Q5704377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131195$43F0ECB1-1ABC-4AB0-AC5C-E7C44AB3298D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb5b8083e2175c90778709cee68e8bd9aa8d4927","datavalue":{"value":{"entity-type":"item","numeric-id":3044317,"id":"Q3044317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131195$249CF93B-4A71-49AA-A63C-C9C10C2F3416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4313978b219b59cc968a2c94337ab6b35b11a9f","datavalue":{"value":{"entity-type":"item","numeric-id":5178457,"id":"Q5178457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131195$680E279B-5658-4DA6-BE88-D4F5C133CDC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69c79a2b2ef68f73f3af959896fa005d1d15c8ae","datavalue":{"value":{"entity-type":"item","numeric-id":3034835,"id":"Q3034835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131195$0DD115C1-C203-4F3D-961E-D451362B449E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2f45038ab8e4e4836ac8e04a5fbfcb672edc4f","datavalue":{"value":{"entity-type":"item","numeric-id":5588675,"id":"Q5588675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6131195$71E5359C-C891-423B-973A-EA03A399CC89","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1db3963d34c92a3dc93c90dc977da7895196a71d","datavalue":{"value":"10.1016/J.TCS.2024.114506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6131195$A950E1FA-390A-4B6F-B083-0908A208B47C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9322385ff8c7cf1f9afa100cd44af6fb89925401","datavalue":{"value":{"entity-type":"item","numeric-id":782574,"id":"Q782574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93f9565c9d9e1b725a41b3fa381c7dec9b7e5782","datavalue":{"value":{"amount":"+0.8813261389732361","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":"Q6131195$4E3812F6-EDE8-4E67-911A-5ACC9040B5EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be9b82d18eb0adcb8c67538fabc9eff6f3e22262","datavalue":{"value":{"entity-type":"item","numeric-id":6588086,"id":"Q6588086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dcaf58ef4490dabd0d97bf43888525329816e34","datavalue":{"value":{"amount":"+0.8651092648506165","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":"Q6131195$FB7ABEF3-BC54-48CE-A2EB-E6A17D5C8591","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bdc85e946a1e2e9a0cc7d03b6627e74e30c7d98","datavalue":{"value":{"entity-type":"item","numeric-id":2922024,"id":"Q2922024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3816b55a9530c9193a477cc5d923bae11553c496","datavalue":{"value":{"amount":"+0.7738794088363647","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":"Q6131195$AEF27976-A464-4FA6-A4A9-5493EE0FDF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7025ceb49d5533ee99ef071778e48fe0125a58b","datavalue":{"value":{"entity-type":"item","numeric-id":2907501,"id":"Q2907501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"077e513d47f6c1bad5068c2890045bfb5042eb14","datavalue":{"value":{"amount":"+0.7706719040870667","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":"Q6131195$8703CB1B-18E3-4D83-8636-9DDCE5448D0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6131195","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6131195"}}}}}