{"entities":{"Q472804":{"pageid":474571,"ns":120,"title":"Item:Q472804","lastrevid":62086557,"modified":"2026-04-11T03:40:53Z","type":"item","id":"Q472804","labels":{"en":{"language":"en","value":"A logical calculus for controlled monotonicity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6371456"}},"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":"Q472804$44F8952D-8B8A-4D40-96AF-D0E07C17E035","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a5ddb8e8569389717e582f99af191dacfca81e63","datavalue":{"value":{"text":"A logical calculus for controlled monotonicity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q472804$B0A6C103-B5A7-4351-AD9D-E0AA52F944EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"efd95ed157a27c040d9328ed2ecb37e07ee4c90e","datavalue":{"value":"1345.03102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472804$2F0580C7-A596-4FBF-9050-3222D1171955","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd74b551dc598d94e51622f5fee0611a3782ba4c","datavalue":{"value":{"entity-type":"item","numeric-id":281147,"id":"Q281147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472804$06BF6121-317A-4086-97E8-399E9B8DF652","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"210df2385c3290f4a126d253e8192b4d267a247c","datavalue":{"value":{"entity-type":"item","numeric-id":209450,"id":"Q209450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472804$605BD4DE-A7CF-47A1-BE7D-84B4F9E8C288","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4bdba2590022c90a202dc79d5f2fc1152466ada","datavalue":{"value":{"entity-type":"item","numeric-id":472803,"id":"Q472803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472804$978A3C65-9F20-4D55-854C-522014C79F7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472804$EB820DBC-2743-4325-9A72-2C0F8511C0EC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f3de48e2e76c851f8e0c9de42930ee2e3fddbb57","datavalue":{"value":{"time":"+2014-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q472804$325EED86-3E25-4790-8CC5-B22AAF57FD20","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472804$88911942-8A12-4E28-98F1-0F3AC2569693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472804$98322F8F-07A2-4AC1-82E0-D4B490F1D720","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b23963bbe10ae090a74ec713930b082126ded1dc","datavalue":{"value":"6371456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472804$473A996D-265F-4A4B-8A05-F6555EA62B43","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q472804$0BA8003B-54A0-431F-AD50-1CB0E17EFF86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fedc17955703a103bc75de5061b219c7132297f","datavalue":{"value":"non-monotonicity","type":"string"},"datatype":"string"},"type":"statement","id":"Q472804$DCED1DAC-AD95-43AB-9C77-654768AD2B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q472804$CFB70308-382D-49F0-BC62-660816B25CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"355fd465cc2ac74bdbe6cac8641b955a1f05a07b","datavalue":{"value":"series-parallel structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q472804$C2B8B0D2-3FBF-4A9D-9BC2-4642E19FA165","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":"Q472804$2B87F247-7256-4F07-B3B3-97635C5EAF6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da50cc3db803557d6613a0a68ca6146027123b88","datavalue":{"value":"https://doi.org/10.1016/j.jal.2014.08.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q472804$E644E7F8-55D7-4E04-9797-4076DA127D96","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41bb09d5d95f99b9202e2b97149e8e5f97d99ec8","datavalue":{"value":"W2006589758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472804$415CBB12-83A9-4FE8-8929-C24AE255522D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"48b67f5a219f9a573fed96f7094a795ee643a656","datavalue":{"value":{"entity-type":"item","numeric-id":1964014,"id":"Q1964014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472804$54EDE8EE-30D4-4267-AC44-774A37E1590C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ad47c276aeffd90481be79f74d3356d1129bf3","datavalue":{"value":{"entity-type":"item","numeric-id":1948286,"id":"Q1948286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472804$E600543C-73C0-4B10-9579-601944CC757A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44ebf8516c46621f1236a7de02824351d4e92e9","datavalue":{"value":{"entity-type":"item","numeric-id":4323006,"id":"Q4323006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472804$EE32E74F-F5D4-4A40-A953-34B28884B595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472804$0EF8A708-8B4F-4C4E-A4A5-52324DFD5402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ff84a380859792f98a71b73007569735b0f24f","datavalue":{"value":{"entity-type":"item","numeric-id":5277766,"id":"Q5277766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472804$1A05E5D2-AD65-463B-8661-79049C1636F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472804$51DBF56A-6BD5-4376-BBD3-7FB366521CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"402cdfb12c48dbefa16c62876c57b9f392aaaff6","datavalue":{"value":{"entity-type":"item","numeric-id":4488212,"id":"Q4488212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472804$C0456E67-BD7B-402E-AF70-5577DCA2681B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"691258b7dd0ca2d9f19b52dcd002a66925f7ffbf","datavalue":{"value":{"entity-type":"item","numeric-id":1884903,"id":"Q1884903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q472804$F465C73E-06D1-4D97-8D7C-F8D396222104","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"007392d10073926ffe810ba671430a8a6dfd62c3","datavalue":{"value":"10.1016/J.JAL.2014.08.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q472804$64DE3F71-C931-44AE-A85F-F768CB9B7D49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434f3cc187c9ee647f55d43245f1f2110df185b9","datavalue":{"value":{"entity-type":"item","numeric-id":2987041,"id":"Q2987041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0600eddb76ef1800ae6c36578550bc4f615e8330","datavalue":{"value":{"amount":"+0.760292112827301","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":"Q472804$73DA8735-11D6-49A0-874E-FC7A7C961EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e357a708b153c3d2d7a09294cbc021afe29e90","datavalue":{"value":{"entity-type":"item","numeric-id":5738955,"id":"Q5738955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64f712a0e8f64da934d2f845c40e07ba46bf6fa5","datavalue":{"value":{"amount":"+0.7229665517807007","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":"Q472804$CECC25F8-D311-4290-BFAA-44BB390B46A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09c19d7b2a89b2589ee2eae31d625dcafc88fb45","datavalue":{"value":{"entity-type":"item","numeric-id":4218925,"id":"Q4218925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4701601f5cd5f2db738cc260d2daa0f1547e6521","datavalue":{"value":{"amount":"+0.7217758297920227","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":"Q472804$43BE12C2-1051-4D22-81DB-A0C3838EA1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ddba683a0a851f93146231b32ed157398d5368f8","datavalue":{"value":{"entity-type":"item","numeric-id":2446684,"id":"Q2446684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8b449ecb3d49e2bbaa2c168bb2e65da8305a97b","datavalue":{"value":{"amount":"+0.7189751863479614","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":"Q472804$AEC55C2E-4B0B-4D3C-9D00-7FF8D8F98420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4110c23461d044573091928febf82d807edbddd7","datavalue":{"value":{"entity-type":"item","numeric-id":4783301,"id":"Q4783301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"565048e23073504493018f2f11cb9a09954607ba","datavalue":{"value":{"amount":"+0.7179529070854187","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":"Q472804$9A5BDE06-135D-4E73-87C7-274FA6B4025F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A logical calculus for controlled monotonicity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_logical_calculus_for_controlled_monotonicity"}}}}}