{"entities":{"Q462609":{"pageid":464376,"ns":120,"title":"Item:Q462609","lastrevid":62010999,"modified":"2026-04-11T03:11:05Z","type":"item","id":"Q462609","labels":{"en":{"language":"en","value":"Some algorithms for equivalent transformation of nondeterministic finite automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6359316"}},"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":"Q462609$FA88ECF8-7849-4A61-9A17-84C027841D73","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"878d7417535e5a63af4197f077d33a425b80546c","datavalue":{"value":{"text":"Some algorithms for equivalent transformation of nondeterministic finite automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q462609$901D854F-B63B-4D85-BD7E-E8C3A9CBA66E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bc922e9616c66d5341222b4e9bc5b590ecfc2dc","datavalue":{"value":"1298.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462609$286755E5-6B6A-439B-BAA7-66635FC76A3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3db3f2d4e39c10699e12fc32f727c52ce2cf77d","datavalue":{"value":"10.3103/S1066369X09040100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462609$42612B4B-5A65-4D08-9B22-B49F06A0F6A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67b73e6f1a3578c52f3cad1b584473c5e4955e54","datavalue":{"value":{"entity-type":"item","numeric-id":462608,"id":"Q462608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462609$C1A4722B-8116-47B9-AA12-C497AF71CFD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7bb92f00a3c2c51362a7121ee06e18bcc298257","datavalue":{"value":{"entity-type":"item","numeric-id":174381,"id":"Q174381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462609$52E78B6B-A7E0-4E2A-8B45-F74B926BCDC8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"62318960435ff4e0b6f0bda102e1b989b0fc569e","datavalue":{"value":{"entity-type":"item","numeric-id":268929,"id":"Q268929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462609$7759C08F-81C4-4648-AF89-9FEF0E024EBB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8aab91090adac2ef689d8084ca227fd51618d22f","datavalue":{"value":{"time":"+2014-10-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q462609$EF8A1FBB-35BB-4A37-94CD-AB58BF074DCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462609$8E0E2E36-EBE6-48D1-8ECF-F9E8F7B49D82","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffa029b9eb52542a1925ed71c832ddf203228ca2","datavalue":{"value":"6359316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q462609$D4D8B554-5A2F-4EF0-AC28-6298E886E875","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"135d8aedfa48efbdf272187bb5e64a07ac5bbe92","datavalue":{"value":"nondeterministic finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q462609$F1CAC24B-6481-490A-AD31-54F21110CB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0489999798d33cc87f70f4ed9ff54abcc57e1fb3","datavalue":{"value":"equivalent transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q462609$A82D23B2-22A3-437B-9425-39AFCB2F14F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4cd779f049c81d7311787a886fa74349eab558a","datavalue":{"value":"extended automaton","type":"string"},"datatype":"string"},"type":"statement","id":"Q462609$DEE25347-D000-4D75-B135-86C3C46047DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19d2ef97d84dc1f8acd6614e0c042c5d30df413a","datavalue":{"value":"combining states","type":"string"},"datatype":"string"},"type":"statement","id":"Q462609$29741259-9300-4562-BD64-078CFE98CB16","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":"Q462609$D2D1C0C0-A206-4D06-8CF5-0838234D195F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"59f60764865641217d564887c22fdd45b8531bb7","datavalue":{"value":{"entity-type":"item","numeric-id":3948608,"id":"Q3948608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462609$422FDCB8-9DE1-40C0-BACC-2A3F29EC7B5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b9454250e4166f2cf85f34df6648d4a4bd6226","datavalue":{"value":{"entity-type":"item","numeric-id":4542919,"id":"Q4542919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462609$42D253E5-ABBD-4E30-9F39-12F6B65CEBC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d435d487699356277e5dd9d057731825ebe623e","datavalue":{"value":{"entity-type":"item","numeric-id":2454972,"id":"Q2454972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q462609$86AD44C4-1C94-4075-BAA7-B51B8C69BBB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bb3e03e57f16edd4a1db9885afee5fe9f1ed000","datavalue":{"value":{"entity-type":"item","numeric-id":4256110,"id":"Q4256110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d5055b85058d50da70ea96c880f080e73e2b683","datavalue":{"value":{"amount":"+0.8087701201438904","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":"Q462609$9DD0C497-E2DF-4D14-B90D-A2A75800245F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebfc322ddee1d45653c575f2af78d677f8a03db6","datavalue":{"value":{"entity-type":"item","numeric-id":3501399,"id":"Q3501399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d5055b85058d50da70ea96c880f080e73e2b683","datavalue":{"value":{"amount":"+0.8087701201438904","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":"Q462609$DFF0A2E1-9144-4149-AE99-2C13CEA83F62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"797349e4b471db4558a8365b4813be25829d0bf2","datavalue":{"value":{"entity-type":"item","numeric-id":3738563,"id":"Q3738563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d49b18f68a75f8ba555e52b9f33f8aef2e94a5","datavalue":{"value":{"amount":"+0.8017658591270447","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":"Q462609$F4C2CEEC-0DF1-4214-82B9-E4913BDEE054","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8322324e4571758fa4f77060b76d332ed19afa4b","datavalue":{"value":{"entity-type":"item","numeric-id":3005907,"id":"Q3005907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21beda60342cb9f12c1246a6afa090cd6b1ee71f","datavalue":{"value":{"amount":"+0.7977136969566345","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":"Q462609$92AE0380-CD37-429B-80D0-496AF4996F58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d57a6be245be72a626949a0b0a0cb86806467282","datavalue":{"value":{"entity-type":"item","numeric-id":4489994,"id":"Q4489994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d8a53cb0f1fe33cdbbdda1c868fdb21a8d35de27","datavalue":{"value":{"amount":"+0.7857650518417358","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":"Q462609$DC1D58BD-69A7-434E-BD43-827393176A0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Some algorithms for equivalent transformation of nondeterministic finite automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Some_algorithms_for_equivalent_transformation_of_nondeterministic_finite_automata"}}}}}