{"entities":{"Q1725640":{"pageid":1736381,"ns":120,"title":"Item:Q1725640","lastrevid":73365741,"modified":"2026-04-14T15:37:30Z","type":"item","id":"Q1725640","labels":{"en":{"language":"en","value":"Randomised enumeration of small witnesses using a decision oracle"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7023725"}},"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":"Q1725640$21940C19-1195-40A3-9048-1EC55808DFA0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3cb57471d1b6d3b6840596d1fc17185c5cadffd","datavalue":{"value":{"text":"Randomised enumeration of small witnesses using a decision oracle","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1725640$887360A2-A916-4376-B864-746B8050CA52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39b5ab993b3e9494fdbc3f6beb99d18143fbdf5c","datavalue":{"value":"1411.68049","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725640$787491E1-39B7-4E76-AED5-DED158872138","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a59b119ea457568768da8584ecfdfd317dfa9e3b","datavalue":{"value":{"entity-type":"item","numeric-id":342708,"id":"Q342708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725640$D6CD4D29-CE09-4319-A9D0-6081B4DB2FD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"65c8fa095fb5e7de7a6818fd747ab8b39647de93","datavalue":{"value":{"entity-type":"item","numeric-id":96582,"id":"Q96582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725640$5EF147A4-50A8-4187-8042-AEA085A1E994","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d3988244ea333fe3befee59d428db74e7ba16624","datavalue":{"value":{"time":"+2019-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1725640$4D631BA7-D891-4C16-AF2B-BEBB0C23CA94","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725640$3EA8F8A9-49D4-4D0B-B5E2-0A4459A9A5F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4a5372688a0d668805df5d9ffd1da58833a0f595","datavalue":{"value":"68R05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725640$C888AB37-9833-48F7-9ED8-F549BD8D093B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e01671c873d801b913451010c0981a684c101d40","datavalue":{"value":"68W20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725640$834BDA7F-8CB7-42C1-87DE-DA28A870265E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1faff2aed1296de81ce5ce6650cef02738c5b593","datavalue":{"value":"7023725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725640$A36D6165-6001-44C4-A301-39E254563A99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5679bed385f2291640f42aea7c87183c58362105","datavalue":{"value":"enumeration algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725640$63381B3B-F644-45F8-936F-8D1EA6DB91E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725640$7D0C5324-74A8-4DE6-AC63-A59231CB02A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49eb4dac5aeb1a5fd4804122c81f369b6968def6","datavalue":{"value":"randomized algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725640$FF4FABAF-B650-4071-8C95-373DF245F6F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fb48d525328c8f64f7138414de787b1ce14d7e4","datavalue":{"value":"approximate enumeration","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725640$600C089C-63B5-426C-BE9F-378CC182B867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e746ec79fe9ad6cf1b905e9cb591d4969df6b87","datavalue":{"value":"color coding","type":"string"},"datatype":"string"},"type":"statement","id":"Q1725640$BCDB6B4A-9735-40DE-9F64-B466B21768E3","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":"Q1725640$21776631-CEA2-416C-AAFA-90A46204339D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8d8763162fc3c5f6e8d1dacc008613391da78319","datavalue":{"value":"https://doi.org/10.1007/s00453-018-0404-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q1725640$1C74CC04-427D-4F63-B108-CB044956FCE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9c5db96c1a50da3891c3cbd54b6f47e57d46668e","datavalue":{"value":"W2962790604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725640$3F7A44DF-58C1-475F-A077-17D2DB5583BD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42451d9b2f091244b010a7dc1fc6a0f53a57abc4","datavalue":{"value":{"entity-type":"item","numeric-id":4369883,"id":"Q4369883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725640$A4CEA1C4-E02B-4889-90EB-FF4157016145","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e44bd58c42a6994429d826ce5732c4257fe6582","datavalue":{"value":{"entity-type":"item","numeric-id":4427867,"id":"Q4427867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725640$7F115504-CDC0-427F-A235-564DE9D44B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9bd10cc6bf3bc360a1be16c44757b9f0284c1de","datavalue":{"value":{"entity-type":"item","numeric-id":2396725,"id":"Q2396725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725640$D58A5FDA-B20A-4EBE-9D50-8B1F2D56F9B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bc3957fcbe052c220ea11016164c7463052cdb0","datavalue":{"value":{"entity-type":"item","numeric-id":2957868,"id":"Q2957868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725640$956CCEA0-F17E-4B99-8C52-B3A84A452D20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fef30e8bb21c52e4261ba2b3d3e9e692efbd8dd","datavalue":{"value":{"entity-type":"item","numeric-id":2921401,"id":"Q2921401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725640$87F1D587-2BA4-4B28-BB1A-AB1819FC9DF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2526c5eb78ec5bee993cff1e68011515df994402","datavalue":{"value":{"entity-type":"item","numeric-id":5232527,"id":"Q5232527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725640$4B843B15-F541-4980-A7D0-3CB6254BD897","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20bb209d9d0a68963c8d082bf8bcfd8de90f5b46","datavalue":{"value":{"entity-type":"item","numeric-id":2799203,"id":"Q2799203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725640$959E7FA8-28A5-4FD5-95F2-7D5D56E2B8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1022fe88b520a7633069d64a106e5eb58126df4c","datavalue":{"value":{"entity-type":"item","numeric-id":2849918,"id":"Q2849918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725640$9CDBAAB4-316D-4DD3-9CC7-768BB0F30C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6aaa97e85ee7c7621c8043da32071280abc767e0","datavalue":{"value":{"entity-type":"item","numeric-id":5326574,"id":"Q5326574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725640$BE10D019-7EAB-4B26-9D72-F25B470AC13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05ccbb66f253e8aabe9f774ba9414f12634b864d","datavalue":{"value":{"entity-type":"item","numeric-id":383833,"id":"Q383833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725640$B2B0AF33-2CCD-4648-ADBB-D487E5CEEE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dee15f87299f63e6c0180eea7814258b0f29011","datavalue":{"value":{"entity-type":"item","numeric-id":4808679,"id":"Q4808679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725640$7B945138-68C0-4A85-A5F3-8F184897E179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efb4eb1ae0d6b2098df61963537d029b3f93b13a","datavalue":{"value":{"entity-type":"item","numeric-id":4651498,"id":"Q4651498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725640$2CCC18DE-BA28-4F08-B5BE-42A06538178F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae35b42269b65df7a1c59338bf97c0ea301c5c81","datavalue":{"value":{"entity-type":"item","numeric-id":2488567,"id":"Q2488567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725640$EBBD0A52-FAED-4991-829F-91FF7B278AB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d1c69fea307a4a90e7fbb0f4a515fd6c8d02aae","datavalue":{"value":{"entity-type":"item","numeric-id":2256721,"id":"Q2256721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725640$356D1634-CE7D-4EFD-AA31-4094264751C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a936008531be46bc7179ea47ff6af54940002143","datavalue":{"value":{"entity-type":"item","numeric-id":2832302,"id":"Q2832302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725640$3449F7FE-ECFB-483E-8D27-1F72895A4A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"042d1db9358948d2a88c48d38614d55bef4813e6","datavalue":{"value":{"entity-type":"item","numeric-id":805625,"id":"Q805625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725640$4920345C-4C10-4DDE-949F-2284869729FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d4fbbdb525d53e912d0fd9fc57d70ac9cc61edd","datavalue":{"value":{"entity-type":"item","numeric-id":5643805,"id":"Q5643805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725640$6086DA2A-4A4F-4116-BC63-D585EF8175E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ab59e2e9b4b1681072accf7aff4bb0da957e710","datavalue":{"value":{"entity-type":"item","numeric-id":897601,"id":"Q897601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725640$B8CA7CD4-054E-4613-B825-BDDE3BBAA95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f03684442b63ead017553e4c106b3eab09504a8f","datavalue":{"value":{"entity-type":"item","numeric-id":4231923,"id":"Q4231923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725640$F6366FD0-A3CC-4587-8E6A-3EA0BE0CFB1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4aa2c65535d8d32861da761ffe06be5d0424652a","datavalue":{"value":"10.1007/S00453-018-0404-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1725640$248C31A0-EC4E-4DCA-85E0-28D176CCA423","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1a9582cbdb783a8ec6150ebd81a0649331efe6f","datavalue":{"value":{"entity-type":"item","numeric-id":4634405,"id":"Q4634405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"129f7e075033f37e47505206d2e57f8ffd895eab","datavalue":{"value":{"amount":"+0.9857552647590636","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":"Q1725640$350BC41F-78E6-4972-BB6E-92FF055FB7F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e83b3370e9d042fa27bb7223a8d2dbee8271ef8f","datavalue":{"value":{"entity-type":"item","numeric-id":2921401,"id":"Q2921401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c89cff0aa7fe2588f0547744f905176bc90b5bd","datavalue":{"value":{"amount":"+0.8075764179229736","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":"Q1725640$757E844F-7E94-4A92-99D5-EAC3EFD32BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20caa6437df78b3b823a7f19775a68176fd859bb","datavalue":{"value":{"entity-type":"item","numeric-id":5092506,"id":"Q5092506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ae8d4ff4de68f918895243a9463e804565006b3","datavalue":{"value":{"amount":"+0.757522463798523","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":"Q1725640$3F65B89F-311A-4558-AEB5-BCFDC47829A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c427bc79d3c30b1641cb74a3cd56f52d1ee122f4","datavalue":{"value":{"entity-type":"item","numeric-id":2915109,"id":"Q2915109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1eccb00bb80954d1f9385240de62d52d441b303","datavalue":{"value":{"amount":"+0.720042884349823","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":"Q1725640$F105CB6D-749F-4313-AAB3-4796145409C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6d6f581a7ffe9cef39944c06b7687cc52272029","datavalue":{"value":{"entity-type":"item","numeric-id":2411034,"id":"Q2411034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98b9b401a8987899bd82ee705bb4c1872214e67f","datavalue":{"value":{"amount":"+0.7184966802597046","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":"Q1725640$6FB0AC5B-044C-4A32-9162-A709FAC6DDE8","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1725640$82135A7A-0438-471A-87A3-218518450C00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Randomised enumeration of small witnesses using a decision oracle","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Randomised_enumeration_of_small_witnesses_using_a_decision_oracle"}}}}}