{"entities":{"Q3503089":{"pageid":5532992,"ns":120,"title":"Item:Q3503089","lastrevid":50360951,"modified":"2026-01-13T21:40:54Z","type":"item","id":"Q3503089","labels":{"en":{"language":"en","value":"SYMBOLIC IMPLEMENTATION OF ALTERNATING AUTOMATA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5277207"}},"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":"Q3503089$010AF203-A28D-41B7-BE85-C6F71F64E914","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e7bf03ba95f28b441e6b8b5bfded53a4539c556","datavalue":{"value":{"text":"SYMBOLIC IMPLEMENTATION OF ALTERNATING AUTOMATA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3503089$47F80D41-FFA9-4908-B621-C3E2CD50579D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"87d9ab1164c7d95384bd9201fa4759c77b0be4d6","datavalue":{"value":"1142.68418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503089$5119419E-4C68-4B41-AF14-48441140ECF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"438af22a31945963d49e1508ea5e9af0232f104e","datavalue":{"value":"10.1142/S0129054107004942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503089$101F56DE-51B1-4549-AE39-C425FFF1C116","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":"Q3503089$617A9CFB-D40C-4DDD-9DBC-93FB01E77774","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":"Q3503089$34FE5D60-8506-4D61-B5AF-140425BAA413","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":"Q3503089$14B67446-FE3E-45A1-9FCD-95A9A6493CFC","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":"Q3503089$4F8D7D60-0545-4998-86D9-E91D5E7D973D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503089$85EB6355-E3FA-40F8-8F65-2B560EC3EB6A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9210b7f4387a8a6dc8e8fac3d9ed99451b2d14b5","datavalue":{"value":{"time":"+2008-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3503089$2707DDD8-2DCB-402A-81E7-76B5551891A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503089$A0AC9D20-3A6F-482E-A604-ECD0FFB984B5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b947c653ca4b889c550b8d9a9790e2dc387b97b","datavalue":{"value":"5277207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503089$4617E5BE-C3F6-4FA8-90A2-4955CD2C8A0C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b472b5aa1a2ff8674637eec7f8d33b83509f982","datavalue":{"value":"Alternation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503089$77022A17-FA0E-435C-A2FB-676E8C40EC64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503089$370C81A5-EAA7-4806-BD2F-DE73A47FD254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"918fd9b0959ec5ae150aa59998d407d1c72248dc","datavalue":{"value":"symbolic methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503089$225D6041-6721-4D11-B14A-3D7F7281508B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1bc7fccd00539d752e8c6559c11200c6955e290","datavalue":{"value":"fair transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503089$A2AB560A-18E0-4361-ABA5-06AF960258C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503089$388E5946-018A-4EA1-ADBC-E25711BD90EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3503089$BEA27FB2-A332-4136-80C4-ECA50A7612A3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9297bb72290e8651173ca766b28fe44cb51206d8","datavalue":{"value":"Q62041327","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503089$991C5449-8896-4850-BDC7-DB7210A4B12F","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":"Q3503089$926CBA94-CC3E-482D-9834-DF4893C49458","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9159e9095f8ca510d538d7e9904c6f3ff891ad","datavalue":{"value":{"entity-type":"item","numeric-id":796990,"id":"Q796990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503089$28B2FA5A-DD64-4F66-944D-1FAE9F056789","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"648af4444efef3dfface63422920536bd2b0c180","datavalue":{"value":{"entity-type":"item","numeric-id":3928246,"id":"Q3928246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503089$4F74A0E5-F24F-45A8-BCF2-173B2FA9904F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdbace6415d89fca5d9ba31adb1a3b4e1ba6373e","datavalue":{"value":{"entity-type":"item","numeric-id":3549125,"id":"Q3549125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3503089$3EF920AF-B74B-4766-9234-F3E7C496999A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0622eeb76804c3c719655efccb9b9be29d99cdd","datavalue":{"value":"https://doi.org/10.1142/s0129054107004942","type":"string"},"datatype":"url"},"type":"statement","id":"Q3503089$4E45B0AC-BBB5-4420-8987-BBA462641D63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1769e1068cc10f372d2570bcec65e64110e99d1c","datavalue":{"value":"W2107078774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503089$BE137B80-F2EE-43E6-8576-C15D42D5E57D","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"0b3226d81a437a144b014b461951d66e6376fe69","datavalue":{"value":"journals/ijfcs/BloemCPR07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3503089$646348FF-7186-4B7E-B029-C035839BA0D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"293e440894719761e59c4c60dc81ebf8ada311dd","datavalue":{"value":{"entity-type":"item","numeric-id":5757229,"id":"Q5757229"},"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":"Q3503089$F3B753A9-4E3E-4A16-810A-1D25A575D298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"393ac909d490dafa4c0d05aa24ba5a418d79ce17","datavalue":{"value":{"entity-type":"item","numeric-id":2852024,"id":"Q2852024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2188228d2d2595fc443d2ff2cc6abdb58ece591","datavalue":{"value":{"amount":"+0.8126355409622192","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":"Q3503089$2E8F831D-F20A-4C4A-97AC-20ABB70A72D2","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":"028e9cb6c4f16d4a762ff4c974ed7ad9a85bdbda","datavalue":{"value":{"amount":"+0.7804625034332275","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":"Q3503089$3338194D-EE54-41AC-BE3F-7499338A28F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fc0d53ab25b8b020b4441b0455047f29cf44310","datavalue":{"value":{"entity-type":"item","numeric-id":1959653,"id":"Q1959653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28640ad89edf2bd62576c1bba999e0fc5ffd6302","datavalue":{"value":{"amount":"+0.7730064988136292","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":"Q3503089$E8EE4108-B42E-486F-AE63-06907C9F658D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f8d890d1f5b1f1f49c7b957ac03411862b636a4","datavalue":{"value":{"entity-type":"item","numeric-id":3637352,"id":"Q3637352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b59646f9ef9bea536822e8d12cac18c8e7ff415d","datavalue":{"value":{"amount":"+0.7715870141983032","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":"Q3503089$28EAB0A0-3E79-4B92-8E76-9D6D35B86366","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3503089","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3503089"}}}}}