{"entities":{"Q4786303":{"pageid":6815883,"ns":120,"title":"Item:Q4786303","lastrevid":74481012,"modified":"2026-04-14T22:49:52Z","type":"item","id":"Q4786303","labels":{"en":{"language":"en","value":"FROM C-CONTINUATIONS TO NEW QUADRATIC ALGORITHMS FOR AUTOMATON SYNTHESIS"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1845149"}},"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":"Q4786303$ADC4D57C-0C14-4708-9898-09B38690EC59","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7998a2ac7addd985f3241f5aa721117ddac55fc5","datavalue":{"value":{"text":"FROM C-CONTINUATIONS TO NEW QUADRATIC ALGORITHMS FOR AUTOMATON SYNTHESIS","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4786303$81A80D93-3B6E-4DA9-B32B-ED4EC1320077","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f26074a3281991116b81ac57d44362c3e8626b8","datavalue":{"value":"1024.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4786303$0B2D2528-4CD9-49F8-94BD-2752762FEE12","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ef3335a8f14a142398545d79344b3acd2c9101c","datavalue":{"value":"10.1142/S0218196701000772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4786303$88B3E5EC-7B17-4B25-B249-5BC5D21C5E44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d1707e75d31a6b2e3660e28becce082325eba1f3","datavalue":{"value":{"entity-type":"item","numeric-id":491615,"id":"Q491615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786303$5EDD7D13-085A-4335-AB56-18442A5AA189","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d834650717dd8ea4fc41e16d34de55d91424ddc","datavalue":{"value":{"entity-type":"item","numeric-id":396949,"id":"Q396949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786303$E67396FD-F8FC-4AB2-AD03-8F452C11321F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7f4e75461d95037e69d585d3faf5530e0368f039","datavalue":{"value":{"entity-type":"item","numeric-id":2703070,"id":"Q2703070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786303$ED7B4773-B6FA-4728-8F86-65E3059CE7B3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b32daaf1d1d23d14c238646cd1461a574f35b82a","datavalue":{"value":{"time":"+2002-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4786303$831870C8-EAE7-484E-97C2-724B92BBA54F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4786303$141CBD9B-17D9-4EA3-B47C-A10E60F6FE83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4786303$D4DC86E8-D176-4017-9894-AA1027458794","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0a9e7cc11f84d2ef90158ce84fe3703883f505af","datavalue":{"value":"1845149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4786303$336B444D-2B14-4B3B-A0F4-72F37A823B73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6773be3008853e0699a838006506cdd12d7b438b","datavalue":{"value":"non-deterministic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4786303$2434DB4F-CA02-493A-99F1-0909772E22A9","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":"Q4786303$41B962EA-9F04-4741-9FC3-FEB0996A85F3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1627b0ef0dc706a0d145ad59d2ccb2cc61cb36","datavalue":{"value":{"entity-type":"item","numeric-id":672142,"id":"Q672142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786303$A1611EA9-6953-40BE-9BB8-159B9A3438EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4eb55a9a5e4c111bddeb36cf19bf8e8abc5d737","datavalue":{"value":{"entity-type":"item","numeric-id":1314367,"id":"Q1314367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786303$4548915D-FD9C-4008-A986-1D152C5C95D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cf72cd39e1a458db54e84dc9cd6dc2728e5f092","datavalue":{"value":{"entity-type":"item","numeric-id":580983,"id":"Q580983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786303$3887AD63-5F09-44CC-B4B4-7A962CC42C9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786303$5F499FB8-D1C2-4FC7-AE59-075A3FF3E8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09ec0346c7c69cefc06dbbc0c0175e3cadefef3b","datavalue":{"value":{"entity-type":"item","numeric-id":3289362,"id":"Q3289362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4786303$B86E24ED-DA2A-4E81-9284-57D92576F835","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":"Q4786303$06D0E53E-3651-4BA1-9CE7-34E3750D6F5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da7f738b188a75a6593516ec3d9afaf2437b4f9e","datavalue":{"value":"https://doi.org/10.1142/s0218196701000772","type":"string"},"datatype":"url"},"type":"statement","id":"Q4786303$71690400-E213-4891-BE1D-A2A719049CE3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"448eaa4fcdb0b0f3bbaa144553edf3fefd294873","datavalue":{"value":"W2103737357","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4786303$6F526780-667F-447D-B0A8-858E5B5878DB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"547c73f41064eaa102ddf1f584d09803f65734fb","datavalue":{"value":{"entity-type":"item","numeric-id":4540960,"id":"Q4540960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"947511ce5ac6919f28c3b7060aa28bd7061df1b8","datavalue":{"value":{"amount":"+0.9233534932136536","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":"Q4786303$38290D7B-7266-4DBD-901C-E7FD9F348DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a8591d0556729a28e44219adb5e40cb1951736","datavalue":{"value":{"entity-type":"item","numeric-id":5428227,"id":"Q5428227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f923c9e2353baeba3001050d9b931189de90783e","datavalue":{"value":{"amount":"+0.922111451625824","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":"Q4786303$2ADE3A54-953E-45B0-972C-D59186CAA6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8451af58926f6681d6c3ada3ed4975a18dc2dbf","datavalue":{"value":{"entity-type":"item","numeric-id":1853522,"id":"Q1853522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c46e8b4bb48f713aa222cca1b902bf1318afe94","datavalue":{"value":{"amount":"+0.9008400440216064","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":"Q4786303$4C3BA251-329B-4D9A-A666-307F75E36725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa46d44f6eb33bc4bf5ca0e040e052c884c67d51","datavalue":{"value":{"entity-type":"item","numeric-id":4547747,"id":"Q4547747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8f64a0add309b7f20c89307235e0c02f1123aa6","datavalue":{"value":{"amount":"+0.8795235753059387","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":"Q4786303$5AE91271-54CA-4679-B3FC-18C62085DC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c81bc9c186ec56eb2c68fb48140ecdf2189abcda","datavalue":{"value":{"entity-type":"item","numeric-id":1018095,"id":"Q1018095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f54760c94e6c2940845b6300ab4333012451fbb2","datavalue":{"value":{"amount":"+0.8545782566070557","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":"Q4786303$C84FDEE3-A646-454F-8475-50F73AD0C507","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"FROM C-CONTINUATIONS TO NEW QUADRATIC ALGORITHMS FOR AUTOMATON SYNTHESIS","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/FROM_C-CONTINUATIONS_TO_NEW_QUADRATIC_ALGORITHMS_FOR_AUTOMATON_SYNTHESIS"}}}}}