{"entities":{"Q6558632":{"pageid":14169787,"ns":120,"title":"Item:Q6558632","lastrevid":55690222,"modified":"2026-02-17T21:05:01Z","type":"item","id":"Q6558632","labels":{"en":{"language":"en","value":"Incremental NFA minimization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7868368"}},"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":"Q6558632$EF27D45B-90E9-43FF-84DC-1AAEF2447A04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e48149c4bccc600b86cce42a04f260e4d64bfb31","datavalue":{"value":{"text":"Incremental NFA minimization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6558632$905C3655-8682-4FCB-B2FC-3CB23C0DC39A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de558a68423a04277f44cf82369df5948a6d304a","datavalue":{"value":{"entity-type":"item","numeric-id":6558630,"id":"Q6558630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558632$AFC56E93-04CF-43A8-975A-D954C0B5277F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4e12c722f49d808c298b612fc4992a4ed23967","datavalue":{"value":{"entity-type":"item","numeric-id":626877,"id":"Q626877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558632$FE8049B4-45B6-408D-977E-8E5DB441C196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a6584d2beef731355f80740624b217e4ff442ba","datavalue":{"value":{"entity-type":"item","numeric-id":6558631,"id":"Q6558631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558632$C92DE882-0731-4B91-8D4E-5246FA66DBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f72a1167b829f218ecce3e800df3ec2681b1863d","datavalue":{"value":{"entity-type":"item","numeric-id":6151613,"id":"Q6151613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558632$20C07BD4-1DE9-4A1C-ADA9-B3C1BFA0B17A","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":"Q6558632$F36E1E1F-B102-44FF-B143-AD3B105E06C4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0c4d533d0dc11d1d65d32427fce4a60fa7f32e38","datavalue":{"value":{"time":"+2024-06-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6558632$8E584EEF-3C94-40CA-BDA7-FABFAD31C3F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6558632$900CA09B-3E29-4DD8-AE47-C507B5AF1213","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4786f881042e230110bd06ba14d563e035b04168","datavalue":{"value":"7868368","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6558632$05D51FF3-2EF7-4981-8509-F5E5848A14D6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6558632$E08DC478-D7AB-4D39-B2DB-CEE6B647AE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6558632$633E07C0-DC36-42B3-B7D2-45D18E22BC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1279221fe7735b1b47afd1411b335eca7e3f0e","datavalue":{"value":"minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6558632$5F4BA184-28C0-4CB3-907F-85C4CDF18724","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":"Q6558632$45E97C8B-C47F-4537-9276-CD31B0DB8352","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"027a170d6c137febe9630c9215be9b24dde92ee3","datavalue":{"value":{"entity-type":"item","numeric-id":3239817,"id":"Q3239817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558632$27CB0B3F-C07C-4F6D-8540-9DD4E6C16DC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558632$8A68A643-A887-492B-8EBD-9B1D5F5EF794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558632$E8629BCB-7F51-4362-99AE-938099C34965","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":"Q6558632$5A55A00B-A483-4AD7-9BA7-DBF42C49FE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bc63764f78026206a7f77643e07256a8ce69e65","datavalue":{"value":{"entity-type":"item","numeric-id":6135758,"id":"Q6135758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558632$2B0E49E5-9068-4753-9D87-24F81CB224EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8772472ae60c3eab2c99e04d5c03feb01833a434","datavalue":{"value":{"entity-type":"item","numeric-id":4848749,"id":"Q4848749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558632$7895CD30-1B9F-44FE-9E0F-DEFDE1AE8C4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"932383d1ac997ed208ef47dcb574b592efaf75b3","datavalue":{"value":{"entity-type":"item","numeric-id":4065031,"id":"Q4065031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558632$58E1C9AC-0C0A-4085-8118-632006748298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"453e22ac3c96e9186e42769ddb066f0f9c257a16","datavalue":{"value":{"entity-type":"item","numeric-id":5166502,"id":"Q5166502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558632$8E9E83B5-6D5C-49F4-89DF-9FA638337B02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5ac524cbea19dc9aa3d6636996e931a96e659c4","datavalue":{"value":{"entity-type":"item","numeric-id":5738999,"id":"Q5738999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558632$75537741-1CE5-428B-8C50-46F145124C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"093e15a90a61c72bc8bba51c717b85195b02f7bc","datavalue":{"value":{"entity-type":"item","numeric-id":2035006,"id":"Q2035006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558632$B0DBBA2F-CC10-41D3-91F8-E625C53AC1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"660e372c2fab9f49c1eae2ff439d4932a3c2a6cd","datavalue":{"value":{"entity-type":"item","numeric-id":5411641,"id":"Q5411641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558632$668B6005-018A-4CF1-A6BB-E3B849408688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9194e9b150f8488fef979658da21ddd0e60751fc","datavalue":{"value":{"entity-type":"item","numeric-id":3651735,"id":"Q3651735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558632$EF045245-9712-400D-9483-F956823FDD23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e19f5649f447c901608ec27ab70de717baeb33","datavalue":{"value":{"entity-type":"item","numeric-id":1161293,"id":"Q1161293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6558632$B7BF1921-F6D6-432F-A2D8-F708FDD70298","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a106d2d7cc343a9558ccc89b6c80dadf5b8ccc87","datavalue":{"value":"10.1016/J.TCS.2024.114621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6558632$781529FA-3225-4D56-8867-B28824189C6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7316ccb7ef0ff536865bea3e776f2e66ea5c6441","datavalue":{"value":{"entity-type":"item","numeric-id":3073619,"id":"Q3073619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6af516f7eb5da8c07ce9c0d0d0730aa35d3b8d5d","datavalue":{"value":{"amount":"+0.8712210655212402","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":"Q6558632$1A07F539-6DCA-41A9-9B1A-37D719B946B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96bf1d166352039d3decc6f540410ba0260b55dc","datavalue":{"value":{"entity-type":"item","numeric-id":5166502,"id":"Q5166502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df7eb51e4a4cf2e32f080bcea7b36a9a202f732b","datavalue":{"value":{"amount":"+0.8712208867073059","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":"Q6558632$EDE33C7A-FFE9-4161-8F95-9CBD2EB8F067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"648ad40784ff90063ab63717eec96a06ad5049b4","datavalue":{"value":{"entity-type":"item","numeric-id":905684,"id":"Q905684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"585d4d46e2bd31ab4d338ecefa0f11bb968e1991","datavalue":{"value":{"amount":"+0.8318252563476562","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":"Q6558632$AD7931DF-F93E-475B-B3B4-03DF74067FBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29725702c2d10de2c18b0e4e66f2dfa34005ece9","datavalue":{"value":{"entity-type":"item","numeric-id":5418252,"id":"Q5418252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99e5822df6b3d06e18c1feb98994d49cdba9b9a2","datavalue":{"value":{"amount":"+0.8107635974884033","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":"Q6558632$17EBF948-6302-4CB2-A89C-325AFF8A1A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c407ba62072b3d47a2bb3828282eed2e430ab2e0","datavalue":{"value":{"entity-type":"item","numeric-id":2035006,"id":"Q2035006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6b358841b427f555120be999fe4b16c8b96cbff3","datavalue":{"value":{"amount":"+0.8089536428451538","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":"Q6558632$80D3A258-715D-4673-8E28-204980EA49B4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6558632","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6558632"}}}}}