{"entities":{"Q703569":{"pageid":705418,"ns":120,"title":"Item:Q703569","lastrevid":48396694,"modified":"2026-01-04T14:38:41Z","type":"item","id":"Q703569","labels":{"en":{"language":"en","value":"NFA reduction algorithms by means of regular inequalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2126127"}},"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":"Q703569$F4EE2368-528A-4011-A75D-CBB78EE2A9B7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"426410ab3b60bf3ffde4bc7f801dfa74cdebd8c5","datavalue":{"value":{"text":"NFA reduction algorithms by means of regular inequalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q703569$0D62D67C-56A7-46F8-9274-C498FB4C2E30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"359c89d8efecd0c4ac6d44561dfcce087e707837","datavalue":{"value":"1071.68039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703569$441515BF-6DE4-43BB-82EC-AAB230144A78","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":"Q703569$9434DE0E-DA10-4705-BB7A-CA7BBBA57428","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64fc1bb835ad7d7e19dde657c65db04a5fd1cde0","datavalue":{"value":{"time":"+2005-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q703569$69BE9AD9-309A-468A-A94A-3DEF1034ED3F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703569$16B4280E-429A-474F-9C68-D557525C3404","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17f44124224564d567d98a9716329e4803fcb156","datavalue":{"value":"2126127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703569$8501FDE6-E09F-44DA-8C26-6BA2B6C75BE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1fff7125545fcdacaefe3808a1a5f0e0a281b403","datavalue":{"value":"Automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q703569$EC709158-9739-4D6C-AA9D-57DDCCEB6578","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"949ddc14cb49e1629df8f7fa8693894f4ebb3c9a","datavalue":{"value":"NFA","type":"string"},"datatype":"string"},"type":"statement","id":"Q703569$383BD0BE-C47A-49CF-AEC3-72C611760751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f35d63176770a291ce2bc7d1e66a849a755c3df","datavalue":{"value":"Simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q703569$B2362F52-FF5A-41EB-AB99-9A0412C1DFD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9b9937dbfd633fb2c50ae9f6c8cd439d0e884fd","datavalue":{"value":"Reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q703569$48A9739F-3652-4142-A927-0ECCEF157FC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421e5bd4d9be0fcb4bedecadf8614cf427d0f232","datavalue":{"value":"Preorder","type":"string"},"datatype":"string"},"type":"statement","id":"Q703569$8BCC3671-0B63-4E68-B33C-C93A13938695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fe87eb077a26c7f2f18b86eaea6a4371e36a767","datavalue":{"value":"Nondeterministic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q703569$5046E568-C0CC-4BA4-8528-D7BE1381C9F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d834650717dd8ea4fc41e16d34de55d91424ddc","datavalue":{"value":{"entity-type":"item","numeric-id":396949,"id":"Q396949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703569$DBF963EC-2DB5-4BE3-B05D-90B5E16DCDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a0204a90cb006098c61a0ff26b738c67df0148a","datavalue":{"value":{"entity-type":"item","numeric-id":2499591,"id":"Q2499591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703569$50D8FB8F-B921-43C0-A631-D3B051DBD0F3","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":"Q703569$59F36FA8-F85B-44AF-8DBC-69C6BF100347","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbad50ca9132203261a01e80941d309f10346eef","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2004.02.048","type":"string"},"datatype":"url"},"type":"statement","id":"Q703569$90F76FDA-2DC0-41E4-92E2-E8B23BFBD48D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"77d5028a9bbcc6e6254c8b1ad8cfd6bc88e787b2","datavalue":{"value":"W2102066200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703569$3E9B0F4C-1ABB-47A5-AA81-0551BC1C1497","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"28b7d159ce65631c9abfd1e74bb6ef232e410c2c","datavalue":{"value":{"entity-type":"item","numeric-id":4474143,"id":"Q4474143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703569$436E66D6-EC4A-405C-B3A4-3E8391985505","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b71612a3f41142633f6f7911a61e1539b6ec454c","datavalue":{"value":{"entity-type":"item","numeric-id":5055882,"id":"Q5055882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703569$EEB4327B-DAE5-4783-8323-CB0F69C9BD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe955fb7f9026c48a3b74bf365e86ce77d5a2f05","datavalue":{"value":{"entity-type":"item","numeric-id":5725992,"id":"Q5725992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703569$08058740-D4C1-45C6-B9D4-125DE76FF187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c71d4091e212992af62940c13c03d89886b01ea","datavalue":{"value":{"entity-type":"item","numeric-id":4454842,"id":"Q4454842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703569$D8DCF2B3-094A-43F1-A9FA-D6A2B668285E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"264f6a8abc20a7fe2f5c1086b6f244552563cfd1","datavalue":{"value":{"entity-type":"item","numeric-id":4831427,"id":"Q4831427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703569$1D3DEE2B-4F31-4154-9870-03DB604D0110","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2be2ce44bdf80df52f5a97dfe72ac01ea51570a9","datavalue":{"value":{"entity-type":"item","numeric-id":4045961,"id":"Q4045961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703569$B2441C1F-0765-40E8-9F30-510538AD602D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2a9c390298575061fb02cd95521e7691f4fa7dd","datavalue":{"value":{"entity-type":"item","numeric-id":1229100,"id":"Q1229100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703569$C8AA5012-9D23-4D4C-A737-563000D83E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b32ffdcde3258590bb18fbd8b9c5ea5df410929e","datavalue":{"value":{"entity-type":"item","numeric-id":4708581,"id":"Q4708581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703569$F20BDC41-C526-4D9B-86EB-38D82B32D1D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d312280f5f61c74d9eaaa5e8955bf91557ee7a5","datavalue":{"value":{"entity-type":"item","numeric-id":4023519,"id":"Q4023519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703569$7008A519-8B3A-4F37-9E4B-FF06EA87E91C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e78d7d44652f20c2a60f72580420d04a08808e1","datavalue":{"value":{"entity-type":"item","numeric-id":4277533,"id":"Q4277533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703569$D15F267A-DD08-414C-932B-7D8D9854C887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a43c803a4ad1fe6b307a5c428e2fea86a94776c","datavalue":{"value":{"entity-type":"item","numeric-id":5590818,"id":"Q5590818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q703569$3EF8CB5C-DC03-4B47-AECF-CD91D4B332D8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c495413d4fa56447f378411c079e4e0e271ecb4","datavalue":{"value":"10.1016/J.TCS.2004.02.048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q703569$7C0F133C-DE23-44E8-9FC2-02712AB6BE87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1819c2d654ffc1dfd2fc4d6141a7acf4745458bb","datavalue":{"value":{"entity-type":"item","numeric-id":4452062,"id":"Q4452062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e8275f9e0a0d9fb31832f9a912c1429ad3d04a4","datavalue":{"value":{"amount":"+0.9965693950653076","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":"Q703569$28802B06-54AC-4988-99C6-08B84F93259D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"132ae0a86582d6a05a1891282a60ea30ef2be0c8","datavalue":{"value":{"entity-type":"item","numeric-id":5894870,"id":"Q5894870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7bbfc6638ab8440117ef8ae77ef4734ee825ecd","datavalue":{"value":{"amount":"+0.8563465476036072","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":"Q703569$077A2D18-9B68-44EA-BE18-0ACCA451B9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d883ae9997c9dcdeec9e92f7f23f2eebabb0a33d","datavalue":{"value":{"entity-type":"item","numeric-id":5713553,"id":"Q5713553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d3e2ad9ea1e4bb830870a2c931a692a840f8491","datavalue":{"value":{"amount":"+0.832779049873352","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":"Q703569$F7A79A70-AD31-4072-BED4-0CC20D4D39B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3998f026f6cd7f46e1817582dbb4a0f278334ca","datavalue":{"value":{"entity-type":"item","numeric-id":3017223,"id":"Q3017223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29883b86408b8b1d8847471729261eeedbe98d59","datavalue":{"value":{"amount":"+0.8312628269195557","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":"Q703569$0F974350-72B2-43D3-AA02-F8FDE0BF171E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a735c5cbbe5a331a0828a6ee19e53ed6bbb6f5","datavalue":{"value":{"entity-type":"item","numeric-id":6114834,"id":"Q6114834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f915968fe8ef7fb47cebf70a7b2c1c84b84b2c3","datavalue":{"value":{"amount":"+0.8217886686325073","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":"Q703569$59D279F9-B3EB-49D7-9BED-2240C5B178DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:703569","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:703569"}}}}}