{"entities":{"Q2180223":{"pageid":2190966,"ns":120,"title":"Item:Q2180223","lastrevid":53731946,"modified":"2026-01-25T15:22:53Z","type":"item","id":"Q2180223","labels":{"en":{"language":"en","value":"Restricted cutting plane proofs in Horn constraint systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7200359"}},"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":"Q2180223$7CF358C7-EE68-4C8A-88D5-7292787703DC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2770c5949d3582dfdf959d5215e08195102ad503","datavalue":{"value":{"text":"Restricted cutting plane proofs in Horn constraint systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2180223$7D0AE5D7-EB46-4A2E-A786-439C238451C0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"121d3a6a549d2f986863462f7b030e4d757daa40","datavalue":{"value":"1435.68303","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180223$1A77DF45-2BFD-4536-899E-A5EF9A996996","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ccc8ae37416c37ee47eb623aa8afab25af57c532","datavalue":{"value":"10.1007/978-3-030-29007-8_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180223$8030197C-D98D-4958-B0B8-5BDD8DA8D84B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9fa6eeb09e47d0c3657c971f131f2ff7452bd83e","datavalue":{"value":{"entity-type":"item","numeric-id":599500,"id":"Q599500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180223$DEB47C5C-8EEA-4FC5-A3EB-4A11513F9FF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"555623c5019e69c450d253a0676460a648d0cb3b","datavalue":{"value":{"entity-type":"item","numeric-id":584055,"id":"Q584055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180223$2C7AFF06-1DC0-4D1E-85C4-1A5123247D00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"09fecd042f765d4f9a49a91ca3baa11cd4be1e9f","datavalue":{"value":{"entity-type":"item","numeric-id":624349,"id":"Q624349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180223$D8AEB481-4012-468A-9AD6-F085EF1213D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d81db60b7959fe9094b9a3a48d29f9aac42980b","datavalue":{"value":{"entity-type":"item","numeric-id":591313,"id":"Q591313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2180223$843306BC-343C-40C7-8EA9-C34405C03B64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6d0c48627b068f854a947856c3807165d49ca3ba","datavalue":{"value":{"time":"+2020-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2180223$C1E18AC6-AA44-45D4-8561-D142989376F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180223$0576A8E4-7329-4626-B68D-EBBE6B9F1935","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180223$8982C4A4-3E65-4E78-9F5C-67BC520D81FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180223$78FBC0A1-B17A-44EA-AAFA-F059B6016BCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180223$B08102FB-AAC4-4CB4-95CB-E72C06F6C797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180223$94D03941-FA4F-47DF-A006-20C60BD21F65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"63e36a55afa44e949a8f3d8ff62432f10987c50f","datavalue":{"value":"7200359","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180223$F2DA7C6D-FF5C-4967-B28A-0B545D560035","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":"Q2180223$53F85A56-B9A2-4164-9F99-BA9D91F05E0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2efa3886e7ff1b416ab5c16ebd5bf724231757e9","datavalue":{"value":"https://doi.org/10.1007/978-3-030-29007-8_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q2180223$398F41C1-B263-499B-9295-3EB3A3E9D694","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f75476b0bab5e321d866424f3dec12e19eb6b5da","datavalue":{"value":"W2969267394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2180223$9E33C3EB-D6A6-43AC-B886-7DFC9047C649","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd08ad018628641c9d420289cb84018a46594152","datavalue":{"value":{"entity-type":"item","numeric-id":2095546,"id":"Q2095546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efe90f611faee35da20d397984db8c759e23901b","datavalue":{"value":{"amount":"+0.9461092948913574","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":"Q2180223$74FD3B47-080B-4E1B-BD22-5841D5FA372F","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":"8d989d8dbae8c64b81f0efa1dba73fbe4d1036a8","datavalue":{"value":{"amount":"+0.8017842769622803","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":"Q2180223$9AC9ED00-1065-4F86-B39A-D6F5091B47C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9728822ae8a2d7f9ec395e78a49718041c0bd969","datavalue":{"value":{"entity-type":"item","numeric-id":4018154,"id":"Q4018154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4cd45fec85cbdb1119ed05d042cdb075f62d85a","datavalue":{"value":{"amount":"+0.7950411438941956","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":"Q2180223$9CDB53F2-A2B4-4133-9C1E-5A031F923C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4da77a14e1a94da59522797cd37febab33779121","datavalue":{"value":{"entity-type":"item","numeric-id":4202937,"id":"Q4202937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b9a6bd77fb725cee1d2ed0626bcb252f0785a9","datavalue":{"value":{"amount":"+0.775393545627594","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":"Q2180223$967A18C0-8735-4734-A4A9-70F9ABBBBB48","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":"ff7ff51e0adb6e9f3837aa77fda6b2a24b7fb5e4","datavalue":{"value":{"amount":"+0.7741262912750244","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":"Q2180223$E32D2738-E469-461A-BDDA-DFA357B4E776","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2180223","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2180223"}}}}}