{"entities":{"Q496013":{"pageid":497780,"ns":120,"title":"Item:Q496013","lastrevid":62301285,"modified":"2026-04-11T05:09:21Z","type":"item","id":"Q496013","labels":{"en":{"language":"en","value":"Shorter arithmetization of nondeterministic computations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6482886"}},"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":"Q496013$8B1BB597-6B2E-41DC-ADD9-5DF6AF1A7F09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"758e5ab79d64ca507165b04f43778cea0cb10917","datavalue":{"value":{"text":"Shorter arithmetization of nondeterministic computations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q496013$7B3C19A8-926D-433D-82F3-446C1E4CDDB2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c2096f4e43e84dfaa5e286238014d9e27151a7a8","datavalue":{"value":"1430.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496013$A2917A8D-1C2A-49E6-89B2-03B96ECDD567","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b11224702ebda4fa6749901ef03700c79f3ed704","datavalue":{"value":{"entity-type":"item","numeric-id":496011,"id":"Q496011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$39887B64-E272-45C6-8587-B3009754B91B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36dd86a9fe582c4cd1cb9bae3ecde442eb3d531a","datavalue":{"value":{"entity-type":"item","numeric-id":496012,"id":"Q496012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$305ABD71-6BA0-4A45-BB7D-22D1CF652DC6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$50C99F3A-EE70-47CD-B1AB-D672B7133FA2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa7ff53be2613fa456ce1e6e1f910cf5f7f773a1","datavalue":{"value":{"time":"+2015-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q496013$BB9881DA-AB87-427C-9A5F-8F5CC4BE4D76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7c4d23e479455dfbfef69cdefa2e2eb3970b9f40","datavalue":{"value":"68Q04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496013$FE608FE2-9BDF-4639-A8A2-4433B379400C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"196916cd450165978c169d4fbf15975a01c78c72","datavalue":{"value":"68Q09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496013$6A8E2B20-875F-4474-A5DC-69EC931652C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496013$C7687E36-32EA-44F0-BC36-937E881770E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496013$7200A0D5-B271-4336-9D41-C01737D807AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496013$4514864C-C580-450C-AD06-17AB7DCB0B31","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"688f1d06ab7cf2ad17339bbebae409679c15ec3b","datavalue":{"value":"6482886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496013$CAF3D5AA-9C9C-472D-A2A9-A5A74980DA36","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc86f63fe1098dbc31c9ce39bff3551b474b42d9","datavalue":{"value":"arithmetization","type":"string"},"datatype":"string"},"type":"statement","id":"Q496013$59A3492C-4DFB-4C67-B444-93B6AD4053EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f30bf7e11494c3d2524847a65be15165318171e6","datavalue":{"value":"probabilistically-checkable proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q496013$4A1A5142-E388-4CBE-B599-1132D90CF9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1af3f77bcafaee8d15d4bf8888ffdcea4e476a8f","datavalue":{"value":"polylogarithmic-time verifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q496013$CDD078C1-9AFC-4704-9AE9-249148EC3AF6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"be2032a20f03f66e64fa646eff4fa728b5a2560f","datavalue":{"value":{"entity-type":"item","numeric-id":22160,"id":"Q22160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$95913C09-AC9E-4BC4-9CAF-ED36C84525FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82fa881df10f2849f6be7bb9366f0c3f7bb59d80","datavalue":{"value":{"entity-type":"item","numeric-id":26503,"id":"Q26503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$D41B2735-F49C-4159-8087-779B1C3B4EFB","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":"Q496013$BE70A981-43A8-43B8-864B-B27C065B451D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18692b81bb02de2ddc49dfbf9ba73962ce37bb52","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2015.07.030","type":"string"},"datatype":"url"},"type":"statement","id":"Q496013$C5361342-0EC3-4AFB-BE4A-25A70DCB2BDD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d455dcd213706eff597722dae98068d5ade62714","datavalue":{"value":"W935592923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496013$0D0016EF-3CFC-4066-BF5E-92356FC0CB1B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a70b1ed67593050d2f1fbb22fe7e43163b23ffd3","datavalue":{"value":{"entity-type":"item","numeric-id":4501758,"id":"Q4501758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$55DE7E51-5449-47B1-A83C-386E347491A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed97d9cb381fa44bbd6ac9207fd7e4aa47354791","datavalue":{"value":{"entity-type":"item","numeric-id":3158513,"id":"Q3158513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$EA899844-BD59-4889-831E-8C304918FB0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5683f6f22cbb708c4dce0437045c5f9a810a9211","datavalue":{"value":{"entity-type":"item","numeric-id":4527016,"id":"Q4527016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$2A6FE7BE-97CB-495D-9480-3020EE7729EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11f3a5a6ef5b4dad2d6e7e841bea784191d0a73c","datavalue":{"value":{"entity-type":"item","numeric-id":3841041,"id":"Q3841041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$E623D2EA-EB2F-4D4C-B619-22C757BAB08B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"969c6a30a19febb41d427bbde7501d6acfdf6db2","datavalue":{"value":{"entity-type":"item","numeric-id":2849388,"id":"Q2849388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$003F1B59-0B1C-4637-A442-07AACA79197F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c22ca62cb39bd7394c37e34af6185a22f249424","datavalue":{"value":{"entity-type":"item","numeric-id":2986889,"id":"Q2986889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$0B4EDC6F-BCC8-4911-9BB8-3D90A5608B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95778829e225e41a7554e43fa6227c35eb13df8a","datavalue":{"value":{"entity-type":"item","numeric-id":5495829,"id":"Q5495829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$4EBB1000-5212-4A10-9456-639AAABA38B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86a4400cc7b50da2991bdc67572a265af16c1b0b","datavalue":{"value":{"entity-type":"item","numeric-id":4910285,"id":"Q4910285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$FD1D0FDB-088D-4EF4-B21E-D3C12A5D027F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edb8e7755275d15565468c740a13cffcfc255c8d","datavalue":{"value":{"entity-type":"item","numeric-id":5513488,"id":"Q5513488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$8B7A7E96-9FFA-4004-B233-F5C0B16AE9DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"233b0d1b99b8001d6aea8c4b2bab778ddad6115e","datavalue":{"value":{"entity-type":"item","numeric-id":685721,"id":"Q685721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$D3F0A5AB-AF9F-448B-90EA-A2444B416072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53380c73b7bf5e11383224d2e02660765f844b47","datavalue":{"value":{"entity-type":"item","numeric-id":3580954,"id":"Q3580954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$2AA1AF1F-3B28-460A-9F70-67F5B9E98647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed04d79666eea642df7dfc0dfa9b9ab70ff5eeec","datavalue":{"value":{"entity-type":"item","numeric-id":5757455,"id":"Q5757455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$6697F701-F0A4-4D68-8160-F639D6C1A930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bff34d1d30a385b1fe523bdc35872fd981292c7e","datavalue":{"value":{"entity-type":"item","numeric-id":3177809,"id":"Q3177809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$ADA58516-A565-4D7A-8C41-5E7FA355EBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d96be260491ba59c8aaff81b9276e6c90a71fe0c","datavalue":{"value":{"entity-type":"item","numeric-id":3624377,"id":"Q3624377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$B552D8C3-CB55-4E74-9C17-AE1460CF8124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adcdcbe34615bf3e60266fce084ffec748e1fa2","datavalue":{"value":{"entity-type":"item","numeric-id":3581280,"id":"Q3581280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$055993EE-5CC5-4E84-9106-FC1543686E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ff62ea05d949e3c192373a293570d82fdde2578","datavalue":{"value":{"entity-type":"item","numeric-id":4133134,"id":"Q4133134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$3A1CCF83-5A60-4BD3-A011-370A75BB186E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd5248867607fc2294a1db7ef2c1c270a241e81","datavalue":{"value":{"entity-type":"item","numeric-id":5171197,"id":"Q5171197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$C4EF3DF6-1ED8-4BFD-A136-6F17A1BB0029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1f25caf0d568455ad6ef71b82c3f9d319be07cb","datavalue":{"value":{"entity-type":"item","numeric-id":5900521,"id":"Q5900521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$768DA066-969C-4D3D-99DB-6CFC921D43AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff8cd79183c0b4be1f820dfac41ddf0d9f228147","datavalue":{"value":{"entity-type":"item","numeric-id":5757456,"id":"Q5757456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$A221BAFD-D1EE-4275-9E79-CA4748088ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7e4ec3391671959471e0dda3a6f5f980abca5fa","datavalue":{"value":{"entity-type":"item","numeric-id":4371671,"id":"Q4371671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$1572589D-53C4-4F0E-AE58-6C6B527BFCC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47062a83503cae0b48e8dd51bde04921f4abb5b3","datavalue":{"value":{"entity-type":"item","numeric-id":4527018,"id":"Q4527018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$35701C9C-36D8-467D-8DED-B4AEB51C32F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a5d5fbb148eca4328f95e83c0984b1f370c7ea1","datavalue":{"value":{"entity-type":"item","numeric-id":685437,"id":"Q685437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$1AEECD1B-8D18-48A8-94F2-5842EC9CF853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8497a42a29fe0be31799d2a4554333e2e9be2336","datavalue":{"value":{"entity-type":"item","numeric-id":4924436,"id":"Q4924436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$B51C881B-5F32-4309-A3B2-2E0621E72C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a63c1dfa9ee73ac85b1de6200c37da1465cc7c","datavalue":{"value":{"entity-type":"item","numeric-id":3058664,"id":"Q3058664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$3FA84943-1AF0-406F-ABE5-42E668DB1A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65baddbe46200b9a2ea2d87eb8bda2bc06421a71","datavalue":{"value":{"entity-type":"item","numeric-id":3826533,"id":"Q3826533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$6F8E207E-E9A6-4208-B4F1-53EC9AE94493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a0aeb7b6a9d849e663fb1717f079155c98337eba","datavalue":{"value":{"entity-type":"item","numeric-id":3546312,"id":"Q3546312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$00004187-0A50-4385-8DEB-AC429D411967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40816ab4ba222a19da066e5cca5337533ab061d7","datavalue":{"value":{"entity-type":"item","numeric-id":5946703,"id":"Q5946703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$2469085F-A03B-4E42-865E-AE774E856A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b578d56855c1de2e2f897c61ed2ff7168e6c3325","datavalue":{"value":{"entity-type":"item","numeric-id":4002466,"id":"Q4002466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$19E8B075-D37F-459C-B0E8-7DDCE4ECF712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37ddc25bc6ddeb4fef28927db93d392a886040f2","datavalue":{"value":{"entity-type":"item","numeric-id":4302792,"id":"Q4302792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$CF2333A4-448F-4A04-98B3-85358764F562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"482e9eb47dd86dd61cb018c61f153b82733ef2cd","datavalue":{"value":{"entity-type":"item","numeric-id":2891482,"id":"Q2891482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$4F9071DC-B4D8-4969-8127-8EF920C20611","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e7f68c59a465d3e16ebd695448dbc1e18c84a93","datavalue":{"value":{"entity-type":"item","numeric-id":5690468,"id":"Q5690468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$4365310D-2941-4DE2-8D53-FACB41C1844D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e9a6c24d7a7bf2142027040f8f5c8048e3fb92","datavalue":{"value":{"entity-type":"item","numeric-id":5171196,"id":"Q5171196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$C862F56E-400F-484B-8211-43B92823203B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6c54867387558f29bd24798a93b4ccc7340221","datavalue":{"value":{"entity-type":"item","numeric-id":260390,"id":"Q260390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$DEC2ADCF-CFCB-4384-82F5-3DE87BDFE2C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c2b34ab63933cd9844958dd26fca02fad1d1e5d","datavalue":{"value":{"entity-type":"item","numeric-id":2379685,"id":"Q2379685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$A965F82A-8D1F-4735-B29C-18B9BA1680AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d573bfef7b8cc8f39c4a0ab97b094977c16fbaf6","datavalue":{"value":{"entity-type":"item","numeric-id":3579632,"id":"Q3579632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$43911CEE-770D-48BA-B670-2ED5E53D7A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92fd513b113eb8b2ce57a93b78cf853db09cbee7","datavalue":{"value":{"entity-type":"item","numeric-id":5608026,"id":"Q5608026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$D2C10961-7278-4FD0-B40F-F46955EF40AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2cf5406de3b0aac36cd8a164278c9d9392b94c0","datavalue":{"value":{"entity-type":"item","numeric-id":5633915,"id":"Q5633915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$3D146764-C687-4AA5-ABBA-686F771EBAB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6de891d5a6744d6bc5da3b977613039967f9d10","datavalue":{"value":{"entity-type":"item","numeric-id":4191603,"id":"Q4191603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$7CA00058-3C78-441E-9939-DE7CB3B8FB1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"153f725133113d45fac8b539dc3625e34e5af944","datavalue":{"value":{"entity-type":"item","numeric-id":3960605,"id":"Q3960605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$4BF68E19-BE1E-4CFF-B8F9-BD83EFC704B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ef2038f5bde30ce91aadb96e7865a3d677781e1","datavalue":{"value":{"entity-type":"item","numeric-id":2817611,"id":"Q2817611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$E7E81EDD-BD9F-403E-A03C-80924207E6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6cfa2d1621cc9c511156a9dc9b2a1395c3f3d33","datavalue":{"value":{"entity-type":"item","numeric-id":758197,"id":"Q758197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$293BEBB5-D766-4ABD-91C5-C356978AD0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3af9c400472b33809e98a7c72843fa27c42a11de","datavalue":{"value":{"entity-type":"item","numeric-id":4877517,"id":"Q4877517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$5E4904F7-6C21-4C71-93E4-16C839D07873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18d5cfedfe66a3b5d774d6c8fbd31b828323bdab","datavalue":{"value":{"entity-type":"item","numeric-id":4527015,"id":"Q4527015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$C97830E9-D5BD-45A7-9C66-E2D7F4B78B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1bf22912f1e7db9766e811575558602919b3ea2","datavalue":{"value":{"entity-type":"item","numeric-id":4139688,"id":"Q4139688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$B183C45C-9874-4E12-A42C-12208E27B266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d268b2809bbcd70c788c93a5e38330e04b05334","datavalue":{"value":{"entity-type":"item","numeric-id":4302793,"id":"Q4302793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$F8707C5B-9645-416E-843C-3EB90DC0EE07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c4ec1c219aaa5ecb98ce768196d2a3c93049825","datavalue":{"value":{"entity-type":"item","numeric-id":4302794,"id":"Q4302794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$20119C3B-AE94-4B85-9370-B59B4F811D63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44ca6bf99a9d443a7446549c9fea6945659a7963","datavalue":{"value":{"entity-type":"item","numeric-id":5539432,"id":"Q5539432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q496013$D11A6C05-2472-4F71-8D95-3166C5EB0132","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"70e427beab829f1aa26f96f9e65cdaa3639b8e4b","datavalue":{"value":"10.1016/J.TCS.2015.07.030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q496013$CF466119-42DA-4388-9691-B05F6DF22301","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c1101dd81e65dacdc90651e6a6bbc24fe07c25c","datavalue":{"value":{"entity-type":"item","numeric-id":3624377,"id":"Q3624377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85ac8ada0ff19fb45af8c24a8091554f19838447","datavalue":{"value":{"amount":"+0.8246472477912903","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":"Q496013$36A0064A-B9F7-4EF1-BCD2-5697D6D0F7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87b3e8e6a40caff5b55eae6cfe655046222136ca","datavalue":{"value":{"entity-type":"item","numeric-id":5757455,"id":"Q5757455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c5e1b751c12f7be7103f5df3668420aa6f27755","datavalue":{"value":{"amount":"+0.8186542987823486","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":"Q496013$AFA61172-33A3-4DFC-850E-5929BE9FE086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"679120acbfd5f2832a993ab3ac9c526fa012456e","datavalue":{"value":{"entity-type":"item","numeric-id":260390,"id":"Q260390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96996d4e0651d10ed390ca06b69889a31c22626c","datavalue":{"value":{"amount":"+0.814434826374054","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":"Q496013$06F9F5F7-0098-41AA-BACC-8AF04A6C1F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34a616b882c78b45f73e016e8cbc3ce2007efd5a","datavalue":{"value":{"entity-type":"item","numeric-id":3581427,"id":"Q3581427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ccc6aadb3e13f2e738576a76855bd00f24945ff1","datavalue":{"value":{"amount":"+0.8110828399658203","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":"Q496013$7C5E3333-9591-413B-9C5D-1799CB3579C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"491d210f36f4b2420ce7c2fc06e1651b4ffb0086","datavalue":{"value":{"entity-type":"item","numeric-id":3177809,"id":"Q3177809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04edad44fa994e6eb241c359fc97b9bf7c8a09ac","datavalue":{"value":{"amount":"+0.790287435054779","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":"Q496013$B7A514BF-2BDE-4301-A9A9-A6E7391F1B81","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Shorter arithmetization of nondeterministic computations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Shorter_arithmetization_of_nondeterministic_computations"}}}}}