{"entities":{"Q5230374":{"pageid":7259942,"ns":120,"title":"Item:Q5230374","lastrevid":53508266,"modified":"2026-01-25T02:28:18Z","type":"item","id":"Q5230374","labels":{"en":{"language":"en","value":"Lifting Nullstellensatz to monotone span programs over any field"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7097079"}},"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":"Q5230374$1D1E9928-1C7A-4E11-8955-9BDEFFC48B4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdee94b8835696767d41cd1a12aa6cf367d3e4dd","datavalue":{"value":{"text":"Lifting Nullstellensatz to monotone span programs over any field","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5230374$D53018D1-CC93-460F-AB01-999ADCB878FB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e2d2e6ef3a2fb9947f9700fd92c10ff84cf8ef2b","datavalue":{"value":"1428.68152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5230374$99AC0ADF-BDBF-40F3-8833-2514AFE70F50","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"146437b411ca420428302a1bebe5fdf66023c6a8","datavalue":{"value":"10.1145/3188745.3188914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5230374$E031DD5C-1443-4386-95B1-791FA95ACBFA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38b40ed6cb099fba5da493703b11839c0af89042","datavalue":{"value":{"entity-type":"item","numeric-id":202089,"id":"Q202089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5230374$2B824537-DC66-4EFF-9FD1-E58A8E5C36FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7749ea419a7c3b783242f22f32dec4d05237622f","datavalue":{"value":{"entity-type":"item","numeric-id":2040599,"id":"Q2040599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5230374$8709402E-5935-4EED-9DB9-D50E0B80F76F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1105f48e8bbfd733392f29532baa204749fd789d","datavalue":{"value":{"entity-type":"item","numeric-id":5230271,"id":"Q5230271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5230374$D74597BF-0DD9-4926-8F07-9B7956790B94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e2137b88b3b13f5dc18a801021013ed4e793327","datavalue":{"value":{"time":"+2019-08-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5230374$094F7DBB-C44E-43AB-A775-BF47AB045831","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c11e1636e28bd1a59d5342c1523bca4bf56a601","datavalue":{"value":"68Q06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5230374$F9EA9618-D6F0-4B25-83A6-E560359497DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"07801bf6a524d213a650067890e66f3c9721abe4","datavalue":{"value":"12-08","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5230374$34AA51F0-BC7B-4CEE-80ED-1E5A0B43FD19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5230374$C6E9628C-21E8-4527-9685-C31A0F313143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71b42e4e887bf125b7436fe1334aef39047fb5c","datavalue":{"value":"94A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5230374$D9C2457C-2C0F-4776-8066-FE68A9CAF7B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a2040f44ec28c389de11f2b3cad0cc9a3e8a436b","datavalue":{"value":"7097079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5230374$C6699A5D-F1E5-45C0-B3EE-88BEBA08EF17","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f0cb341ca7876bc8468eee4ea8e9008984980e7","datavalue":{"value":"circuit complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5230374$5485D4C9-5698-4324-A456-472494996070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf8598d66d118bd9979f16daf489e772ff2d5334","datavalue":{"value":"comparator circuits","type":"string"},"datatype":"string"},"type":"statement","id":"Q5230374$C22425EC-A1EA-45D1-A8F3-6C82B17846C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c0cdffcd9c842c144dc6db0a48ddd15d745c954","datavalue":{"value":"formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q5230374$3B52036B-993A-4EE9-A894-C10FA5283AA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d86e2cb8623451eacf2b8c06165c1bd90beed6b1","datavalue":{"value":"monotone complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5230374$32538E5D-39E3-423F-8ADB-9E77AC5766E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd4d687cede8315021d51a988c833c5e2c216308","datavalue":{"value":"rank method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5230374$7AB682F3-805B-4110-9C24-4420FC3AC66E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0557d552fd0b504894dac18da34f597b8fece7d2","datavalue":{"value":"span programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5230374$FDF6A03E-714D-4AE0-921B-808C82AF2D30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f1f9c310d22d29ce1bd78a60396a1a02b8b9a60","datavalue":{"value":"switching networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5230374$34731754-A625-4152-B701-8F1465D9479A","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":"Q5230374$7EB96114-E21B-46A0-871A-6F4E37D4E2D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5a10bedc67fcef8e0531cc19433cd590720d81c1","datavalue":{"value":"https://doi.org/10.1145/3188745.3188914","type":"string"},"datatype":"url"},"type":"statement","id":"Q5230374$58C6AB0B-25B5-495F-AB76-4B1B2D746DBD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3d54b5c143c78743940e5ab366d7678e24d7259f","datavalue":{"value":"W2809402609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5230374$DDDA5A52-A504-48B7-8E1A-EC30F0C61232","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f38d7fad026b6451616bf3a4759e564a558eb6a","datavalue":{"value":{"entity-type":"item","numeric-id":5317192,"id":"Q5317192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82b83186d9af0ba4ed3a447fe4ebc435d2920dd5","datavalue":{"value":{"amount":"+0.8944604396820068","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":"Q5230374$C2D128A6-EAAF-4803-9455-B56BF12A18C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ba1d97681d00c074fdf4c304d05eebf8870a41","datavalue":{"value":{"entity-type":"item","numeric-id":4542561,"id":"Q4542561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f8cf41a8e45877dd93a1088a016b18d2c2ccf8d","datavalue":{"value":{"amount":"+0.8615056276321411","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":"Q5230374$ADE07F76-208B-47BD-8062-00A765B9EA25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc02c8ba741ea2362ada024b90354aa33f5078e4","datavalue":{"value":{"entity-type":"item","numeric-id":2885641,"id":"Q2885641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cb6a945d06f6ad376af8c790dd98c5d88403fed","datavalue":{"value":{"amount":"+0.8615054488182068","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":"Q5230374$4DB76DB6-9B9F-46A2-AC21-A1548E805AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f83f581432b57072142a2b10a16a91cec6bc7328","datavalue":{"value":{"entity-type":"item","numeric-id":1977413,"id":"Q1977413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8f3e39489274329cc64e5d0be8f4b115485a1a7","datavalue":{"value":{"amount":"+0.8602913618087769","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":"Q5230374$7FD1E365-7D31-4443-8A85-3FC5FFDA019B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"536f136ee76183bbf799e3b06b12c44a2dd52b20","datavalue":{"value":{"entity-type":"item","numeric-id":1405737,"id":"Q1405737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a3b071f98a113d3909ab88b0337ec0eb5e65365","datavalue":{"value":{"amount":"+0.8581669330596924","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":"Q5230374$996E5696-001E-4E7A-8BAC-30D4492540EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5230374","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5230374"}}}}}