{"entities":{"Q1908818":{"pageid":1919560,"ns":120,"title":"Item:Q1908818","lastrevid":69431862,"modified":"2026-04-13T06:57:47Z","type":"item","id":"Q1908818","labels":{"en":{"language":"en","value":"Cutting planes, connectivity, and threshold logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 851909"}},"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":"Q1908818$5FDB8F84-56B0-4FFF-9CDD-AE5416D382FA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e335895b371c75bcf8bc95d5bdae8d68478543e3","datavalue":{"value":{"text":"Cutting planes, connectivity, and threshold logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1908818$09A88557-1531-4119-911A-EED272B1D5DE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"44d5368edff66e97d9c3ea026b38e6f73135f2e5","datavalue":{"value":"0841.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908818$49F1A97B-7909-4AD0-891D-F31557846B37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f7ca4de191e3272ace8a3a6eb5beb3decf68670","datavalue":{"value":"10.1007/BF01845704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908818$725A2BC8-C0FB-43A5-8463-CF4528CAABDF","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":"Q1908818$2DFF3386-365C-4520-BE12-C813CADE72E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"156c797a905a5f3fee298ee2b9f132ba806e98a8","datavalue":{"value":{"entity-type":"item","numeric-id":455764,"id":"Q455764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908818$4A3F369F-9759-4695-A087-E2A4811061EA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908818$0AA5810C-69FD-48EF-9D2D-F4EF0F9EEA98","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"16e7f627e6e9c247fb919d03f47eda62eaa793e8","datavalue":{"value":{"time":"+1996-07-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1908818$8471A631-875C-434E-9E9B-B50872C919AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908818$5D89D894-E0B8-41F9-A44D-F701675DDDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908818$36B5F71F-6A7C-4430-B96C-1BE492DF18C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908818$0B500912-A441-4BFF-8866-DDB3F229F7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908818$5FA29807-29E9-447C-8A03-1830B76F3862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908818$E2DF8CDF-E524-470F-B476-DE34D21B1298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1e903e68a16880f66ed79a0863889f1b2d3c837c","datavalue":{"value":"94C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908818$61CA0A8C-78A4-46FA-B824-692C4BBC4B8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b1e4f15e89c48ce0c67c02c2a01d1066ed338e1c","datavalue":{"value":"851909","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908818$03F168DA-157C-4190-8C1B-CE2670CB1A58","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9981e2d821786f23a40d5170967ab3f48f026ccc","datavalue":{"value":"cutting plane refutation system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908818$237BD2C7-E53F-4A3C-9FCC-49427AD50E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e85295ee326b9766bbd004e6f5555fe26c030625","datavalue":{"value":"extension of resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908818$878B30DC-E54E-40B1-8410-9BF7FD1DE6B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"635fee4cdfb957f37888e89e81cd6b954a5dcf21","datavalue":{"value":"undirected \\(s\\)-\\(t\\) connectivity principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908818$1B9DDAD6-B067-4531-A647-4EADED9C92A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9d8bc31c314d5d0bc758d21c21c5ec1118a6bc6","datavalue":{"value":"normal form theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908818$D6EA6FAF-3330-485B-B864-FF81F5816B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f7e939acf4ed91cdd39f1bd56576107c47fb06","datavalue":{"value":"Frege systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908818$054A6CBD-6326-453A-A99F-C204FECD1FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2825780c18a6503759698508e7147049bd16e8be","datavalue":{"value":"threshold gates","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908818$72949CEC-B52D-4C7D-A420-0FDD427F405D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263d7f995c1e8979ae4aeab1e04000a6e97301db","datavalue":{"value":"threshold logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908818$F19D427B-CB5E-4250-8B8E-FB7E7C3DAE97","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":"Q1908818$2B9F57C8-83A1-490E-9D16-40DF626D7717","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a850681e902d6310abc2e330ce6502ada4a84b8","datavalue":{"value":{"entity-type":"item","numeric-id":4035300,"id":"Q4035300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908818$B181BD81-FB9B-450F-A2F3-6FA759813332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1215427859a054ba93307928826462e87d798fc","datavalue":{"value":{"entity-type":"item","numeric-id":3489984,"id":"Q3489984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908818$FC551468-3EF5-4618-9D1A-4F57424A0056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ade17ba58c8651a68b2bae1694f23c087effff8c","datavalue":{"value":{"entity-type":"item","numeric-id":4234077,"id":"Q4234077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908818$ECC68FC6-B32B-411C-B33B-7F05C935EEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f31cbeafb74eb2331031a6d2305fa02411af3e7","datavalue":{"value":{"entity-type":"item","numeric-id":3775553,"id":"Q3775553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908818$8C3A2A9C-6A96-46D5-96EB-6650DFC663C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5035ead90ebf2e92af4cb88fdfc91c7dfa88c06a","datavalue":{"value":{"entity-type":"item","numeric-id":920967,"id":"Q920967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908818$E30ECBEE-AECF-41E6-84E9-EDF8D3FE2AC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90bc06dbf3731697a67c4cf4f2c88c3e70cd5b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3136460,"id":"Q3136460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908818$D779955A-8CFE-400A-9C88-32E7B9DDE92D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9154e63c7fdee286fec35c2812a69c0a9d70ceaa","datavalue":{"value":{"entity-type":"item","numeric-id":1898117,"id":"Q1898117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908818$305F1A50-FD7B-4698-8726-9FEAF73FA742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908818$84A3A716-E6CE-486F-B9B3-6E120C9A8732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cebc572d627a83eaa191f68127ff59e387905680","datavalue":{"value":{"entity-type":"item","numeric-id":580175,"id":"Q580175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908818$FCD116DD-F85A-4DD3-B11D-4B9532BD9DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7e5422152942ad81baddbdb7da8a9e8a447b954","datavalue":{"value":{"entity-type":"item","numeric-id":4281687,"id":"Q4281687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908818$01650E7C-8FAE-4492-826C-8B0C2BBC59FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908818$D838F505-B6CF-47CB-BFB6-477FB5D374CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e28d865b6a527d6aef184a58e15bb15ad21dc2c","datavalue":{"value":{"entity-type":"item","numeric-id":3856819,"id":"Q3856819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908818$0E461DAD-9C1E-4B63-A567-06737C397DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c40eb8635c062f163a63f14d78d82cee97719ef","datavalue":{"value":{"entity-type":"item","numeric-id":4850552,"id":"Q4850552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908818$B085D752-098E-4EB1-A6DA-93D053597B9D","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":"Q1908818$42766B39-E556-4C65-B557-30B05D92979A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ad86ed10f9dbc91aef6fdb78e5f6edf0ab2f5e6","datavalue":{"value":{"entity-type":"item","numeric-id":4739657,"id":"Q4739657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908818$304DCC86-435A-4920-ABD5-0CC3712AFAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85c91a2d52fb100925548482e5c1cd7bcae9e61d","datavalue":{"value":{"entity-type":"item","numeric-id":3689182,"id":"Q3689182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908818$A3AC79A0-4204-49B1-A9E4-4BF5C382292F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"728810277830424bd131e6e77eef399df584ccea","datavalue":{"value":{"entity-type":"item","numeric-id":3780485,"id":"Q3780485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908818$2C5C3A28-4757-4D53-9A0E-813EC9A1C93D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9beb2689392e607bfa4d1a42dff7641e3736a43","datavalue":{"value":{"entity-type":"item","numeric-id":1898117,"id":"Q1898117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a992a6a044ad3e528cdc5ef271cd7c8d6645772e","datavalue":{"value":{"amount":"+0.8550224900245667","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":"Q1908818$26102F95-2F3C-4226-BD62-84E0BCC1800A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99ce90f53827001ef14b5751ceb40b9ee8a355be","datavalue":{"value":{"entity-type":"item","numeric-id":4281687,"id":"Q4281687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5ac1047fcc8e78e9269029fc57725ffe46b9a02","datavalue":{"value":{"amount":"+0.8507214188575745","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":"Q1908818$6C2192FC-C197-4384-9710-2925043DC034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"614e0625461ba0ce6dd12019630b9e50b7a8631d","datavalue":{"value":{"entity-type":"item","numeric-id":580175,"id":"Q580175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"207148abaa3f62cdcec3db6fd6495fbe54ad6b6b","datavalue":{"value":{"amount":"+0.8270846605300903","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":"Q1908818$07EA3D0C-02AE-4F91-9806-6AD5CC4B2C64","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Cutting planes, connectivity, and threshold logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Cutting_planes,_connectivity,_and_threshold_logic"}}}}}