{"entities":{"Q1193902":{"pageid":1204651,"ns":120,"title":"Item:Q1193902","lastrevid":66825444,"modified":"2026-04-12T13:06:48Z","type":"item","id":"Q1193902","labels":{"en":{"language":"en","value":"Efficient simplicity testing of automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 65333"}},"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":"Q1193902$A893CA8C-F3EF-47F2-9EBA-F09DA414728E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9b6a6c3f3713fb71433e5d4830f8b19bc079053b","datavalue":{"value":{"text":"Efficient simplicity testing of automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193902$87D0A2EE-6F56-4AD9-9387-75B960AD03B6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2947ebef27950705da0284831d5be2e7da9fd40e","datavalue":{"value":"0761.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193902$4742ECA2-3D84-401F-8D64-0238C9EF4AE0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1b8bc7fc29c4180f5be2ec1f2664242d3ee2285d","datavalue":{"value":"10.1016/0304-3975(92)90352-G","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193902$F77726B7-4089-4A5D-B347-08651EC56C10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e789300c7588a39c704183de06cb896c02f859a7","datavalue":{"value":{"entity-type":"item","numeric-id":1114024,"id":"Q1114024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193902$04A60D17-3CC9-4FC8-91EC-18DADED69E10","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":"Q1193902$FC14B3BF-422F-41E2-B688-E41A35586018","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193902$26CB8A96-432A-4935-9260-50BB79641237","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193902$469C4421-7362-47AC-B1AA-836A48ADCBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1f2d51749736d7a35abf742f9ac7394f1aeed58c","datavalue":{"value":"20M35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193902$8E0912D2-7530-4463-A431-3EEB90B25DDB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d27833c3b4e8ccba93e4f34eb4f0db4a6a641f7e","datavalue":{"value":"65333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193902$2FC3DBF7-9C1E-4EEC-A904-840BEE1C9A8E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"946e6940955e020cf29c0b739279db6a2174f53a","datavalue":{"value":"streams of regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193902$0246C46A-F571-49FA-AD93-5BBB8E0E3C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b65294f1ad3c782ebea0c45933a1a23f3147a9b","datavalue":{"value":"pseudovariety of finite semigroups","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193902$CBB367A0-9E9C-49B8-BA37-CD09A2F0923D","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":"Q1193902$0E03A2B7-9044-47D5-882B-47B0F7D40A09","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d656ee44a323e749d5c6d4cf3e4b8271c3af114","datavalue":{"value":{"entity-type":"item","numeric-id":2542990,"id":"Q2542990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193902$6BBE5DB0-6E2B-42CB-B475-3440621D36E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f0fb16a22eb1f58aea2f63c0c58aeb662ca0add","datavalue":{"value":{"entity-type":"item","numeric-id":3666281,"id":"Q3666281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193902$A9CFE934-5108-4D83-8CF3-8CD138C7D2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16a95a8b2ddb70301f81980c9893ebaf16f62432","datavalue":{"value":{"entity-type":"item","numeric-id":1119394,"id":"Q1119394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193902$E7F1A9A3-5454-4C42-A85A-10572AFFA91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193902$275E31A8-629E-462D-85C0-FB5FB1B12E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa28b36f1d47ef725ba4acb380f1839600a6b45","datavalue":{"value":{"entity-type":"item","numeric-id":4132170,"id":"Q4132170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193902$7CEB3403-4B81-4F0C-B35D-03C2A7B2CB88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193902$30631391-3A9B-4258-8B1A-A9F0A1F4EBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2865852dc93043079e973d7fca0c6ce6faa956c3","datavalue":{"value":{"entity-type":"item","numeric-id":5659467,"id":"Q5659467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193902$9AD6AAB5-D9AB-4A97-809B-C087871AE130","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dff39950e6bfd751b7e8599d8782580965399047","datavalue":{"value":{"entity-type":"item","numeric-id":3951547,"id":"Q3951547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193902$D1749269-0A7A-474F-8CAA-788372EF16CD","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":"Q1193902$3B0D4A1F-DE66-480B-AC9C-82F1C0E8F098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a771da5a4143614d66e61e5eb1c065796a9fe46","datavalue":{"value":{"entity-type":"item","numeric-id":4126563,"id":"Q4126563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193902$D353ABB5-3F68-4A65-BD6A-2EE951859A9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afe18fdfb882c799d34a7482b763d96a45625e71","datavalue":{"value":{"entity-type":"item","numeric-id":3853827,"id":"Q3853827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193902$D9235E45-1CDB-4A6E-BC13-6C5E7188A586","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9996960a4dfc20c9a228fd27f794e06c08d5c1c9","datavalue":{"value":{"entity-type":"item","numeric-id":4083905,"id":"Q4083905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193902$499C0B1E-6ABA-41B9-ADF0-A7598F18E17C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45dbfa7c156f154c1a653b5f0d52dd9c7aac112","datavalue":{"value":{"entity-type":"item","numeric-id":1172702,"id":"Q1172702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193902$D6BB9DA6-A2A7-4FC3-BD31-9CCFCB723887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed68160731cf55d219ba94647825683328472c30","datavalue":{"value":{"entity-type":"item","numeric-id":3769981,"id":"Q3769981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193902$33ADD488-1A77-463E-B81A-EB56FEFF2F15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"858af5de7e93ef8dc1b75b5073ab869dd54013e3","datavalue":{"value":{"entity-type":"item","numeric-id":3740247,"id":"Q3740247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193902$03ED73D5-BF29-433A-89F6-E6AB35EDE9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c466d48d7b1c7210cfe80d2046077900cba17967","datavalue":{"value":{"entity-type":"item","numeric-id":1239138,"id":"Q1239138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193902$675D54DF-14FF-4721-A572-67775D5AE8DE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"275763879dafcb31ee504535379df5a623e25b37","datavalue":{"value":"https://doi.org/10.1016/0304-3975(92)90352-g","type":"string"},"datatype":"url"},"type":"statement","id":"Q1193902$738A4EBF-70F7-4CA2-BF2D-A66BDAA4F600","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ee3a7d9708a77917acf6ca65391e82d4b6b9d71","datavalue":{"value":"W2058822420","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193902$EE7D2335-089B-4B0A-AD25-1D9136BE0A53","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c8505837af77bcd14dd26b6311782839eb5f07e","datavalue":{"value":{"entity-type":"item","numeric-id":3747731,"id":"Q3747731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f2695d586c92b677a8ffd8cba6477a22b2dfd58","datavalue":{"value":{"amount":"+0.7595192193984985","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":"Q1193902$5D5DE4AD-B614-4601-840D-1F3980E6F07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d969aa0203c6523921e6c655cf9f2da6fee924a3","datavalue":{"value":{"entity-type":"item","numeric-id":1207386,"id":"Q1207386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"624d851894da3866cd23015be6460cb677968317","datavalue":{"value":{"amount":"+0.7298387885093689","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":"Q1193902$35A3A028-EB34-4528-83F5-75E74EDAF7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"325ed54e353db82a3834daffeeae0a13c7fa1553","datavalue":{"value":{"entity-type":"item","numeric-id":4418616,"id":"Q4418616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9a2b8eecbe09e13eb231cbc5bc9c97e1628f33a","datavalue":{"value":{"amount":"+0.7297985553741455","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":"Q1193902$46795DAD-050E-45DF-8139-9F7CC5AEF8BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62ac51de6631b4fa4b95f857af3af67cfdb20e92","datavalue":{"value":{"entity-type":"item","numeric-id":2716145,"id":"Q2716145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b96aeb70e1371219978e829718a41f168f7dd406","datavalue":{"value":{"amount":"+0.7294649481773376","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":"Q1193902$94C596B2-F553-4A09-9BAB-1D2A0DB972ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a91cc9c5590c473ad2d9eaa7aef5c24e30e83514","datavalue":{"value":{"entity-type":"item","numeric-id":1112614,"id":"Q1112614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6be77d4b894c09362822a4a1d1239520b1b336ee","datavalue":{"value":{"amount":"+0.7264779806137085","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":"Q1193902$EDFB29DF-D644-49EF-A66C-B25AB3AC90A8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Efficient simplicity testing of automata","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Efficient_simplicity_testing_of_automata"}}}}}