{"entities":{"Q3107337":{"pageid":3118053,"ns":120,"title":"Item:Q3107337","lastrevid":51390545,"modified":"2026-01-18T01:24:49Z","type":"item","id":"Q3107337","labels":{"en":{"language":"en","value":"Do there exist complete sets for promise classes?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5991441"}},"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":"Q3107337$D286ED6C-3C7D-46A3-A930-B8865D8FF58A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"28f3825086a89c18fb6456fb1a772411538b2006","datavalue":{"value":{"text":"Do there exist complete sets for promise classes?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3107337$9FB68C2D-3D80-424D-9002-5DC7E2660708","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"244f6bafa088921d140ca479670a350e77a2afa7","datavalue":{"value":"1253.68138","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3107337$E062F5EA-589B-43AC-88CF-7207B612F1D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f204cca5cb3a5d17167bf45cc964ea1212f0eef1","datavalue":{"value":{"entity-type":"item","numeric-id":553295,"id":"Q553295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107337$19678402-C0B4-47F3-8335-F84D6D61C278","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4917cb263d468f2111b70d8f28f6f11a5fc4ba96","datavalue":{"value":{"entity-type":"item","numeric-id":1853506,"id":"Q1853506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107337$0542F02A-5BA6-44EE-B852-6DABF8E4ACC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107337$19CE7967-E242-4BDE-A63B-D8D3C8E9BD03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6836ab67fc2e423e324b6a9004cabbbda791c21a","datavalue":{"value":{"time":"+2011-12-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3107337$245C12C8-2471-40C8-A69A-44174D9E9BB4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3107337$049DA25A-69FE-4789-BD2B-3BE6C555ED3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3107337$E571F497-6FD6-4A1B-BA88-C1DF53E18685","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30c0d7ff6f8bf9dbd20dcb2ba7ec50a0a4616a08","datavalue":{"value":"5991441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3107337$544A8B31-3372-4DA8-BC64-954ED7FBC5A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3107337$ABE73BD9-C90D-41AC-A722-21AE5B39AEEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e89ad8554bb818de4f8b837891329a994c469de4","datavalue":{"value":"optimal proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3107337$8B266D24-0D40-4924-BCDF-1448064772C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94fc2f9489ef404ae4bf0dea04d6d39583d12afd","datavalue":{"value":"promise classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3107337$7B662194-718C-4196-B1FC-4DA599D031FC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e29d865fe30d679e0584f3645b2ec86f3bbba835","datavalue":{"value":"Q59902771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3107337$DA6490F5-F968-4BBD-B8AB-8C72510F252C","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":"Q3107337$F2047C2A-A5A0-45D7-9D71-B995103BB5F4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76d6e657f20027062ca05439d49b8acbca25efc2","datavalue":{"value":"https://doi.org/10.1002/malq.201010021","type":"string"},"datatype":"url"},"type":"statement","id":"Q3107337$2B2A6AF7-48C6-4793-93E8-20E87EF0F524","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"deaab42af39d894471ac620edb65ade429a7561d","datavalue":{"value":"W2052292580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3107337$DBF1A9BA-F755-4549-B662-6C1E6D53806C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd4f9b219f54da4cc88e481211745b7b70548f30","datavalue":{"value":{"entity-type":"item","numeric-id":4039803,"id":"Q4039803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107337$77C34EB0-617F-4F28-A090-3198CAA34DA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c1b9eeb094380eefc65dfab5eaa83af9315b3e5","datavalue":{"value":{"entity-type":"item","numeric-id":884465,"id":"Q884465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107337$35F12BB5-4300-450B-8152-34B38CC010D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35ec6460cd983c65b027ffcc22d58f349dd92254","datavalue":{"value":{"entity-type":"item","numeric-id":929286,"id":"Q929286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107337$2E382173-10D1-4B6D-8652-898E3355BDCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45100dc6dcc8b18e4142785bf10505ead6fb706d","datavalue":{"value":{"entity-type":"item","numeric-id":553297,"id":"Q553297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107337$0BC00321-981A-4362-906D-A8DB334F625A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7592b023ac89204897ab3bc752fbf29f253474a","datavalue":{"value":{"entity-type":"item","numeric-id":837177,"id":"Q837177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107337$B8B05416-F0CB-4928-8835-908D521F5AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dab34f92da091fa4b47cd1efa1a0ee71662d42c","datavalue":{"value":{"entity-type":"item","numeric-id":2946610,"id":"Q2946610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107337$DFC47FEA-0F01-4B92-A030-4CA96743ECBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1b3541975f21c68128b48b36c15544e39ff063","datavalue":{"value":{"entity-type":"item","numeric-id":5444705,"id":"Q5444705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107337$6697FB39-9965-47F6-B73E-636432296DD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107337$71EECA06-0847-4C19-9DD2-313DF436AFC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a760f095688d2bf7862a2ab8001af7aaa0f1a76","datavalue":{"value":{"entity-type":"item","numeric-id":2387199,"id":"Q2387199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107337$7B287E7F-9E99-49F7-8FF3-198DCE9D165E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9d6d960e351c80be000f302db6efef14ab7325b","datavalue":{"value":{"entity-type":"item","numeric-id":4651518,"id":"Q4651518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107337$3BEB2B48-23A7-4257-A6B7-8E47557A199B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef35df92a72ac804c0e31cf57121f38f29d45c4","datavalue":{"value":{"entity-type":"item","numeric-id":868942,"id":"Q868942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107337$D22B4C6A-358C-4C3D-81B1-8CF332244D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd07bc9a9b69ce8a80cf38ac60dbedf570ebf67d","datavalue":{"value":{"entity-type":"item","numeric-id":1109566,"id":"Q1109566"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107337$1D120E5C-589F-4591-BBB5-6C7962B67AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb9e97bb808371a3a6d9a49a0700ca457fcb589c","datavalue":{"value":{"entity-type":"item","numeric-id":908700,"id":"Q908700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107337$8CB608E6-D482-4DA9-B233-AD68661CEDD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559db777cfd8d3556503f38e6f593a8dea97b362","datavalue":{"value":{"entity-type":"item","numeric-id":1398371,"id":"Q1398371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107337$7E757072-D691-4047-9D39-B799E4FF4377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f4a86512e0f02bf82877dbb62313fcd7fe9ed1","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107337$66CADA10-C8C6-4277-8173-60B85BAD7E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59453e58f7cfaf844d3b63583cdaa54741e69f19","datavalue":{"value":{"entity-type":"item","numeric-id":1383164,"id":"Q1383164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107337$5FF463CA-5EFC-4786-8F28-FE0BBA9CF4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b543b24a2524e76130d5c1525baa40aa9abdeef","datavalue":{"value":{"entity-type":"item","numeric-id":3675520,"id":"Q3675520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107337$96ECF626-E74D-4DE6-B9F5-5BB4C4503106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aff365d8186cc4c7ca2a8c01bb1842652c3c232d","datavalue":{"value":{"entity-type":"item","numeric-id":4273947,"id":"Q4273947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107337$B4563C35-A28F-45EC-A437-81C143D23551","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54e3cdefc1d006e7d2436d741ee7ac2f9d32d56a","datavalue":{"value":{"entity-type":"item","numeric-id":1853507,"id":"Q1853507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107337$169F8AE4-7878-40F0-8E29-4619E2BEB798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a830cafef1f2c438cb7e2286bda476de992419e","datavalue":{"value":{"entity-type":"item","numeric-id":1052097,"id":"Q1052097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107337$52145C05-FFB7-49B0-A10C-331A769100ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527bc19ca28994e4f1cbc67acf1065ec21b6602a","datavalue":{"value":{"entity-type":"item","numeric-id":1329166,"id":"Q1329166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3107337$A3C26E93-1CF1-4292-8A94-8F909967C5AD","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"42e6239735f840e46b2fab99f9592a55915db228","datavalue":{"value":"journals/mlq/BeyersdorffS11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3107337$A619C4D4-AA71-4763-86AC-36DA66480DB6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"970b59ece3cff9a43daa4c61507c432603d1ba95","datavalue":{"value":"10.1002/MALQ.201010021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3107337$AB51E39A-220B-4B7E-9EFE-E399773F5DA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c91a64b41129f5c6738ed93501749e52e07b84e","datavalue":{"value":{"entity-type":"item","numeric-id":3392941,"id":"Q3392941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42d4014d1f1fc1db5662cb6b4baa14df64c0e43a","datavalue":{"value":{"amount":"+0.9645230174064636","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":"Q3107337$BAE668C3-B727-4D28-AFB9-BE19B490A4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c71fab58efbcd167afe02e17b89f46d07c5dfec4","datavalue":{"value":{"entity-type":"item","numeric-id":4258579,"id":"Q4258579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fefdf4defaf2d9ba044761a227ce82646624ec4","datavalue":{"value":{"amount":"+0.9043397307395936","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":"Q3107337$60347B9D-3C8C-4322-AF7D-A14920115F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2562826fd12df13e4c81cc5fdc25503ab46fbed6","datavalue":{"value":{"entity-type":"item","numeric-id":1398371,"id":"Q1398371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb83859f4ca2e388722d43911aada309787b0697","datavalue":{"value":{"amount":"+0.8772662878036499","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":"Q3107337$7EB57B84-764B-469D-AAE0-AA271636EFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfe776d3fe927c40ec99f1c0a53436cc939d25ea","datavalue":{"value":{"entity-type":"item","numeric-id":4381398,"id":"Q4381398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb83859f4ca2e388722d43911aada309787b0697","datavalue":{"value":{"amount":"+0.8772662878036499","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":"Q3107337$870DFA77-EA9E-4B10-A9D2-5F543C9093F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23c5651a461496335ca71ca1c50042685b0e792a","datavalue":{"value":{"entity-type":"item","numeric-id":1109568,"id":"Q1109568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5f837d2778a97aecb1252b14b96ab17d78b5451","datavalue":{"value":{"amount":"+0.7921842932701111","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":"Q3107337$B6245E9E-DF68-4A37-B62A-2DDE6793D6D4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3107337","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3107337"}}}}}