{"entities":{"Q3590769":{"pageid":5620673,"ns":120,"title":"Item:Q3590769","lastrevid":50155862,"modified":"2026-01-13T07:14:09Z","type":"item","id":"Q3590769","labels":{"en":{"language":"en","value":"An infinitary sequent system for the equational theory of *-continuous action lattices"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5186270"}},"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":"Q3590769$CF10DC92-676E-4E92-AF9A-895A61A3D787","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1a962b3c08ae25b6557321a85a7087d1b89bbff1","datavalue":{"value":"1123.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590769$0E1C6CE9-0605-442C-826B-97AE98F99192","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d6ea028776dbd8ea100bd1cc75a7d242bd7d9e9","datavalue":{"value":{"entity-type":"item","numeric-id":935018,"id":"Q935018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3590769$30BAEF59-BF22-4485-BB13-72DCAB7C15CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d4ccb5809271d2f0bf96f65b85084aa847fe92ef","datavalue":{"value":{"time":"+2007-09-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3590769$34E6B4CA-8534-4A8A-A5DB-B2A93661B97A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590769$ADB7777D-9DF4-4FA7-B8BA-39BB422EB9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590769$ACD6E2E7-E1C9-42EA-A673-9CE5EBD9B4DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590769$59E5BE5D-876B-42D2-87D5-A2DBDBB1F74A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a8531623be823ab056b1eef2279e686a1a3f7c93","datavalue":{"value":"5186270","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3590769$DDF5CB8F-E9B2-4237-9A13-859AC80001F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3590769$4585364C-6189-4954-9677-054B408AB443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0cd1d3745b5b4162dbfe5e6b42131d7a5da8750","datavalue":{"value":"action lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q3590769$038B548A-18F0-4080-9082-F3A2878C2306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3590769$2A4C3E43-43E5-41DB-A072-DC79DFB887D1","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":"Q3590769$A3A80E5F-BA21-4706-BC84-3F5B2909C97B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b195e4700ba0e889da061083dc46691f604afdbc","datavalue":{"value":{"entity-type":"item","numeric-id":935019,"id":"Q935019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5baff8699ac2c69e5672ffadeb3cc9fef40012eb","datavalue":{"value":{"amount":"+0.8081041574478149","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":"Q3590769$3699210A-6C10-4FBA-98C8-E7588387FC0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"674fe806f62fa051a4ccb05249592404eca25c5e","datavalue":{"value":{"entity-type":"item","numeric-id":3437263,"id":"Q3437263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf05024ba8bde12d82a9fce82af7185a4a992c1","datavalue":{"value":{"amount":"+0.7891031503677368","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":"Q3590769$F3CE3C20-D0B7-4561-9FC0-45A2767039FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7fe6123e1ea33a51ee893cf9035716be0978f55","datavalue":{"value":{"entity-type":"item","numeric-id":5459176,"id":"Q5459176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a75810f70f56f0aacb665bf4126707ac49569162","datavalue":{"value":{"amount":"+0.7290966510772705","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":"Q3590769$E27CB46C-A6E3-4707-9D34-1A8795E079CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9792810ecaaf1ba0071506099ae9a6a7137af8d","datavalue":{"value":{"entity-type":"item","numeric-id":4287490,"id":"Q4287490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c246a3ad42c07c88c616a87ca4777e54f244650","datavalue":{"value":{"amount":"+0.7252728343009949","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":"Q3590769$5C1B1FE1-BCF1-402C-BEE3-112EC85AD4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"599b6936da72fc062594f68b42800063a6565925","datavalue":{"value":{"entity-type":"item","numeric-id":805642,"id":"Q805642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c246a3ad42c07c88c616a87ca4777e54f244650","datavalue":{"value":{"amount":"+0.7252728343009949","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":"Q3590769$6E796D3E-6220-4BC8-BFC7-87E39E87C8E2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3590769","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3590769"}}}}}