{"entities":{"Q5090404":{"pageid":7119980,"ns":120,"title":"Item:Q5090404","lastrevid":94268642,"modified":"2026-06-05T06:23:18Z","type":"item","id":"Q5090404","labels":{"en":{"language":"en","value":"Every Set in P Is Strongly Testable Under a Suitable Encoding"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7559073"}},"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":"Q5090404$52EE41F9-C629-4D40-B9BF-0A1542C5BC45","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d53c68acdd7f1baf096686dc4cd140fb6dc911d0","datavalue":{"value":{"entity-type":"item","numeric-id":645128,"id":"Q645128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090404$E152D7BC-8372-473B-A95A-49E1716F361D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cecf1ef8f97c75d3f636331253c64cfc37610336","datavalue":{"value":{"entity-type":"item","numeric-id":178474,"id":"Q178474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090404$6C4A14AA-6138-4950-BAA3-0730377352F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f692be87a3d1e7ea97a1ac74932c32ad1c9ba1a","datavalue":{"value":{"entity-type":"item","numeric-id":1630384,"id":"Q1630384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090404$18F49BDB-3506-4389-9477-3CC7E3212E9F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6793430fc5b4ace9180691774574e339423361ba","datavalue":{"value":{"time":"+2022-07-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5090404$57B0C416-6CE7-4DB3-8DE6-78114579F8E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090404$8B2A12A8-0220-4C31-9FCA-BBC03EEC01A7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b314a197e5d44727b1498ae7c83de12d287ff0e4","datavalue":{"value":"7559073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090404$EAF0E43B-6E80-4421-9C15-F0BF64008FCE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"198526b3e16365d088b0d8e8cb1a48a9c3937632","datavalue":{"value":"probabilistically checkable proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090404$7E91A2F8-3DCA-4AA4-A7A3-D6A7DADD615C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"74b1607241b13bd5f40b3641b7789c877213db7b","datavalue":{"value":"property testing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5090404$772A09A4-4362-453A-96D7-8258466C839D","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":"Q5090404$2B52D56F-FA0B-41E7-86BA-D87CE6258D00","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b7de5d55578203c3562c63a97941b0aa4ccf15e","datavalue":{"value":{"entity-type":"item","numeric-id":5932749,"id":"Q5932749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090404$54A36E96-51E5-4BD4-8724-9E44C244F0ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54bf83bb3d90a7a1101653d8e1e5a8018b8d0b1a","datavalue":{"value":{"entity-type":"item","numeric-id":2931390,"id":"Q2931390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090404$1ED234DA-CDE8-452D-92E6-55315201D4A3","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":"Q5090404$D48DCF83-E241-4517-A5C0-C409C474ABBA","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":"Q5090404$27BFD601-33FD-4273-8D7B-454D13B76A20","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":"Q5090404$D796CC0E-BCCE-44E1-8FD9-2B7DEF273B53","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":"Q5090404$5D412ED4-68C1-4E2E-9EA5-AF0740B85833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6609aec37d3d301d34b253dc3f2a45a96b88e1d8","datavalue":{"value":{"entity-type":"item","numeric-id":1317490,"id":"Q1317490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090404$3951D7AB-C286-40EB-8B78-94FE7D854AB2","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":"Q5090404$67B6E687-05F4-4B88-99F7-B9415E42C634","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":"Q5090404$D27CE5AD-D62C-4A42-B47A-06713DFC3FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab82d24e9f394c47894e1a6b1f2fb879509b5e92","datavalue":{"value":{"entity-type":"item","numeric-id":5371343,"id":"Q5371343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090404$DDC02A84-FBD8-4544-A298-2CF54AA3E506","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc39092484c42c2661962bc3a074cbc74d5b534e","datavalue":{"value":{"entity-type":"item","numeric-id":3158518,"id":"Q3158518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090404$B2ECB7B5-F0C2-4437-B959-ECFEC96BD7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8812d6b88a7b51960869627a9735662cccbea969","datavalue":{"value":{"entity-type":"item","numeric-id":4601820,"id":"Q4601820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090404$4A7236A0-E41E-43A3-8693-0761A562DDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741f772477c2059f2ee4b208462d2aad8bab82b3","datavalue":{"value":{"entity-type":"item","numeric-id":430844,"id":"Q430844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090404$6591DC67-3A5C-479F-BDDF-B4F254E47F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbb494264a4d36acd2a99d69e8ce65d01744c1a0","datavalue":{"value":{"entity-type":"item","numeric-id":5957578,"id":"Q5957578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090404$91209EDF-7FA8-4656-9F9F-AF98721A4124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dea093d3839ed665056eeaeee9a324725f39bcb","datavalue":{"value":{"entity-type":"item","numeric-id":3020015,"id":"Q3020015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090404$02C6D4E1-D0F4-41F3-9E52-CCAD46F203D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c03105bb965797c71cb00ead189074b7e8f780db","datavalue":{"value":{"entity-type":"item","numeric-id":2795747,"id":"Q2795747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090404$6980767A-89F8-425F-81AA-87E33C1B0343","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":"Q5090404$D86B8210-5273-4EF9-8944-8DEB52A68A00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23074b990506c9885c191edda09885ca06b29a2a","datavalue":{"value":{"entity-type":"item","numeric-id":5857610,"id":"Q5857610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090404$F5827977-8728-479B-86E3-B5F279E5969E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3da088aa1b5ffe9ce6ae814c0133fb5c34bcd325","datavalue":{"value":{"entity-type":"item","numeric-id":1745962,"id":"Q1745962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5090404$32A17D72-C5FD-4BC7-8C02-B804E11556E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6c297a4ea10ecb0badf001e361fe21ee0fc393b","datavalue":{"value":"https://drops.dagstuhl.de/opus/volltexte/2018/10123/pdf/LIPIcs-ITCS-2019-30.pdf/","type":"string"},"datatype":"url"},"type":"statement","id":"Q5090404$8FD9B6ED-B2D8-4820-9C3F-D8638F0415A2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82df94f7447365fc86db66f74fb286bb553bc8c3","datavalue":{"value":"W2912558601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090404$8349E7AF-E771-413F-8EF5-D684565E990B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b82cee10ecaad132867e5da2ba62cc200b5fa19d","datavalue":{"value":{"text":"Every Set in P Is Strongly Testable Under a Suitable Encoding","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5090404$0FF30837-5C69-4F3F-8A80-D73119453631","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15e51990dcfded3c7b7e4f43b239f80104edaa4a","datavalue":{"value":"10.4230/LIPICS.ITCS.2019.30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5090404$F5BEFFD0-092D-4D99-AABC-417076ADF756","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8af035880564dafafb9c1bc911264b02c0a5fe5","datavalue":{"value":{"entity-type":"item","numeric-id":3096563,"id":"Q3096563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be26745019625f95dfbf75cf200589ede5ed1e2a","datavalue":{"value":{"amount":"+0.7184394598007202","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":"Q5090404$632AB67E-F2A3-40E6-8B11-1B18A565F667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdc224d40272289295a1ec3849e94db632c17e11","datavalue":{"value":{"entity-type":"item","numeric-id":2029773,"id":"Q2029773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7926567bf016abfaec8a831d085ef59bb6afedb6","datavalue":{"value":{"amount":"+0.7171200513839722","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":"Q5090404$73395F75-B4F9-4392-B51C-BDB5A6191FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b598597096db22a5ca3de44aaaf1dd3a080239a6","datavalue":{"value":{"entity-type":"item","numeric-id":5205813,"id":"Q5205813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fa1a83e5a932d7be59660e51fd3d96f7ac60567","datavalue":{"value":{"amount":"+0.7169250845909119","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":"Q5090404$EED12827-8360-4FC5-818C-EDCD11AE3DF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4767a259e2a3838eb19695285fb9bbcf1612fdc","datavalue":{"value":{"entity-type":"item","numeric-id":3546312,"id":"Q3546312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a97cb0768a094db64cd6fa2273c551b60ec3cf0","datavalue":{"value":{"amount":"+0.7156772613525391","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":"Q5090404$02CE5177-43E9-44D8-BADF-32504D839197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee99de9d53f754ff7077b270b341fbdb2c279e9","datavalue":{"value":{"entity-type":"item","numeric-id":3978780,"id":"Q3978780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b40f1ca69f604b4f50d00c45f224e8b10281937b","datavalue":{"value":{"amount":"+0.7128326296806335","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":"Q5090404$5FC167AC-7396-4AAC-8A11-3B2918E535A2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Every Set in P Is Strongly Testable Under a Suitable Encoding","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Every_Set_in_P_Is_Strongly_Testable_Under_a_Suitable_Encoding"}}}}}