{"entities":{"Q1241430":{"pageid":1252180,"ns":120,"title":"Item:Q1241430","lastrevid":68343177,"modified":"2026-04-12T23:04:34Z","type":"item","id":"Q1241430","labels":{"en":{"language":"en","value":"Analyse und Synthese von asynchronen ND-Automaten"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3570367"}},"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":"Q1241430$5BF9CCAB-D32A-4222-9BFE-CC76B596BFB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"140a06882c0fcb218591c509b1f3483f5c4929ba","datavalue":{"value":{"text":"Analyse und Synthese von asynchronen ND-Automaten","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1241430$580D458B-255A-44E0-8A5E-2463C21A3C6C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"49b45dcd137ec93b7ee7c24eaa2d4bc401ab97af","datavalue":{"value":"0365.94072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1241430$6D80D0C2-7471-4E37-991D-AAD72592CE92","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"03139943fb9f76904461b89bfd694b5c92b650e9","datavalue":{"value":"10.1016/0304-3975(76)90027-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1241430$165A9562-1E97-4C1D-9A51-858C708931E6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e31585d191d882e9c9928391a28a759d37493d5","datavalue":{"value":{"entity-type":"item","numeric-id":1241428,"id":"Q1241428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1241430$35121A7F-72A7-4D8A-8014-94DE97D19EBC","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":"Q1241430$D100F27B-CEE3-4121-BC41-4FAA7E119A88","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1241430$66117DC6-140F-4843-B941-AB7D846B2B65","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"2194a6ed186904986af714ab488186c96e8f95d5","datavalue":{"value":"The author studies an automaton-free characterization of the input-output behaviour of asynchronous non-deterministic automata (in short automata). The main result is: Let \\(R\\subseteq X^*\\times Y^*\\). Then there is a regular automaton \\(B\\) with \\(R_B=R\\) iff a monotone term \\(T\\) over \\(X\\cup Y\\) exists with \\(\\pi(L(T)) =R\\). Where: \\(X,Y\\) are input, output alphabets of \\(B\\), respectively; \\(R_B\\) is the input-output relation of the automaton \\(B\\), \\(R_B\\subseteq X^*\\times Y^*\\); ``regular automaton'', ``monotone term'', are defined in the paper.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1241430$A31B2090-9D2C-4071-AF2C-88F8E0DDB570","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"3c044f974bc1a38eca38c60459bc18443f05cf2b","datavalue":{"value":{"entity-type":"item","numeric-id":1241429,"id":"Q1241429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1241430$A1C31470-0384-4872-9136-A12E45D27C21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1241430$AF5B3F78-421C-4A9C-9758-9A209D4B7EFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c57152a6d22ee1842bd5b02cc54eed8a8cf17a27","datavalue":{"value":"3570367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1241430$E5303B0F-DAF3-4F72-B029-1E73B05A922C","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":"Q1241430$796BB54E-DEB5-467D-8F19-19405B152140","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1241430$0650F96C-838B-4567-A529-1588FAF52B3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf8323578f1bc3f7c7f8014c6f09aa7ff9af74a6","datavalue":{"value":{"entity-type":"item","numeric-id":5507511,"id":"Q5507511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1241430$2A952673-0BC7-4747-9564-31E0A634EE4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b50a134c7109f8f9a37e3f8e7de8645b5030c2aa","datavalue":{"value":{"entity-type":"item","numeric-id":4070773,"id":"Q4070773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1241430$55F2F4F5-5AA6-4EB6-A791-4F339EB855EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"958e8bf05dd41a356ed45fa949d36e2ba662ac79","datavalue":{"value":{"entity-type":"item","numeric-id":5544289,"id":"Q5544289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1241430$993C1648-A1D8-431C-BB85-51222AF8BF64","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db496fb02a62481f4108bfa515c0bc12fa949d4e","datavalue":{"value":{"entity-type":"item","numeric-id":4412121,"id":"Q4412121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b998c182fa586cfb00136facc13c577f4b63c818","datavalue":{"value":{"amount":"+0.7810840606689453","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":"Q1241430$0A083D22-F8AF-471B-899B-4241B52B8A15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10018ebaf7b33704705322702bb97f88d4d085aa","datavalue":{"value":{"entity-type":"item","numeric-id":2714407,"id":"Q2714407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b309cf5b692b35a92effb0202e4948c5a403a4f8","datavalue":{"value":{"amount":"+0.7806729674339294","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":"Q1241430$209EEB8D-38BA-4F96-9A6A-B5C78ED90386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b9904743748c66ea912c84ddd5a54348885705d","datavalue":{"value":{"entity-type":"item","numeric-id":4721652,"id":"Q4721652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe0460ab8bf10e9e99394e985959ff1d2e916bd6","datavalue":{"value":{"amount":"+0.7801762223243713","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":"Q1241430$0412220C-37DB-40C6-9F88-F7FC2FF615CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1f71d535bed8b60ee95dfdf72ae460d3ed2921b","datavalue":{"value":{"entity-type":"item","numeric-id":4288286,"id":"Q4288286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2260a28b3af73a379d20dc332c0aa1c59f1fd14","datavalue":{"value":{"amount":"+0.7790626287460327","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":"Q1241430$30595673-CF28-429B-A8AC-7FA7647BC8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f451046f0271dc87e990cffe092a2e140df72b","datavalue":{"value":{"entity-type":"item","numeric-id":1575891,"id":"Q1575891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2260a28b3af73a379d20dc332c0aa1c59f1fd14","datavalue":{"value":{"amount":"+0.7790626287460327","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":"Q1241430$DC8DC58D-E069-4718-9A7E-8B7B88FC1535","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analyse und Synthese von asynchronen ND-Automaten","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Analyse_und_Synthese_von_asynchronen_ND-Automaten"}}}}}