{"entities":{"Q4302791":{"pageid":6332392,"ns":120,"title":"Item:Q4302791","lastrevid":46285839,"modified":"2025-12-24T11:53:57Z","type":"item","id":"Q4302791","labels":{"en":{"language":"en","value":"Finite state verifiers II"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 622274"}},"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":"Q4302791$945974E3-57A9-4C53-88DD-7051E85131D3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"13528b494f92269b366091236286aa69a9498ea6","datavalue":{"value":{"text":"Finite state verifiers II","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4302791$2D251AE5-5254-4CF2-8C85-B0DCD33262F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ec2abfe6006e121d5c84ea5d6dbf7224c936d7d","datavalue":{"value":"0799.68100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302791$DD280C21-55AC-4E9B-9C80-83E42CC541F4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e2755424d4857b8a70de4f27b464d204144f01c","datavalue":{"value":"10.1145/146585.146601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302791$46C8C6EA-D9A4-4A9E-9BC2-D7C498124A65","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":"Q4302791$C2813240-EE57-4525-9908-00C270ED437C","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":"Q4302791$E68E2AB7-4902-4541-B382-512B39C402AE","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":"Q4302791$4279F314-34CD-4FBD-BFF7-F2ED5C8010C4","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":"Q4302791$FB3CF937-12CF-4565-A881-4316D5D0F06D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302791$C25A1853-C723-47E8-9E8E-AD44FEDF9F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302791$A14207FC-FBE7-4F60-A0BE-8C0CAE90A068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302791$07E360EA-B34C-4AF0-8050-9B368669930F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302791$CB1BC938-EE5B-45B9-8319-F09F44E0B896","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbf95d69052093a35cbeea6b0f2e31f69f119545","datavalue":{"value":"622274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302791$12C44310-274B-4591-9B5B-1DC6CE2BEDE9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67e3fd30cbddfbeec8b4a417b15f99612f5e87e8","datavalue":{"value":"Arthur-Merlin games","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302791$D36FE61B-5C90-4EB7-B215-60B750CAC1FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11acd2fb6ad6c566c252aa4b6fd795400412f6ca","datavalue":{"value":"complexity theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302791$3D015B5F-0D44-4D7D-994C-9A2876326FD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c041fe86c2cc24c4d74a3b149bc730195409c12","datavalue":{"value":"finite state automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302791$73653E22-037A-4655-8A9E-3D77D3727D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c92ce3b2611047d0ca250e0a8d430817e1648d56","datavalue":{"value":"interactive proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302791$22789C2A-02EE-4C97-BB8E-652412E090D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d28ab0532863d1fdfbdcc9d6c397ce2e2a173c1","datavalue":{"value":"probabilistic automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302791$577CEDC2-F842-4DC5-BB16-7170F22F8649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c74031d4c92ff3ce93ba7555401e7db6988d0376","datavalue":{"value":"zero knowledge","type":"string"},"datatype":"string"},"type":"statement","id":"Q4302791$DB73B82A-6C99-4CAC-833F-BAF7C21B80E0","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":"Q4302791$4B46220F-6E7D-4F5D-88CD-FBDD67364C3B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6b504cf76756e094728cea414e89e3e826acba46","datavalue":{"value":"https://doi.org/10.1145/146585.146601","type":"string"},"datatype":"url"},"type":"statement","id":"Q4302791$2B8D61B0-DFDD-433A-8031-29ADF53E6385","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68cdef4ea88d2f06bc60acd59ba1e1909c7ff21f","datavalue":{"value":"W1964821154","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4302791$740722F5-0D05-41DB-BA9D-49FB0E1A1997","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84233ef0b899d63bedb1ef72bc4077dce8b769fe","datavalue":{"value":{"entity-type":"item","numeric-id":4302790,"id":"Q4302790"},"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":"Q4302791$F8155293-15CB-448C-B22A-22AFC84DB05E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4718a332f5554552c53e2376e58d11f0bee5a586","datavalue":{"value":{"entity-type":"item","numeric-id":3204032,"id":"Q3204032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82966de5de8b5c67d60f7d7e31f2740a61d28e16","datavalue":{"value":{"amount":"+0.8938595056533813","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":"Q4302791$BD02743F-84E9-4795-AE77-49C1E6F61B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b00b25838135437f05b714afe3ec194bb1e7c55d","datavalue":{"value":{"entity-type":"item","numeric-id":808692,"id":"Q808692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb70d94769fe941ec1ebe9b23bcd86b5b8d49b7d","datavalue":{"value":{"amount":"+0.8481819033622742","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":"Q4302791$B2D526DE-85CC-4485-B1D7-3ADA8D0B90E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"432f73324fe5ab8f340dfa50edfd243d7a60372e","datavalue":{"value":{"entity-type":"item","numeric-id":4302852,"id":"Q4302852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1053866b0fa6088b037d212f97973a8de9b8f03","datavalue":{"value":{"amount":"+0.8176321983337402","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":"Q4302791$D94FF4F8-8E7D-40DD-AB7B-6A445E381B26","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4302791","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4302791"}}}}}