{"entities":{"Q4254700":{"pageid":6284301,"ns":120,"title":"Item:Q4254700","lastrevid":46677714,"modified":"2025-12-25T09:31:06Z","type":"item","id":"Q4254700","labels":{"en":{"language":"en","value":"Discretely ordered modules as a first-order extension of the cutting planes proof system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1310813"}},"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":"Q4254700$CD06DF5B-F67F-4D65-9544-096276DE65DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"23e35a07632b79fc3622639b45b8046748e22af5","datavalue":{"value":{"text":"Discretely ordered modules as a first-order extension of the cutting planes proof system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4254700$0B8E86D2-85F9-4D52-83D1-BD580A4513F4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12b003fad5d2b0338591868140752b3ed5c5dc0d","datavalue":{"value":"0930.03081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254700$1403FF1E-6C10-47E0-829D-1DE7F05BF0E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"29ff17d35d29d861a4d6e9950133e97df7ba4152","datavalue":{"value":"10.2307/2586668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254700$CB8D8CAB-CA3B-4852-8CDF-F7BF44599724","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4b9ae896fbf78b3fa2084fd5300754d74076f66","datavalue":{"value":{"entity-type":"item","numeric-id":226860,"id":"Q226860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254700$CB70C7E7-9C3D-446B-8664-6706B65A8FE0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254700$DE06F810-C82E-4B28-A1D6-E0858EDB609E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b5bfa12347d4716af416e8493dcfe0d9b94cba5","datavalue":{"value":{"time":"+2000-02-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4254700$73CDDDA8-4CFC-4A4F-B52C-59AE262EBC68","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254700$89DF192C-E0FB-4C58-A7E3-95674FB242EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254700$1E1FAFB5-8A63-4015-B050-2A21ACFDCD99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4eedc081793f80c55ad5d867f9663e09aff5658a","datavalue":{"value":"1310813","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254700$1F29533E-D304-4EBE-9CCF-1AFCA7C6F938","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79496e1c5b0700fcfe85536850994e8a59849dd8","datavalue":{"value":"first-order extension of the cutting planes proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254700$C8FD1577-5274-4316-8CB1-02F190D100DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254700$315AC5AE-50BC-4C0E-AF2E-DCD41CD64FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9bc6474ad8409ef4528af84655741b6b5be3d7c","datavalue":{"value":"interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254700$4DFF7F5B-C6B9-4DC5-BD73-C22E63CF2A1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bde2c4f66e68ff51011058f9ed62a9147c32ad6","datavalue":{"value":"discretely ordered \\({\\mathbf Z}\\)-modules","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254700$B8FF5120-C5B2-44FE-85D3-2CD2C0D8DD27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254700$1EA7583F-B70F-41ED-8C1A-1FF8F349A39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d59f9270ba2c0b3161162dab212fcc774a42eba","datavalue":{"value":"communication complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4254700$96335003-64AE-4FAB-BE16-FCC32CDE4E01","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":"Q4254700$2365C0CC-589E-4DB1-AFD6-06401DB47D6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cb5ce5bf191fb6cecf601cb52b2e74d355c879e4","datavalue":{"value":"https://doi.org/10.2307/2586668","type":"string"},"datatype":"url"},"type":"statement","id":"Q4254700$D63FC3E1-16EB-4D62-873E-1B7A07D87E57","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bae7ca22cecdca7e7fe2482d34472b6f8aa6216d","datavalue":{"value":"W2078608416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4254700$AC1EDA43-8F0E-467F-A05F-891EDB224A79","rank":"normal"}],"P223":[{"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":"Q4254700$D237617A-EE47-4A83-A53A-47B17908B738","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":"Q4254700$8822845A-9CB4-4EEE-8CF1-25AB618BFAF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36fa561ac7459cf3efc368cd16b5bfdab0b68ce1","datavalue":{"value":{"entity-type":"item","numeric-id":1377580,"id":"Q1377580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254700$F9DE7ADC-7880-4D48-ADE9-0653C5D932B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2ca04c59b1468ff9eb03a30febcf55d98359908","datavalue":{"value":{"entity-type":"item","numeric-id":1094870,"id":"Q1094870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254700$1B0E3911-965E-4390-9A0F-77CCB4AEFCC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b369429581047e1dabd46e6eafe270ef5ac985","datavalue":{"value":{"entity-type":"item","numeric-id":3037135,"id":"Q3037135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254700$27641724-2F59-4AD4-A4F1-FEB72D07FB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30b9e272f8ccce6a7b10c8e4afc506dcafb4f348","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254700$3D0299FD-FECB-46A8-93AC-D46752B25985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baef0d780dad2ada46115132cc6cd9b3423d4ac7","datavalue":{"value":{"entity-type":"item","numeric-id":1192337,"id":"Q1192337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254700$033BA402-D269-45B8-A06B-B8213BF9A9C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3652d520789475601e366029ce7b257ab62a1ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5905909,"id":"Q5905909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254700$9BC7D954-301D-4CEB-B33E-7DD7080B5CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c9a3fd8680999e3f2c5b92bda2633bf6aecbac8","datavalue":{"value":{"entity-type":"item","numeric-id":290209,"id":"Q290209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4254700$E778EADE-8900-44F3-A30F-5EF0AA0EC64D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cd8a30ceea8c23c439b0c2bf57e1776b9f2d4e0","datavalue":{"value":{"entity-type":"item","numeric-id":4358049,"id":"Q4358049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d91e64100af04754e3874340c768fa88a918ccdf","datavalue":{"value":{"amount":"+0.7771692872047424","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":"Q4254700$8316C0ED-D507-4FD7-96FE-31578BC5DF36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e55b61410f38e6a1b24aaa79cfee91f308ed35","datavalue":{"value":{"entity-type":"item","numeric-id":4934563,"id":"Q4934563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d64eee6b30d22c80eb4d647816336e3eb8ed43f","datavalue":{"value":{"amount":"+0.7470455169677734","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":"Q4254700$EAB2FB57-233C-4613-BE3B-25095B424098","rank":"normal"},{"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":"8535fd9240eabeb5b3a0dd70f656bb7905f346d0","datavalue":{"value":{"amount":"+0.7380579113960266","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":"Q4254700$CF553756-F359-4360-BC0C-057EF7BCAC84","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4254700","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4254700"}}}}}