{"entities":{"Q4302790":{"pageid":6332391,"ns":120,"title":"Item:Q4302790","lastrevid":46285836,"modified":"2025-12-24T11:53:57Z","type":"item","id":"Q4302790","labels":{"en":{"language":"en","value":"Finite state verifiers I"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 622273"}},"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":"Q4302790$8DD92DE0-AE41-4AFB-8C5F-49D877FEBB44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d44b341df044b8ff07661d4d0b6cb6fb01dd7e0c","datavalue":{"value":{"text":"Finite state verifiers I","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4302790$C22BB0F8-8AB0-4207-B13C-B47D805ADF04","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"675ae4bea73246c3b705f2dbdc448add0bbb2732","datavalue":{"value":"0799.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302790$CD894FA9-F2E2-4617-BF67-95B0054FDEC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3860d21ba437965b88091651d066ba91beb705c7","datavalue":{"value":"10.1145/146585.146599","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302790$5D345E8E-BEAD-4DF4-880F-92C47C4B6A64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d320114f93a10cd6e9e2fb47fde637153845b4a","datavalue":{"value":{"entity-type":"item","numeric-id":757013,"id":"Q757013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302790$6FE797D9-E776-4466-B1EC-CAAFFB879C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"355a32c186d9586aa82df09b9eb223d278a9aacd","datavalue":{"value":{"entity-type":"item","numeric-id":1134519,"id":"Q1134519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302790$6FDAB84E-C1E3-493A-B632-CA391BF29CD6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4302790$C56E2B70-73D2-4B63-8E7A-C6C284C2BE14","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83b85ded45bcd964fa18adf073d88c5a52b60391","datavalue":{"value":{"time":"+1994-11-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4302790$ECB71521-395F-41EE-B547-88E7963B1EBB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302790$5B15A8CE-231A-40EC-B5F3-78D2F2DCFECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302790$38E13995-72E0-4B90-AA92-A25A4EF36D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302790$19A68255-2B59-4A87-8A24-007F9D78DE71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302790$5565CAF2-A30A-4407-AD36-93BDE7503F09","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac02a63a946149fbd929a16ae0a46fbc8894d335","datavalue":{"value":"622273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302790$EB6278E4-EC7B-469C-867C-C94CED062E75","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67e3fd30cbddfbeec8b4a417b15f99612f5e87e8","datavalue":{"value":"Arthur-Merlin games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302790$EAAD5F93-7F24-4808-A061-20B5FADD39BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11acd2fb6ad6c566c252aa4b6fd795400412f6ca","datavalue":{"value":"complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302790$24BE9E56-ED42-4F3C-8DDA-FDD49AFD8181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c041fe86c2cc24c4d74a3b149bc730195409c12","datavalue":{"value":"finite state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302790$4E07F24F-6378-429F-A8E9-3791CF873317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92ce3b2611047d0ca250e0a8d430817e1648d56","datavalue":{"value":"interactive proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302790$6462B04C-06F4-447B-B7F1-C79732BD4963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d28ab0532863d1fdfbdcc9d6c397ce2e2a173c1","datavalue":{"value":"probabilistic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302790$27B0A830-9984-4AA7-9464-31B753A35412","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":"Q4302790$4D9DED24-E298-422A-90B7-3835D1A9B4FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f83a9a117889ba6348870b0e86c57b71c0f3619a","datavalue":{"value":"https://doi.org/10.1145/146585.146599","type":"string"},"datatype":"url"},"type":"statement","id":"Q4302790$A6138FDE-B6F7-43C8-8898-8E868D1768A7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"02a05206516215b4f338f37e9ae51409f2dfde8a","datavalue":{"value":"W2057638793","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302790$8D56EFC6-1A6B-4925-A329-BE2075BB7C8A","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5815bf6a733db015cb47b485e3eb95f4d1f0708d","datavalue":{"value":"Q129991989","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302790$113CF750-C2A4-402F-AF23-6B961D7EB5C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19c77bf4f6b94b81b835861c7ee8aeeeff8c66f3","datavalue":{"value":{"entity-type":"item","numeric-id":4302791,"id":"Q4302791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"885a838d82c8c8348f4299edbea968a003eab7f7","datavalue":{"value":{"amount":"+0.9089694619178772","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":"Q4302790$D2A7675F-F56D-4EAC-BBF8-65B4EEAE6611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"458bb54e0dd0faac2e5309faed1306a0a679ffa2","datavalue":{"value":{"entity-type":"item","numeric-id":3830531,"id":"Q3830531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0508a742d4ec7f7827e05e1401a63adfc8a902cd","datavalue":{"value":{"amount":"+0.880835771560669","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":"Q4302790$281657FE-6446-4FD0-80BE-23D587EA9E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d02669fdf51b16e1d5ef7cfdab3e5eb16deaaaf","datavalue":{"value":{"entity-type":"item","numeric-id":4011253,"id":"Q4011253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d71a8d742fc7eb04d0c1944441faaf5f5710bd05","datavalue":{"value":{"amount":"+0.8725554347038269","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":"Q4302790$8A05C397-6B82-45BC-98A7-CC8AF2709300","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4302790","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4302790"}}}}}