{"entities":{"Q5757229":{"pageid":7786780,"ns":120,"title":"Item:Q5757229","lastrevid":50159219,"modified":"2026-01-13T07:31:35Z","type":"item","id":"Q5757229","labels":{"en":{"language":"en","value":"Symbolic Implementation of Alternating Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5187954"}},"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":"Q5757229$9440CE85-A52F-45BA-A810-88770A1E67A5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"60b375fc795ee05d6ed8cd0e3289dc02f54b3e21","datavalue":{"value":{"text":"Symbolic Implementation of Alternating Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5757229$1CF8367C-1DF9-4DEB-9D24-2C65E16E4270","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f058de3d99343ee2d9305357596ab2878f562be","datavalue":{"value":"1160.68401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757229$260C5DB3-5192-49E4-906E-03493A47FFC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7bd03049c833d783eb5841d40288c5250663333","datavalue":{"value":"10.1007/11812128_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757229$EEA4CBAB-346B-408B-9BD9-7F324C964BD1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"829d1799bc22697c2ada30fc3024258f331ca54b","datavalue":{"value":{"entity-type":"item","numeric-id":414906,"id":"Q414906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757229$E3294727-B752-408B-BB9B-89A40D9FF319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757229$745EBE27-005E-41E6-9F9D-3090EFB1DB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b2bc1ec4ef93d5bc2e547ed2eb942678066d0e","datavalue":{"value":{"entity-type":"item","numeric-id":2165515,"id":"Q2165515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757229$1F043BB5-05DE-42D4-A0D2-EFAA19E16D45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d7fa45906cb357c6ff423972530aeccc52e2dcc","datavalue":{"value":{"entity-type":"item","numeric-id":329421,"id":"Q329421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757229$6C46D23E-CBCF-43D3-BE76-62EA8FFEEEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a43c468aead64a3a57b1fb23c664873e915c37e","datavalue":{"value":{"entity-type":"item","numeric-id":1857292,"id":"Q1857292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757229$F9FE7EA3-3E31-45FE-93C7-5B186E62D444","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bf83f812d2bbb21784a7f63045abdaccf0cc333b","datavalue":{"value":{"entity-type":"item","numeric-id":2830201,"id":"Q2830201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757229$FC4BDA2A-BC8C-44FD-8824-6BE79D3D9A3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8dd465c7f83203bc28c191db43e2e18edd6ba2d9","datavalue":{"value":{"time":"+2007-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5757229$22BAEF76-D38D-4F84-80FA-570DAB5D6CF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757229$71FEDC9C-6737-434A-9BB4-6F6F1E824CA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68984f0dc6707aebc0ec7c57fbac49ee118a22ca","datavalue":{"value":"5187954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757229$04B363F1-3D0F-423F-B6AC-E8114932CFEE","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c42aaf391c71f5300a2ca8db3e9d0987fe83e44c","datavalue":{"value":"Q62041365","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757229$0B4418D3-CF7C-46F7-B0D9-8674E98522EB","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":"Q5757229$2046EFA4-9891-4C18-A56F-60DA1FF2A0E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"27218659af7050eb024aae29b2a97f52c9e67583","datavalue":{"value":"https://doi.org/10.1007/11812128_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q5757229$3B0C3F57-3C45-4481-AE06-7B420B47A8B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"adfad4ad1527f8d17205a0e4961cc56328079ad7","datavalue":{"value":"W1755580915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757229$34B4F5BF-C78D-4C78-A6E8-BF9471D63AE3","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"715b61ec0407cbc6bea0604e183659c9a52181e5","datavalue":{"value":"conf/wia/BloemCPRS06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757229$6579E78A-574E-4CFB-9E13-AA715B67AC6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457b55f65deecfb8d17549890228654289370db5","datavalue":{"value":{"entity-type":"item","numeric-id":3503089,"id":"Q3503089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e08d1dfc9492bade73e967f9586f2c475cc0c94","datavalue":{"value":{"amount":"+0.9292860627174376","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":"Q5757229$95737E07-8ABF-494C-95FA-AC575092F37E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2ac9c4a8aea564144b4a9552b4ef2f023cc93be","datavalue":{"value":{"entity-type":"item","numeric-id":3549125,"id":"Q3549125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a0a00a865f94f227d8d508f2734cab191c8857c","datavalue":{"value":{"amount":"+0.8100783228874207","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":"Q5757229$44A8DFC7-F6B7-4B47-88ED-064169880AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cc55e95090de2a54edb1a5263a14644ad5f1c6d","datavalue":{"value":{"entity-type":"item","numeric-id":3587428,"id":"Q3587428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad72f62b6feaa7fac78ad52ecaec217c3df260f4","datavalue":{"value":{"amount":"+0.7835633158683777","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":"Q5757229$446728E1-70CF-47C5-8136-7A8CC60B3766","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ec6b82e5150448b7941e280f24dd00f9f1e85439","datavalue":{"value":{"entity-type":"item","numeric-id":5955787,"id":"Q5955787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87ab7b56359e474612da7f1083d37c8106da5e2b","datavalue":{"value":{"amount":"+0.772331953048706","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":"Q5757229$67A240DC-5ECF-43A8-A262-03E77CA8FF8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e48903d2bd0b9073841885b1a09153ee9363cef3","datavalue":{"value":{"entity-type":"item","numeric-id":4542592,"id":"Q4542592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddec2141b783b910afb108dcc1d3d6f5acedf9ac","datavalue":{"value":{"amount":"+0.7717055678367615","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":"Q5757229$8952E43C-C00C-4979-BB9D-D918843C5216","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5757229","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5757229"}}}}}