{"entities":{"Q435190":{"pageid":436957,"ns":120,"title":"Item:Q435190","lastrevid":51507815,"modified":"2026-01-18T13:40:56Z","type":"item","id":"Q435190","labels":{"en":{"language":"en","value":"Propositional proofs and reductions between NP search problems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6054355"}},"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":"Q435190$168EE1A5-282B-4E43-AB14-F487A1808002","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0461334ce5f0e3cd416db9510fc6bacd2c7faf84","datavalue":{"value":{"text":"Propositional proofs and reductions between NP search problems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q435190$D3C3F574-C633-4F3D-B683-CE1703E2BEB6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"58b026670bfad3d8a6a1f85582f3b70de19b3f50","datavalue":{"value":"1252.03127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435190$69610ED4-88C0-4513-A2CE-9C24D7B8F118","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435190$D07A2152-5F4B-4041-BFBB-9828E85A069D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5c3d0d45435c78fb33bf7b28974cc885db22e7f","datavalue":{"value":{"entity-type":"item","numeric-id":435189,"id":"Q435189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435190$E1B6D732-E8AF-4238-BEBC-5D2A77D440A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435190$C64B66C0-71D0-4473-8C92-5D61BCAB808F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bd45fc3d52e63dd9b568441f08440ab7d091981","datavalue":{"value":{"time":"+2012-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q435190$FACD2C8E-14A9-47C9-A02E-B322EFB79F7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435190$33150BC7-66DC-4071-A1B6-FCC3A691FDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435190$9FC1FCCF-A504-47E7-9C6A-85D17FDBDA7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435190$5AFE419C-CB37-4F45-B8CE-B4EE3DAAE2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"379be2ae88ac653823960287ba517e23fc9265f4","datavalue":{"value":"03D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435190$D9B5E854-536E-4EFE-A32A-FF271E89DF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435190$96750634-7E11-4C3E-A5FF-898569FEDAC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435190$094CBFCD-B781-4252-A19B-47DED0AA8181","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ead593ce1cfe17911d91bde726c280111b3f0c25","datavalue":{"value":"6054355","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435190$1F78FD65-7777-459A-986A-2D9384BD4326","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ece2bdad6a4be7cfe5b845bf79a689249216a8f0","datavalue":{"value":"search problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q435190$AA241438-C6F6-42BD-9624-14B6F6E60BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"393ea5959b60028dd155de81a4c97d51567f82f7","datavalue":{"value":"Nullstellensatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q435190$5FF979E2-EE58-473F-8C82-B5090BD14BCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e4e310a1e4e60a3b4f0a115daa4e9e2adecfcae","datavalue":{"value":"propositional proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q435190$D84310E2-C163-46A5-955A-579FD6FDC11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ca57d225358d55c161d2fd9284b1f4649a91fc4","datavalue":{"value":"polynomial-time reducibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q435190$70F59643-9509-456E-AB0D-3D58F5F4884A","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":"Q435190$87BBA015-7F45-4BD4-9895-0ED87154AB6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"29d6072208fb257e7c4908da7f46d9c3d9f16fc8","datavalue":{"value":"https://doi.org/10.1016/j.apal.2012.01.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q435190$B14566C4-8C35-4FFA-B70A-BB85C57E126F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"258b01363f131a982d73fadf4141bcbe0bc8c063","datavalue":{"value":"W2065828765","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435190$689C5ABE-9DDD-47B5-91CB-B62EF8082E96","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0206d3a695d8d8e1728212c926a47f4d0e22e7","datavalue":{"value":{"entity-type":"item","numeric-id":1273858,"id":"Q1273858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435190$C6BDB23A-7899-43B3-A2BD-5527A883D3E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbe1958fb29532b90e09c713c0b31c18a6b57a9","datavalue":{"value":{"entity-type":"item","numeric-id":4892411,"id":"Q4892411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435190$5DD04EE5-1E07-4EAC-A4CF-F8F947177A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"224d4c80b882c8c65110953af69580a23e45bdd8","datavalue":{"value":{"entity-type":"item","numeric-id":1923563,"id":"Q1923563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435190$78BE70C3-7DB0-45CF-87FE-D41690566C16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f01732731536b36940b0dbc6ef7319292ce0504","datavalue":{"value":{"entity-type":"item","numeric-id":2566064,"id":"Q2566064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435190$34EC4AD1-DDFB-4392-847E-B91780705519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad5b93b44bbd864eabe5b4b4369f76aea0b236f2","datavalue":{"value":{"entity-type":"item","numeric-id":719283,"id":"Q719283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435190$9CF1E236-54D8-4638-84A8-FF3484E5B8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a22c61ff46032f453cfb06239aff4f9e4d83e0f","datavalue":{"value":{"entity-type":"item","numeric-id":4375786,"id":"Q4375786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435190$9785BBB5-5E83-4744-9B05-877AA52B47C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36fa561ac7459cf3efc368cd16b5bfdab0b68ce1","datavalue":{"value":{"entity-type":"item","numeric-id":1377580,"id":"Q1377580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435190$322E52C6-F469-4A4E-A93B-BBC6838EB91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5f5fbbc92e48b0fa7019594a4c948774bfa54ea","datavalue":{"value":{"entity-type":"item","numeric-id":4308607,"id":"Q4308607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435190$91AACEB9-C803-4FBB-8C23-200BD0A4585E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fc668831a6565a498110f2aeac4eebcb5e83ad5","datavalue":{"value":{"entity-type":"item","numeric-id":4228469,"id":"Q4228469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435190$7506868E-AFA8-41C6-AFCA-6E79450A5412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db66cb74e234d57664f20d6c0250aa6f9f7d446b","datavalue":{"value":{"entity-type":"item","numeric-id":1369098,"id":"Q1369098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435190$CF105079-475B-4BA6-BD67-1DD712D94FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3afdee806199444072e3f972bb2fc9312ffe1281","datavalue":{"value":{"entity-type":"item","numeric-id":2931371,"id":"Q2931371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435190$75624944-6585-473C-A2A9-6317FA864A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44e8d6db2339d59c152679e6fd1d236f363d1832","datavalue":{"value":{"entity-type":"item","numeric-id":3159414,"id":"Q3159414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435190$C6767E96-6EE8-48DA-9D28-5A56FCDF8467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"302adbaf2b8357f20069be2a0dab5e3eb2168585","datavalue":{"value":{"entity-type":"item","numeric-id":1109573,"id":"Q1109573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435190$84ECB7DF-1AAD-4E18-BD1D-D9A3EC4AED63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fa34ae3e34f6a863a9f8db67c2bfb8bb6401943","datavalue":{"value":{"entity-type":"item","numeric-id":4856172,"id":"Q4856172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435190$9DEF7DD7-A681-40D6-AD46-CFE817121E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba6fd229e4e2bb54aca43f407945c6513ae824bd","datavalue":{"value":{"entity-type":"item","numeric-id":808245,"id":"Q808245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435190$3E39492E-EEE2-4291-85EB-6CE1C5501C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a35ee073efb257c2ff6944a7cc91fcd0fe8bb82","datavalue":{"value":{"entity-type":"item","numeric-id":1329155,"id":"Q1329155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q435190$8F95B055-8901-43DF-ACA7-24EEF86A6FEC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f24f7966492560463c2ab4918ae3b1d9d78842a","datavalue":{"value":"10.1016/J.APAL.2012.01.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q435190$2091DE49-8A6A-4273-898E-0ABC135707D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73958e283742e376a841f4bf24c4d7073fd8d0e4","datavalue":{"value":{"entity-type":"item","numeric-id":3434537,"id":"Q3434537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"956dca6e8b998cd24e044097d9ce9c51b2576dd3","datavalue":{"value":{"amount":"+0.8417106866836548","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":"Q435190$D4D3C68A-2EB6-41C9-B821-89A35C57BA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2af5ca757c25c8db274e3ccec3fdcbe2899f8c4a","datavalue":{"value":{"entity-type":"item","numeric-id":1745728,"id":"Q1745728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27be87057a33c88d3a36ec6f9c6f9182dd4d6872","datavalue":{"value":{"amount":"+0.7948459386825562","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":"Q435190$38307E00-F3E7-4162-A94F-CC4095FEA058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"545a51bd3daeac44426518bd3bcfb62e5d4734f8","datavalue":{"value":{"entity-type":"item","numeric-id":4638115,"id":"Q4638115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e5dd17dcb4b2dd237f4852cb3f60de6cccb65a5","datavalue":{"value":{"amount":"+0.7764606475830078","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":"Q435190$D1B1D7D0-86D9-4727-B431-EA4C8DECFEB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed6713e7caf7e03b42d054a58d7ddf8fe4c07fae","datavalue":{"value":{"entity-type":"item","numeric-id":5278209,"id":"Q5278209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1629d9a2dc47a3f716153509b58d5535056cd83a","datavalue":{"value":{"amount":"+0.7760183811187744","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":"Q435190$70AC781D-C235-42AF-80E3-DC9F32230671","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fcbb3399cb60d0ec1eb6652df66844c4f06f12ed","datavalue":{"value":{"entity-type":"item","numeric-id":1329155,"id":"Q1329155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8541dc7918c2452a1e48d36aa22e61f3cc2c14fb","datavalue":{"value":{"amount":"+0.7732396125793457","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":"Q435190$3097C7DF-10B5-485F-8B3B-B3209054766D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:435190","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:435190"}}}}}