{"entities":{"Q6160797":{"pageid":13295678,"ns":120,"title":"Item:Q6160797","lastrevid":47856427,"modified":"2026-01-02T21:43:26Z","type":"item","id":"Q6160797","labels":{"en":{"language":"en","value":"Properties of SAT formulas characterizing convex sets with given projections"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691378"}},"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":"Q6160797$200A872E-92EF-4469-A7B5-FF93642F7EBC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a2cd6a7124deaba7b2e46ba7d655d611167c376","datavalue":{"value":{"text":"Properties of SAT formulas characterizing convex sets with given projections","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6160797$A7FF9935-33E4-45DD-B9B4-34ECC0855D52","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e6805e99fdc01103c2344b3cbef5d8f083d6db78","datavalue":{"value":"1522.68642","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160797$4E91F528-F05F-413E-B673-C1AA0F800496","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b735c6bb3289df8b67d5c361e5bf11a211747e3","datavalue":{"value":"10.1007/978-3-031-19897-7_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160797$E7B6FB4B-A277-4055-9CEB-6350FD7CC1E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef329b33df0eb7c5919bdac0c1fb39b70f94db9f","datavalue":{"value":{"entity-type":"item","numeric-id":2115864,"id":"Q2115864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160797$E2984303-3B89-4A7E-985F-D542B93BD92E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0be43ecaa3781ef46075a6e52ef3666034a1da97","datavalue":{"value":{"entity-type":"item","numeric-id":265053,"id":"Q265053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160797$CA244845-0C21-42B2-8934-793EB5333B0F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160797$467C2644-305A-4219-A119-54AF9945D84B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6160797$DE398587-C54D-4D93-B2BA-531333FC8B85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"159426a5937e62cfbbcc198dd4848ab52d6e715e","datavalue":{"value":"68U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160797$434C3A70-D2F9-42A8-BE1F-C25D32CFAEEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44858eee6702c5fd32430c310ff496cbf7eec374","datavalue":{"value":"05B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160797$FE775354-9AA1-4B8F-B6B0-894176DB2E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160797$767B8BDF-3ECE-48CD-A185-DAB7192C8438","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7083a5d146d78edf9fc7469a5d9b0c104122f1b7","datavalue":{"value":"68R07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160797$710578B2-A69F-4D02-93B0-15293324AAF6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad7cde4fe473f2fc356d9b6985641241937e42ae","datavalue":{"value":"7691378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160797$8E964641-3C3E-40C0-9410-4074B726EDAF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"282d44bb5d6ec3c6a7df0add723c7885edb872be","datavalue":{"value":"discrete tomography","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160797$95F57361-1071-41DE-8DF4-6BD6CE047366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20cb5f900346d6218be2e7d1c87b3ca77a3b494d","datavalue":{"value":"reconstruction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160797$33F6F2A4-11CE-4BDF-8896-3E9ED1703487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10767f130622d413b4f576874a6f7ab3196dd77d","datavalue":{"value":"SAT formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160797$166269B3-4C13-4A58-B78E-BBD21A7FB052","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":"Q6160797$334EA2B8-7AFE-4E26-8702-E2E8C04DCB29","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"989267fc808eaa0365242e08fc8fb31cfbd98559","datavalue":{"value":"https://doi.org/10.1007/978-3-031-19897-7_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q6160797$27724C0A-30AC-48B0-A56C-47E7121FA661","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c5f904e8dcac60a481f9393ff24294d91740a02d","datavalue":{"value":"W4313140639","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160797$CFAF3DCE-B58E-48D7-865B-0B080A33BD95","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f78d9923a8926d7aa0c805c12862c4a15c5371","datavalue":{"value":{"entity-type":"item","numeric-id":672143,"id":"Q672143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160797$14AC3BC5-2E44-45C0-AA59-847B678339B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"514ac01f8e2e41dab833a592cae96325ab6c6c46","datavalue":{"value":{"entity-type":"item","numeric-id":3549476,"id":"Q3549476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160797$C16EF388-CBE0-4741-B75C-274DC8A36416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae10ac0ca61bed935bc8827bf68304b384c2c868","datavalue":{"value":{"entity-type":"item","numeric-id":1311042,"id":"Q1311042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160797$ED2EB119-7C05-4D97-B219-692F2ED6DB83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b3ca77b013c2ab4d6fbc2cc645e6d0dce957bb9","datavalue":{"value":{"entity-type":"item","numeric-id":834259,"id":"Q834259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160797$11BC5999-B47F-4DEE-9119-6731C078BD36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab53bf784664d32e6d90fd7587c769852ca6594","datavalue":{"value":{"entity-type":"item","numeric-id":1924359,"id":"Q1924359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160797$39E2EF46-3379-4BAA-9090-A226D7BA174E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51ab6a4f282547ac557babf7297e071a31ae587d","datavalue":{"value":{"entity-type":"item","numeric-id":2061811,"id":"Q2061811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160797$A9A372D9-C38B-482C-85E5-C84E26B1C817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"476590cebb370cd03a24bae5418392fd559366cd","datavalue":{"value":{"entity-type":"item","numeric-id":2678923,"id":"Q2678923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160797$FD45A32D-865E-4D4B-BCCE-96912598FB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65f4d9f2e631923c240e86297fa6334f9a04957d","datavalue":{"value":{"entity-type":"item","numeric-id":2084620,"id":"Q2084620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160797$68FA245E-1480-41E8-928E-F82B7A47D9FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dffe477a96abf57cbd7043fd44fe8a65d0be7d4c","datavalue":{"value":{"entity-type":"item","numeric-id":2422035,"id":"Q2422035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160797$9694DB21-F557-483E-BFED-43F9F49EEAA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c920a9c8da182d4b10d0fca6b777e1b073bec","datavalue":{"value":{"entity-type":"item","numeric-id":2422036,"id":"Q2422036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160797$02B363B9-9628-4248-8703-701CC393BE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3d566ea7fa038cdf1f696f11df949d5d315359","datavalue":{"value":{"entity-type":"item","numeric-id":1580609,"id":"Q1580609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160797$E81A63B4-8629-4E9B-BB92-4E65315CB9B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e4c9e6b7b010dcbc571014bd25506b13099eca","datavalue":{"value":{"entity-type":"item","numeric-id":5310246,"id":"Q5310246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160797$982ACE04-2B42-4988-A147-569E95383366","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"641a6fff46591b00af2356b4a24d358bc4d6e66e","datavalue":{"value":{"entity-type":"item","numeric-id":3187023,"id":"Q3187023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160797$9C29C19F-5D66-46BD-B9F4-DEF41FA3F39B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d840656a2ea076eca76fc425410029aaa6c71019","datavalue":{"value":{"entity-type":"item","numeric-id":2422035,"id":"Q2422035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89d53efe14f0e0296e04dee715f15734f2e960fa","datavalue":{"value":{"amount":"+0.8201143145561218","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":"Q6160797$029B56CF-2D90-4C87-9B0E-626CDB026F90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa64c279822e747f71473979a1e64bdd54657f1b","datavalue":{"value":{"entity-type":"item","numeric-id":1401184,"id":"Q1401184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cbe5a4ba113837a39bdcbf2c16e374fbdded990","datavalue":{"value":{"amount":"+0.8154906034469604","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":"Q6160797$474CE0FC-4997-48C1-9247-EE71EDBC4F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a9aa2a4dec8914e3667bb8955c43ae6b23992f3","datavalue":{"value":{"entity-type":"item","numeric-id":672143,"id":"Q672143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fda616e2e0edb3fa7e4eb9c023de464014ef7dcb","datavalue":{"value":{"amount":"+0.7974621057510376","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":"Q6160797$16D19C6B-F206-4C78-AAB0-606C51AD4E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b7736afbfabc3da4da8329d0c4d8fb8f63bffe","datavalue":{"value":{"entity-type":"item","numeric-id":3651621,"id":"Q3651621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eccd91e626c32fcd64133d87b90831a5b2c042da","datavalue":{"value":{"amount":"+0.7878749966621399","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":"Q6160797$30D6B9C7-8CF5-466B-8B72-69E095347C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4a450e18b21a4c35e70682fde5c142181d160b8","datavalue":{"value":{"entity-type":"item","numeric-id":2581356,"id":"Q2581356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"caa96188ab018559ca2aad4a0ae4dfa3d5b875eb","datavalue":{"value":{"amount":"+0.7852222919464111","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":"Q6160797$62760489-AD94-4CC0-94E7-69AD8E3FE608","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6160797","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6160797"}}}}}