{"entities":{"Q6894352":{"pageid":20862640,"ns":120,"title":"Item:Q6894352","lastrevid":84189674,"modified":"2026-05-13T09:33:40Z","type":"item","id":"Q6894352","labels":{"en":{"language":"en","value":"Improved randomized approximation of hard universality and emptiness problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8127498"}},"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":"Q6894352$C6F13487-15FE-4A04-B4F1-D94C8B966AD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c4c4d36b9eda4444f59cd89f89f93d6ede64320e","datavalue":{"value":{"text":"Improved randomized approximation of hard universality and emptiness problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6894352$EF69DCBE-D293-45C1-BFF9-77322A1AFD5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1863611565d5880fc653a0ff8a6ba56bfb374859","datavalue":{"value":{"entity-type":"item","numeric-id":6894351,"id":"Q6894351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894352$DCDCCD3F-67C6-4CCE-9297-DBF7809A56EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af211d5038a6188830a4fac53124d7725b0728cb","datavalue":{"value":{"entity-type":"item","numeric-id":256708,"id":"Q256708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894352$DC484BFA-E630-4B06-AAEA-472C90F9EE6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"928e49763ce4093f1f50d56b4004a9c456260299","datavalue":{"value":{"entity-type":"item","numeric-id":344540,"id":"Q344540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894352$826B57C9-ADE6-446C-9A13-D1B5C5230CB2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f67ba5e89095b2b825b3e9cd1c2605324298d1e1","datavalue":{"value":{"entity-type":"item","numeric-id":6621944,"id":"Q6621944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894352$488E0E42-EFCE-4073-87F3-70EBB1A243FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ed40ea515b48f533e3453a2e86e3ed576f48341c","datavalue":{"value":{"time":"+2025-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6894352$4C6A5586-C8FE-4E1A-937D-C8A19EFA86E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9b367afabcfce2fc65809a992f632db87ffbe63d","datavalue":{"value":"https://jalc.de/issues/2025/issue_30_1-3/jalc-2025-005-026.php","type":"string"},"datatype":"url"},"type":"statement","id":"Q6894352$7B73C66B-72D3-4D59-A66D-EC3566BFE215","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4228d21095b3348e9ea20aa0b63610107aad8cc","datavalue":{"value":"68W25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6894352$3814BA46-BDC0-4858-ACFE-7FA916C8F965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67c45964bb1554d8a802bf9a29e50db9b1c5a363","datavalue":{"value":"11Y50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6894352$45414546-1281-4257-946A-6386F22C1E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6894352$FBD879B0-CF3E-4F99-B757-51B47E4C1FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6894352$3985B81C-6AD6-44F0-B4EE-65F1FF4D028F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9f4b4df59e0eb4f625fba587885439d489131372","datavalue":{"value":"8127498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6894352$2CA93CA9-93C4-45EC-9E2A-8A301E39B419","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dc058f54aac0023b7543c366366b86bc4e72c56b","datavalue":{"value":"approximation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6894352$0A57AF4E-0523-4DC6-9886-C63890A95280","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33239cec92d8b53587fd8c3b366eae95c73ac1d6","datavalue":{"value":"Diophantine equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q6894352$3677FADE-2FAF-437D-A3F2-669FA0AD6C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92ad461084375ac6868419f0e2aa8006a9b6b79f","datavalue":{"value":"emptiness problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6894352$3074BC31-C1EB-4827-8D00-6B51AFD1ED7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"135d8aedfa48efbdf272187bb5e64a07ac5bbe92","datavalue":{"value":"nondeterministic finite automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6894352$27D0F49A-9879-4642-B8A8-F70E46B0D951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"679372600590a03c48d4032113dc215d14bd33c6","datavalue":{"value":"randomization","type":"string"},"datatype":"string"},"type":"statement","id":"Q6894352$BC1785C6-26C3-4063-BA32-A4D2B2A70A52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8aef5ca139786319e27c74b0192c81d2529ea40","datavalue":{"value":"tautology testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6894352$1326B7AC-870C-4267-8DB0-10DFFC03C4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3dbc0b38af466499e2ba6048f6050a2a5450a05","datavalue":{"value":"two-dimensional automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q6894352$DE85B7EF-43EA-4D18-A880-27C57E33B00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63953f603b3782c8281ea888799054e6d8acb5bf","datavalue":{"value":"universality problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6894352$0FE4999D-B997-40E2-B7DA-6CA7919B019F","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":"Q6894352$51399112-9589-4E32-A870-CF27C0F5066F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d8653d2e6f53b17cedec7b9470bcf88609d4f1f","datavalue":{"value":{"entity-type":"item","numeric-id":5320667,"id":"Q5320667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894352$3B87919C-DB82-4A29-9250-1501864C829A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74bce2ce8ff3ce4b1957a9ee1f23ea57b02bf9eb","datavalue":{"value":{"entity-type":"item","numeric-id":5160665,"id":"Q5160665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894352$7912839E-1312-4F69-8D7E-E4E411D864D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80f2e28bbba9d212698b203550e49205bef92831","datavalue":{"value":{"entity-type":"item","numeric-id":1190984,"id":"Q1190984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894352$9ADD6F7E-CAC8-4689-B439-C98FCCF64558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"578b8750d12505900991cbe5c1d2cc845e0520e5","datavalue":{"value":{"entity-type":"item","numeric-id":3196364,"id":"Q3196364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894352$4E7CBF61-A8B2-4854-8FB7-4D302BF3BB3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74a8cb2203870eb4da5118cc2e3b056731044eae","datavalue":{"value":{"entity-type":"item","numeric-id":5131647,"id":"Q5131647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894352$3298A865-AF47-434D-B9A3-7A996BE0E1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4642bcb7c915521a77293757841128c7fd74d05f","datavalue":{"value":{"entity-type":"item","numeric-id":5756729,"id":"Q5756729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894352$A61CAE51-919F-4425-BB32-9292E633C29C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4f0732f471883320ebec889a518f3eaf523eadd","datavalue":{"value":{"entity-type":"item","numeric-id":5900112,"id":"Q5900112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894352$0C338F57-7752-4B30-8D2C-4D816903E083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd8480afaf9d2445fe61cfb99f8c4ffa312c45a3","datavalue":{"value":{"entity-type":"item","numeric-id":2540047,"id":"Q2540047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894352$77F74E95-1858-4794-9C99-E772B716A7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba3ae920320d607ca81ae053b3ca5a90bb17f5ca","datavalue":{"value":{"entity-type":"item","numeric-id":1199605,"id":"Q1199605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894352$208CD840-1188-4C40-B79F-17C137BB110E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37bb26cb01dbf8dbc1346e89d38ef4b617f99f8c","datavalue":{"value":{"entity-type":"item","numeric-id":4506483,"id":"Q4506483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894352$981DB73F-4B97-4E5F-9433-A01335F39156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebdcc886d8f403336ecc145f17aba39bb4976269","datavalue":{"value":{"entity-type":"item","numeric-id":2638801,"id":"Q2638801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894352$2238039E-F644-4663-96BB-38B726A3553E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8a4d900270c3e440dbee482ee8a741942a7831","datavalue":{"value":{"entity-type":"item","numeric-id":6093572,"id":"Q6093572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894352$5B645EB9-F311-4516-9C79-9F1EC87E6A78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9a30ba102d5a8ae2322e11f3baf65d44fe23733","datavalue":{"value":{"entity-type":"item","numeric-id":5223614,"id":"Q5223614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894352$5E33A5DB-5A54-4930-91A5-873201743530","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e30c2d0b224e77ecda66cb45d2d6053f9219d19","datavalue":{"value":{"entity-type":"item","numeric-id":6614018,"id":"Q6614018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894352$D37F3A06-3EFB-4B77-8229-A4EA7DFD4D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bbcc7ea2c70a82eb18546b1c63604310b2d2d8f","datavalue":{"value":{"entity-type":"item","numeric-id":1284933,"id":"Q1284933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894352$440B0F79-CB08-46C2-AF30-A762990A3ED9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53b47bcc1ab932c4282a8bc185a0d813c061b1c5","datavalue":{"value":{"entity-type":"item","numeric-id":2833177,"id":"Q2833177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894352$8C613C3C-92AA-4770-80C1-862EA9B65637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe929f01fa86af5ec1780a3fd0d8f9ac3346a63b","datavalue":{"value":{"entity-type":"item","numeric-id":4714446,"id":"Q4714446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6894352$A803A277-E6D0-4951-992A-CC0FA3069F76","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Improved randomized approximation of hard universality and emptiness problems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Improved_randomized_approximation_of_hard_universality_and_emptiness_problems"}}}}}