{"entities":{"Q3600478":{"pageid":5630384,"ns":120,"title":"Item:Q3600478","lastrevid":50566901,"modified":"2026-01-14T10:19:35Z","type":"item","id":"Q3600478","labels":{"en":{"language":"en","value":"SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5505791"}},"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":"Q3600478$EF098D5A-3976-41AF-9709-48EFA6BD77ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"358c74343a504d8e36d8517f0e0a825e4bd39068","datavalue":{"value":{"text":"SubPolyhedra: A (More) Scalable Approach to Infer Linear Inequalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3600478$5B13D9AD-C8E5-4843-ACB9-875267874E7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f85b5076ba8248bad16e7ce42892b0455aec1469","datavalue":{"value":"1206.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600478$9598A2D4-CCC7-4848-B24A-B1A53A4AF1FB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04792997e4608d50a39a3eabad14be34f79b5f42","datavalue":{"value":"10.1007/978-3-540-93900-9_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600478$A64D7F76-D510-4B14-8545-CE94FD9E5744","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"faf68f2a3174700868fdad5452517f8af0d87858","datavalue":{"value":{"entity-type":"item","numeric-id":3558237,"id":"Q3558237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600478$78E9687E-73C1-41AB-AD6B-E0B58BD1032F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e49a0ecb14865a5b433d1cf738812e937a4ed0ef","datavalue":{"value":{"entity-type":"item","numeric-id":988563,"id":"Q988563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600478$909A8548-B82E-4C4C-A843-29F407D873BF","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":"Q3600478$3E421495-D987-4375-963C-A9D815204D5F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"862f3ea8dd1696c9694e62e0070fb4814c61ef07","datavalue":{"value":{"time":"+2009-02-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3600478$6DC7754F-E24A-4EE3-A08B-CFEE5C6173AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600478$B68131F7-61BA-468B-8D51-BB335A31C1BF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"604255f7eb02abeb0b40f513bb0a0409771d3d6c","datavalue":{"value":"5505791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600478$796E9586-84CF-4280-862C-C0210988721E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3cd8007490a248a080808f77e0123c492d98333d","datavalue":{"value":{"entity-type":"item","numeric-id":17497,"id":"Q17497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600478$A4D756CC-77B4-46E9-86AC-1F0BCE6ECF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"186b5b3d722a89e38fc553043bf5da3991c467eb","datavalue":{"value":{"entity-type":"item","numeric-id":17100,"id":"Q17100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600478$4577ECFF-54CC-431F-870C-1E7441ECA7B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600478$A77570F5-CCE2-4A4E-8D01-3F06F8A8A0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cb5085a0e3d3bb720346dd836bd54d5d9d9a7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":20658,"id":"Q20658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3600478$76883E34-59ED-4725-B1C8-3FE829794C1D","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":"Q3600478$4C2CE417-6F6E-4705-93F6-666DF7CAFF60","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"af155e98ad94e647dfd2373ba7503cf30ab016ac","datavalue":{"value":"https://doi.org/10.1007/978-3-540-93900-9_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q3600478$A517C6E1-6C0E-41DF-BEF5-99CD549D1326","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"994d5ea0fa8be4a831c245aeda390e39780f9a53","datavalue":{"value":"W1525502778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3600478$92DE9B35-9DFC-4997-B446-D70CEDD9C5D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db362c8bacc49ba3dbfa2573620311295324663c","datavalue":{"value":{"entity-type":"item","numeric-id":5370845,"id":"Q5370845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f8e57a3260861125276f25a3f842a1831108196","datavalue":{"value":{"amount":"+0.7875471711158752","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":"Q3600478$E3C74585-E2F3-40BB-9F89-29C529185960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f81fe236d1a71531a64b1214931681f0a73866e","datavalue":{"value":{"entity-type":"item","numeric-id":3392932,"id":"Q3392932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46e517e9f94d8f4881d3dc801a15ff4769feb1b6","datavalue":{"value":{"amount":"+0.7747718095779419","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":"Q3600478$1F40FED6-C3B5-4BD4-8379-6022A401EB28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86c8f557dbcd8c7f062bbfb2990113d86cda1971","datavalue":{"value":{"entity-type":"item","numeric-id":5711496,"id":"Q5711496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bcd5b17f206faa7904b5987aa4d803ea253389d","datavalue":{"value":{"amount":"+0.759628176689148","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":"Q3600478$C6F80E68-5C88-45A5-B4F3-734AC6E8B05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c91a954f0f450e2c04c70c3b83c14fac3f8deb","datavalue":{"value":{"entity-type":"item","numeric-id":5756501,"id":"Q5756501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb5f855b4fe3d1acc3b14fb91807e8894670fee6","datavalue":{"value":{"amount":"+0.7451027631759644","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":"Q3600478$F21A963D-518A-4847-8EC2-DFA0E54D8F6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d004a7d53ed46a10d48097ec12112def85fa5107","datavalue":{"value":{"entity-type":"item","numeric-id":5898613,"id":"Q5898613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46127c633450716494b5e01652945a0d93de352e","datavalue":{"value":{"amount":"+0.7418040633201599","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":"Q3600478$2BD381D7-81DA-4E59-B9CF-8BC6A3FA75C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3600478","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3600478"}}}}}