{"entities":{"Q418805":{"pageid":420572,"ns":120,"title":"Item:Q418805","lastrevid":61696542,"modified":"2026-04-11T01:02:08Z","type":"item","id":"Q418805","labels":{"en":{"language":"en","value":"A graph theoretic approach to automata minimality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6039186"}},"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":"Q418805$A50E8AC3-5603-4066-87A5-03BDCC7FC98A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"79c5375d77caa0c37d1d81ee175583b9ca89dce7","datavalue":{"value":{"text":"A graph theoretic approach to automata minimality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q418805$E19EB4AB-8D93-4F2E-AC19-C68770386271","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40b2ab3b7fec50e3b028b54a6a07fff48137970b","datavalue":{"value":"1238.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418805$697843FD-F33B-4FBF-B88F-9C9289E44AFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"50c3c49819b0b784f4fb01d0bfdb0237c61bfd45","datavalue":{"value":{"entity-type":"item","numeric-id":405565,"id":"Q405565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418805$5929B60F-1EBE-442B-804C-104F80A6C686","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0cad4e745d1972512034bcfeef775e2622368ce4","datavalue":{"value":{"entity-type":"item","numeric-id":418804,"id":"Q418804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418805$7420C529-8082-4588-9C15-024F86DEF027","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":"Q418805$58CE701C-1E20-4A07-A12E-684E0F8A39FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9cf2f505c732bca65c95db37822678ba6da7d9b6","datavalue":{"value":{"time":"+2012-05-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q418805$9A470FB6-8314-484F-BBAC-3EFB9CC573C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418805$9EA56D63-BF81-4BDE-BBAF-BFF44132ADF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418805$C1DCDF58-858E-4B15-87F8-7D32E41E49B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5240b68024f4a018ee7438d63c0d149f8e849a77","datavalue":{"value":"6039186","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418805$0B261C0E-E55F-4110-95CA-B2E7E1EEA3C6","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":"Q418805$E303732B-CCC6-4648-95FF-F8DD46385B90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0efd471099c77cfc65a09ea1245af57d3bad139f","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2011.12.049","type":"string"},"datatype":"url"},"type":"statement","id":"Q418805$B877DC2D-7FAF-4490-B72C-AAE76C6C30E6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8214584143b7ccd26985debb53f9de66c16c6f01","datavalue":{"value":"W1988896922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418805$43C561D6-4AC6-4088-BDCA-9D2BC352C71F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"906b48dd9034065477ae47c561d757f5c5062da7","datavalue":{"value":{"entity-type":"item","numeric-id":963396,"id":"Q963396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418805$8FDFEFD3-021F-404C-AD7F-C5345108A724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f786ce4d5f9c6209d9b22ea47eea818d10987d7","datavalue":{"value":{"entity-type":"item","numeric-id":5422560,"id":"Q5422560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418805$A1CE4BAA-9E3B-4CF2-B449-5F6A5D4DD0D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2be0c1bba2f641b3f64ee1887e836cb60d4c3d7","datavalue":{"value":{"entity-type":"item","numeric-id":2271419,"id":"Q2271419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418805$073CF913-B232-4134-9B9C-6E98B1943074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf218fef9f88a17f94028e9e85c2bdc43ce3dc06","datavalue":{"value":{"entity-type":"item","numeric-id":5464005,"id":"Q5464005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418805$F637F2B3-F8A2-4B01-BE35-6F9B6B9B67B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e4b9d832b6376d2b4f6036e5d84e92ba035a247","datavalue":{"value":{"entity-type":"item","numeric-id":5389971,"id":"Q5389971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418805$A5E21039-96C2-4CA9-87EB-6D9B9AFB2C63","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":"Q418805$60484536-E787-4D10-AA4F-84ABC5EA21E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4844db5d06fb6f6aa082e58eeef535e9b2b31283","datavalue":{"value":{"entity-type":"item","numeric-id":732029,"id":"Q732029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418805$FCBEC87E-C73A-4044-986C-E3E75343FBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65d8868bfa2d9e33ae01a7544458eb2fcbae75e","datavalue":{"value":{"entity-type":"item","numeric-id":1959649,"id":"Q1959649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418805$93A23C7B-D1BA-402B-B831-A72FD56946F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52e07ab72c89676177876ab20070c691174e2e66","datavalue":{"value":{"entity-type":"item","numeric-id":3586094,"id":"Q3586094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418805$C18A4C95-7B87-4533-8951-82BA4FAD0431","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":"Q418805$13479631-6D78-4D0C-8D01-E20104B4E0BD","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":"Q418805$9E685E6D-24A5-4B73-9390-3063ABF9CCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c2117b1cca8f4449951c34fa08f6f7ea2f1ad","datavalue":{"value":{"entity-type":"item","numeric-id":1589443,"id":"Q1589443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418805$52A49F7C-DF12-44D4-9D0B-C3D2A3BB5818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50b02fdac85305ccc51bc1792354def950062ae","datavalue":{"value":{"entity-type":"item","numeric-id":1019723,"id":"Q1019723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418805$19333AD2-A414-45C0-9F13-5B67E00273BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd07311da0fd3974b9b5f42169445c67a0475a1a","datavalue":{"value":{"entity-type":"item","numeric-id":5199981,"id":"Q5199981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418805$AB7B809E-CD8E-4CE6-9670-72F57343AE41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180e90f0bb63679516fc03492374ad55caae9105","datavalue":{"value":{"entity-type":"item","numeric-id":3584910,"id":"Q3584910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418805$204CC5C3-E8E8-4FE0-945A-25998AA27427","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c7f26c3766431744c31a96aab4880e044ee3970","datavalue":{"value":{"entity-type":"item","numeric-id":5199950,"id":"Q5199950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418805$FEC7602D-382D-43F0-9DF5-BDB1B79E0024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97d24a22879a52e148191098049dac47952d42e8","datavalue":{"value":{"entity-type":"item","numeric-id":5606593,"id":"Q5606593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418805$C632E838-E02A-4F01-8BA7-52A427C36EF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6583ec4e2863cbecf9dfbbfd9fc5c34e7c30d15","datavalue":{"value":{"entity-type":"item","numeric-id":5509690,"id":"Q5509690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418805$CEAEACA5-A1F9-4914-9B13-8B2CB5A7D6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a91573bd6e5ddee9f596db720ce8707dabd2240","datavalue":{"value":{"entity-type":"item","numeric-id":4474161,"id":"Q4474161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q418805$0C5CA437-D26E-4756-82AB-C448092882AF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3bd1ed7cd51c5f797c555a6934747b99b8124c3b","datavalue":{"value":"10.1016/J.TCS.2011.12.049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q418805$01D02BEA-A880-44DE-AC8A-706E4B3C3198","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2553a6175acf4cbc546b444ce825e7b1b91bf191","datavalue":{"value":{"entity-type":"item","numeric-id":441884,"id":"Q441884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beb6dde82ec6c34b22d9c278fd5f990e96e71a65","datavalue":{"value":{"amount":"+0.8046600818634033","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":"Q418805$DF637348-2662-4764-AC1F-4522F60DE4FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90489efc8983a747e55bde23003ddb398c4d8adb","datavalue":{"value":{"entity-type":"item","numeric-id":3584910,"id":"Q3584910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c208048621854c39822d27948aa24e68e9e0534f","datavalue":{"value":{"amount":"+0.7819862961769104","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":"Q418805$3B91178A-9FE2-4B3E-8C92-639D051CF5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0f00f5f9f4ea327c593e8b2f8f916ef565ed6fb","datavalue":{"value":{"entity-type":"item","numeric-id":5199950,"id":"Q5199950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47141e9d0948faba19e7607c1265a8d2a871a495","datavalue":{"value":{"amount":"+0.7709352970123291","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":"Q418805$7732DACF-629E-4154-9581-F2A2A3720131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"355f749d8b6cc6533dc776ebcaa3b35ab9ffedca","datavalue":{"value":{"entity-type":"item","numeric-id":4452078,"id":"Q4452078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f07bf30c3df40cdd29718eef5d14c41bae460f98","datavalue":{"value":{"amount":"+0.7672205567359924","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":"Q418805$12B21E09-0A62-47B9-97B7-62B429CD43B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17b9bb672a6ea83a05b118a92db66b1a547970d0","datavalue":{"value":{"entity-type":"item","numeric-id":4910445,"id":"Q4910445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca2cb7b3a30899790b9f2445c6c728ea502d8583","datavalue":{"value":{"amount":"+0.7463902235031128","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":"Q418805$719F62EA-B9F0-4FDC-8AAE-14D6E7705778","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A graph theoretic approach to automata minimality","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_graph_theoretic_approach_to_automata_minimality"}}}}}