{"entities":{"Q4302302":{"pageid":6331903,"ns":120,"title":"Item:Q4302302","lastrevid":41840421,"modified":"2025-05-08T22:37:20Z","type":"item","id":"Q4302302","labels":{"en":{"language":"en","value":"Control of Infinite Behavior of Finite Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 618177"}},"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":"Q4302302$B451623B-0470-4A68-885F-BB6445FD703A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e66e06163dc961f2aeff64886b29fd2bbe9f794","datavalue":{"value":{"text":"Control of Infinite Behavior of Finite Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4302302$1CE8DFAF-B717-48BA-B4E3-BCFEABDFBC9C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5984485bbe756c253594fa294a3b7ceefe7b9084","datavalue":{"value":"0925.93233","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302302$ED6832C0-FA4D-4308-8109-A84CB8FECFA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"45049c9797f192635cc4b97f22140424fec81e84","datavalue":{"value":"10.1137/S0363012991217536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302302$B9FB3308-6BFC-4A7E-97B3-A814973B6FB5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"923c6f4e19e084b43691603fe9216fcb5dfbde1a","datavalue":{"value":{"entity-type":"item","numeric-id":1128703,"id":"Q1128703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302302$4E6703D9-EA77-415C-91D9-A4277386FD22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"068c1cacd102cb21c594fa3ddc56df9e88fb0a9c","datavalue":{"value":{"entity-type":"item","numeric-id":680539,"id":"Q680539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302302$2EF4D5FE-D917-4D6C-9C19-30A7DF42152D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1ce3126ac4b873d1435f3e6415d12d56cb56cf18","datavalue":{"value":{"entity-type":"item","numeric-id":2706140,"id":"Q2706140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302302$6E58FE90-BB9C-46F1-8ED8-1CFE15C11F6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4e7f38426875aa21cabff2c7af836de030766fdf","datavalue":{"value":{"time":"+1994-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4302302$045A496F-48EE-48D3-8A48-EBEBE034BA29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302302$5A490DCE-3595-4975-951D-9C9874F01722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302302$CA6C7D9B-3710-4DD0-A7BF-1B1C7C628B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302302$FE4FE325-3DFE-434F-9B89-F0077BEFA58A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302302$597269AB-30C2-49E1-A4BF-AC8717EDE775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302302$061D2A3A-0B3B-429A-855F-D8D8CC7BE159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b98cb7058a1e8e644c33a49a426b651c0e594493","datavalue":{"value":"91A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302302$E16F05B6-7828-4000-BEB8-91466BE412A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302302$DB0633BC-3E98-4860-A192-B5637799D435","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302302$A4A4B654-232D-46E8-B3F1-D3825B0BD84F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55dddee192be8b65f9e33945beb738acf525da45","datavalue":{"value":"618177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302302$38AC5F9F-0BBE-4BD3-9AB2-A48D3AFD80AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1760212da73e27b886ddacff18ea1d33e2f31fe5","datavalue":{"value":"discrete-event systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302302$EC891653-9BE1-4D3A-9E06-BD41C403B71E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37421ee483a3302adbd4c93c8919d7d8bc5868f6","datavalue":{"value":"synthesis problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302302$665B2657-5D13-4556-84CE-F0B8A0D2A711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9e20a00a861f0ccd54e18ab4cf7ad392587e095","datavalue":{"value":"Church's problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302302$4C3BB533-5FDB-4A62-9DC0-9FCA72C39AE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"959ce37012478eea4c2f07c526402349183ac879","datavalue":{"value":"treeautomaton emptiness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302302$2D23CE0D-2102-444E-9AB4-3E34A3ABD211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30747cad2806dc90dc6a7979a7739b8dbfc8a647","datavalue":{"value":"\\(\\omega\\)-languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302302$C785B7BA-887F-45E3-9EEE-B072B29BAC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fcad81409e0e658e233a32fc409911afe0e88bb","datavalue":{"value":"\\(\\omega\\)-automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302302$59EF345C-7CA8-4B9A-9070-68FA37090E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ff76dc3cb9b33378ab01026d46de085e8067b3f","datavalue":{"value":"\\(\\omega\\)-regular games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302302$E33A6E15-D63F-4C41-80E8-81A2CAC246D5","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":"Q4302302$695DCE24-CF2B-4F9A-AA74-FF667B541ADC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"babc4fb0b96dd857e2ee3c785b9dc32942db4ebe","datavalue":{"value":"https://doi.org/10.1137/s0363012991217536","type":"string"},"datatype":"url"},"type":"statement","id":"Q4302302$79206211-040F-470B-AD55-286358D20186","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d68f614dd98623a6373d7dce211a801eb7ae6fb2","datavalue":{"value":"W1981568149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302302$592C3F6E-1858-41A0-A538-21D10DC4B189","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb695c5cc0c11c55ddc4099f7b8a328518f8515d","datavalue":{"value":{"entity-type":"item","numeric-id":404012,"id":"Q404012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88a45dca8886c6996e0256f8c5edb45a90b45253","datavalue":{"value":{"amount":"+0.8944701","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302302$3138909C-02F6-455D-9CBF-89F79E662185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13fc7ba1558d6c8309374e78fb88019ba7998ebd","datavalue":{"value":{"entity-type":"item","numeric-id":4273665,"id":"Q4273665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72f09e5e1203bbe8d267705bfcb174298a58c445","datavalue":{"value":{"amount":"+0.89394","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302302$E891D7A1-1579-426E-9BA7-EF162AE411D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22b7497d2a94b70efe070cad5e0385c69a4123ea","datavalue":{"value":{"entity-type":"item","numeric-id":5281862,"id":"Q5281862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e6c0a8a5bb26161fba3a72ec61e0f7a53ced122","datavalue":{"value":{"amount":"+0.8868965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302302$B1DC9F81-2E40-487F-9F03-EC2F1141330B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57c542535fea05a53b2af20bc336fd0f31c7cee9","datavalue":{"value":{"entity-type":"item","numeric-id":3350777,"id":"Q3350777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f4f524fc976dcad4aba40b7eb6d1cf5b19bb67f","datavalue":{"value":{"amount":"+0.8803129","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302302$7AC58A38-C6E9-44CA-ABAE-B72A9DBC5701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab8f0a7846eefd683c1b477943a2cb8a17a0b29e","datavalue":{"value":{"entity-type":"item","numeric-id":1060562,"id":"Q1060562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c258daf8dfde1f32ceaf28db852701089aaea591","datavalue":{"value":{"amount":"+0.87311023","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302302$A8496679-F014-40A4-960D-769FE1094B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41492291373ce3b1e7484f33d749086aef88604c","datavalue":{"value":{"entity-type":"item","numeric-id":3337275,"id":"Q3337275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1505432e2cf456db1b8e23ffa287ab7f5dad1a28","datavalue":{"value":{"amount":"+0.87108135","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302302$80EE77C4-92C4-4571-A306-AE4264D59A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff595df7d007ecaa81db64aad0e0a61fa69a2975","datavalue":{"value":{"entity-type":"item","numeric-id":4907854,"id":"Q4907854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51246cb04fb4b7f058d7ee7c1fbf4d03ef986326","datavalue":{"value":{"amount":"+0.8700484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302302$6F0E808C-328E-4BE1-9134-DC67343CD9A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9090c41dc7c2f327e5a889ec36d3f5155c118a4","datavalue":{"value":{"entity-type":"item","numeric-id":3313265,"id":"Q3313265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"754661f431c9491a930c77363446ca5da1722d6f","datavalue":{"value":{"amount":"+0.8678112","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302302$CDC7AF2E-3971-48C4-9FDB-E358AD1AF26A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccfe1fad7c6add4f1fc98af51639e1cb593a0ec1","datavalue":{"value":{"entity-type":"item","numeric-id":4777207,"id":"Q4777207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e960760ea445838333fbdb6ebbf5f31070f229ca","datavalue":{"value":{"amount":"+0.86657083","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302302$E357B907-21E0-4A50-A781-B3B7774ABE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e578152d142332966c83c85525f9a825de0a5a4","datavalue":{"value":{"entity-type":"item","numeric-id":1721288,"id":"Q1721288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d685745ea5cf42baa8a89bb7736b84049c134efa","datavalue":{"value":{"amount":"+0.86111695","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4302302$5818FE43-9F30-40E4-B689-C14BE61F37E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4302302","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4302302"}}}}}