{"entities":{"Q3217593":{"pageid":3228301,"ns":120,"title":"Item:Q3217593","lastrevid":48768130,"modified":"2026-01-05T19:53:34Z","type":"item","id":"Q3217593","labels":{"en":{"language":"en","value":"<i>n</i>-Rational Algebras II. Varieties and Logic of inequalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3883598"}},"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":"Q3217593$E5D034CD-A343-4C72-AE51-420D5B50EFF7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9ed442eed7d441e2bdc554f7443899431953e17e","datavalue":{"value":{"text":"<i>n</i>-Rational Algebras II. Varieties and Logic of inequalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3217593$198996C8-B213-42CB-AF8A-1706160D749C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e2e1c587a7590736359516b8ab940e51ac1bbe8","datavalue":{"value":"0554.68018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3217593$FD7584F4-2441-4DFC-BD7F-E2FC2CE32381","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc0a24aea3ca17a547e3408de386e1f5f24d871a","datavalue":{"value":"10.1137/0213048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3217593$7D4AA7F7-FC05-4C53-8DD3-A105AE1110E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d25ac9b447f10c901ed8f4d14165c543498fe122","datavalue":{"value":{"entity-type":"item","numeric-id":579924,"id":"Q579924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3217593$922064F9-BEE5-4DB4-82D0-B4A8F1C83B97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2a1c45d0f0997786c62faf9f7fcd603424632e8","datavalue":{"value":{"entity-type":"item","numeric-id":84798,"id":"Q84798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3217593$AE87C26D-83D3-42AE-B0E5-42B218D4EBC7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3217593$8C6FA568-D392-4FF6-BD9D-D1D166BBDAAC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3217593$B49D433C-D522-479B-8F1F-1F57AB13AC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3217593$7ACF94D6-3840-4694-924E-97DA5914F376","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c9132c940caf61b64ba552b6f21e08d5722f60f","datavalue":{"value":"3883598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3217593$B394717E-6843-400A-82EE-4BDAAB2A4DC7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3217593$0A8AB777-4B21-4129-B11B-D9DE79168395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7e1b10ce39bfce710d3a1d1c36e1ea4ab25cf78","datavalue":{"value":"recursion schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3217593$C0A814F6-2099-4065-8D89-66C7A69FC83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06866fddd187fca814326ee7fc63d08ce7f78b2d","datavalue":{"value":"logic of inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3217593$8BA78FEE-AE55-4F75-9D64-4A469DBF9A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b4e53e5468cf9acbc0da6af2b3e9ef761de9d7f","datavalue":{"value":"infinite trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3217593$6E139D85-870B-4AF0-9A68-970DDAF126F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d651ae7199948783fba0c145605cec7045ae526","datavalue":{"value":"well-founded proof trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3217593$B745CF8D-E928-4F68-925B-A7975B65DCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b11e7068e1037b9d2c37c0da3a7135b8f45a426b","datavalue":{"value":"classes of interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3217593$F95D885C-B27D-45D9-B4E8-104F3CE05140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b139cabf372137fdd2ee42c002e7458c181abafc","datavalue":{"value":"varieties of n-rational algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q3217593$58616850-CC5D-49DD-B051-3423CC5426F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q3217593$984B8D86-18B5-4114-82D0-3980D7BABBCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f46aee3d79401cd1e87fb25875de81ac84a15795","datavalue":{"value":"deductive system for proving inequalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q3217593$1CF0F185-70CA-470D-83E1-F068D62EF97E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6184b748b4482fe26a9aeccbed53926280da9829","datavalue":{"value":"infinitary inference rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3217593$62D4112A-2752-464B-A36D-1243CF1069C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6353a3db14ed3ba50ccd3753324291f83c0731e","datavalue":{"value":"semi-varieties","type":"string"},"datatype":"string"},"type":"statement","id":"Q3217593$5426BB11-B958-4F47-B159-284E86AAB1F3","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":"Q3217593$FADFA214-39AE-4974-A6C1-92BF62D766A3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72386d63b96740aaeae8d5218285cd749b8c4dc1","datavalue":{"value":"https://doi.org/10.1137/0213048","type":"string"},"datatype":"url"},"type":"statement","id":"Q3217593$04CC5F34-59B4-47B8-AAC1-0ECAA9B098D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fa088ad64badfb657e68e2981a357291f49611a9","datavalue":{"value":"W2019664237","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3217593$F15FFE1D-7FB1-46E4-B3EE-7F578C3CD203","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cd6fb18ef84319b324ec5bc5bcc78a971b8993d","datavalue":{"value":{"entity-type":"item","numeric-id":3217592,"id":"Q3217592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22666069502363a1a1ce09bfc524207ae681a138","datavalue":{"value":{"amount":"+0.7784003019332886","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":"Q3217593$B944E0F8-34C4-4FAF-AE04-C655BB7294F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1d452b44778e9791dfcb6062947dc622c7526c7","datavalue":{"value":{"entity-type":"item","numeric-id":1117258,"id":"Q1117258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3ec8b8d15f9cfbf9db1d27cf0c2bf73178e31fc","datavalue":{"value":{"amount":"+0.768315851688385","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":"Q3217593$237F78CD-A076-4078-8466-FF5182EA9C3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83d0978cdbd40109097adfb3efb4b41ee0969761","datavalue":{"value":{"entity-type":"item","numeric-id":3698288,"id":"Q3698288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05f2922f370cc4e6f89162f86a51f82ea5b531d7","datavalue":{"value":{"amount":"+0.7500231862068176","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":"Q3217593$4A25749D-F33B-46DB-AA58-8F3785FF6794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"247c02e93b7026a2832a0d6d5d068e5e4225aa90","datavalue":{"value":{"entity-type":"item","numeric-id":1908339,"id":"Q1908339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b7833fa467b77dbdc9d79510587b058cbbcc514","datavalue":{"value":{"amount":"+0.7445183992385864","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":"Q3217593$BBA5B8A1-5411-49E8-BA5F-C15344CE7A42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8def394139b09e68b52b13d66d4fbfe5c4631b6a","datavalue":{"value":{"entity-type":"item","numeric-id":794684,"id":"Q794684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"622595f799d5ec1b50ea7c79c7f2b11c494b7268","datavalue":{"value":{"amount":"+0.7243660688400269","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":"Q3217593$FFCCECE8-F973-4EE3-8E69-7F89120CC74C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3217593","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3217593"}}}}}