{"entities":{"Q5079743":{"pageid":7109319,"ns":120,"title":"Item:Q5079743","lastrevid":55409728,"modified":"2026-02-17T15:49:02Z","type":"item","id":"Q5079743","labels":{"en":{"language":"en","value":"Non-wellfounded proof theory for (Kleene+action)(algebras+lattices)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7533344"}},"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":"Q5079743$F1191ABB-B65D-4DF7-8B29-85CC55615893","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c255adfc712bad9b4346c358d68a6d24be790f29","datavalue":{"value":{"entity-type":"item","numeric-id":1694470,"id":"Q1694470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$BD9002BE-F20A-428D-9A5E-7BF8B3EC4C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$7387F9CA-4CD5-47D0-84B7-CAC84477FFDD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2a86b7f6396ef59f89bc1a16a5090a2410ec1949","datavalue":{"value":{"time":"+2022-05-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5079743$54CFACA3-FCEA-43F1-8CD4-8A2251C56B15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079743$9EB5549A-534B-409E-98B0-D1EA4AC81D1F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ecdf944afcd4f1ebfebf03feedb8973a1b85cd1a","datavalue":{"value":"7533344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079743$87500499-821C-43BA-93ED-1F60391EF63E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079743$A5A26650-F607-41F2-A496-192789653D48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079743$2B27B935-DF80-4903-B030-F7D8B9A943BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac188209dcaa28b594baba58dc08f1f2eb8fb7c4","datavalue":{"value":"sequent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079743$C3AFD057-8CCC-45BF-B4FE-F32C72E0DFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"babb9e7247d75757dbe42d2501975e79c8db80cf","datavalue":{"value":"non-wellfounded proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5079743$608DF6B3-4170-44DD-B297-774A9D5FB050","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"11e8691cd1092776369a6c989adefc1b2275245d","datavalue":{"value":{"entity-type":"item","numeric-id":28139,"id":"Q28139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$2F4477D0-6EF4-4277-9A13-CE8F0A7BD933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa29bf2151fbe16d38e398c515ac9a9dd0ab16c","datavalue":{"value":{"entity-type":"item","numeric-id":40507,"id":"Q40507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$D8FC8ECB-5750-453C-AB3B-F1612D312C91","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":"Q5079743$65FBBF24-9600-49CF-AE40-CCCC5063FE68","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6b389e8c32260009cee4925d8f6ead645371e32","datavalue":{"value":{"entity-type":"item","numeric-id":5408410,"id":"Q5408410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$E67D480A-41D7-4217-B672-2F23B393995A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$DDD83A83-D589-4926-AD32-2B2240F41697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac0663d769704bd36d7fb483a298b85543502a88","datavalue":{"value":{"entity-type":"item","numeric-id":4359289,"id":"Q4359289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$F2811558-5B0D-417B-B07B-376C5261D3C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"decc60dfbdecb52e4624e62a3849ec2745afa0d5","datavalue":{"value":{"entity-type":"item","numeric-id":5747648,"id":"Q5747648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$8FBD1BE1-178B-4035-837E-4006CDEEDC48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ea905e0dd45e5f666435e07c5347d2d8ec010b","datavalue":{"value":{"entity-type":"item","numeric-id":4215630,"id":"Q4215630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$147837C2-0B0B-4D2C-A08B-293F9B78622D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9291780fa49d906483f3b2217ba1558a6098769","datavalue":{"value":{"entity-type":"item","numeric-id":3437263,"id":"Q3437263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$B5567D54-36E1-411C-82AA-9097508B5965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bdc535713bd2a1bea0ebcab85559eb258068f92","datavalue":{"value":{"entity-type":"item","numeric-id":3617718,"id":"Q3617718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$4202CE9E-FE43-4781-B4C6-85A92F710203","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c95887997d61befa174dc6f5c2a08804d32a7d64","datavalue":{"value":{"entity-type":"item","numeric-id":5639639,"id":"Q5639639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$7ED0A6B7-1623-4C5B-9848-AD0548A363D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba3cf41f46f0763793828a02b8681c747ac449a","datavalue":{"value":{"entity-type":"item","numeric-id":1694471,"id":"Q1694471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$DECA1321-BBD1-454B-8BC2-1D0ACC49218A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90ce2baffc43563f7c49b8f5f238edbcb4e1d8b","datavalue":{"value":{"entity-type":"item","numeric-id":1391737,"id":"Q1391737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$E9A95BD5-3F29-4D11-B06E-83E35642E8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cacb44a942285d9baaf5031e5170ae5058e91948","datavalue":{"value":{"entity-type":"item","numeric-id":5278431,"id":"Q5278431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$CD6F02DB-E108-4ABB-8E54-424FF0E6EB48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d71a17761c190ee78fb9d5f9e16c0f31fd0ccec9","datavalue":{"value":{"entity-type":"item","numeric-id":2958526,"id":"Q2958526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$DC6C76BE-8025-4687-8463-C3DFCB8A2508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fed46804550d0fccc2a27111bc243211e58987e2","datavalue":{"value":{"entity-type":"item","numeric-id":5466499,"id":"Q5466499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$9047D773-E115-4BA2-8615-3C3E9C16E4F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$EF6B0343-E58C-4A23-A020-A6348F0827E1","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":"Q5079743$24D2B383-4451-4EEB-AFF2-36E8D6FA5D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecd1f5164ec31c2238d0bd0d74539919dd4fe859","datavalue":{"value":{"entity-type":"item","numeric-id":5408558,"id":"Q5408558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$A620BFDB-0CEB-4630-A041-61C7C430B571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c200a502106ccfaae5cf68ef362e25173d34302","datavalue":{"value":{"entity-type":"item","numeric-id":3184688,"id":"Q3184688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$56A789C9-60B5-4951-AF9B-79BF106D0AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50265c5c9fafdd9f030c92675110e38ea46258d9","datavalue":{"value":{"entity-type":"item","numeric-id":1826932,"id":"Q1826932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$0F1D6C05-09CA-472E-89AD-7052BBD40FA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13d4d25d9b41b80813e9e3772d78e6f24c19a44","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$F5882567-84E6-47BC-AE1B-08BC43D013AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50820dcc1af6c5a368ac6f3fdc4a1d7adb9ffb30","datavalue":{"value":{"entity-type":"item","numeric-id":2767087,"id":"Q2767087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$B6D7DF82-AD99-4FDC-863E-BAAEE0B51B0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7ecdcca463445112101708876695eded3f30222","datavalue":{"value":{"entity-type":"item","numeric-id":1327385,"id":"Q1327385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$6D205BD7-FC8B-45B3-988A-D05AABEF88F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83dd7302ae5c6ff14c7d7d4f9e7c2537339e8f91","datavalue":{"value":{"entity-type":"item","numeric-id":2392416,"id":"Q2392416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$15937E99-5891-4270-BA46-0D086668EE13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c6befd6c9a204dbc0e715190e75c5e6af20d1e","datavalue":{"value":{"entity-type":"item","numeric-id":1177930,"id":"Q1177930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$EB6DB233-5CFE-41BC-9E0A-E6F60F1549E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$C992E866-3171-4381-B5D7-B3A1B1F15C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"476ec162b1325ee688bc547d2e9b6993d2ba1361","datavalue":{"value":{"entity-type":"item","numeric-id":3590769,"id":"Q3590769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$C76428C5-E052-487E-93F8-04642359444B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30913205e97beb5c571c720f15fb23e67f5add3f","datavalue":{"value":{"entity-type":"item","numeric-id":5327344,"id":"Q5327344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$F1617565-38C0-4BD2-A35E-F73A49E9F3A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72a974f637709b7c0bbe6bc15d0ab90624a923b2","datavalue":{"value":{"entity-type":"item","numeric-id":4287490,"id":"Q4287490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$B850405E-BDB6-4B69-A655-627761FF6496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6373225ca0fd8b276b99611bf9e3cf11d15d33","datavalue":{"value":{"entity-type":"item","numeric-id":5596826,"id":"Q5596826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$00B1A029-FE12-4080-BC96-FBBB289B91A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1abebe301f898c920a1cab4ff983bcdfe234b9e9","datavalue":{"value":{"entity-type":"item","numeric-id":4995358,"id":"Q4995358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5079743$0016402F-159F-4B4B-B127-D04D9737F658","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e6f75fdb62fb26113a9f359fbe386b7fef961fc","datavalue":{"value":"10.4230/LIPICS.CSL.2018.19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5079743$57F1285F-649E-4946-A997-9383D6DA3A11","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c32b7ecac9121fd1f3086abef4e87b9f022bc8d9","datavalue":{"value":{"entity-type":"item","numeric-id":1694471,"id":"Q1694471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e32b7de4e88af6519fba7c52f30426f0aef8c918","datavalue":{"value":{"amount":"+0.81517094373703","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":"Q5079743$497C8E02-89EC-4CFE-A1F6-F5C639BD384A","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":"027b8f8c3f235414c4cb0435b71dcc866a71bede","datavalue":{"value":{"amount":"+0.7927739024162292","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":"Q5079743$7E095E2E-6669-466D-9107-7AED185D23BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8b33c13ac5148b9f2ea33719d396c3bfac94ada","datavalue":{"value":{"entity-type":"item","numeric-id":3590769,"id":"Q3590769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"605891aa3082097c0f8a62f06090de70c9ec0b26","datavalue":{"value":{"amount":"+0.7850164175033569","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":"Q5079743$61A84B2E-66D2-4A9B-A1C6-1D3715CDD00E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c397d757ff82e89511887c3d410d7b217632e188","datavalue":{"value":{"entity-type":"item","numeric-id":5222960,"id":"Q5222960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb6a82752a1cdb48e97fc44c59de5d85c22d63de","datavalue":{"value":{"amount":"+0.7550446391105652","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":"Q5079743$0B9AB3A5-CB63-4A56-B3B6-05BDB3BFF79A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68211a7e42d5820c042f0e78f684627476a3887e","datavalue":{"value":{"entity-type":"item","numeric-id":1770974,"id":"Q1770974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87eb6b443c2a86d8075207914779ee05f48476db","datavalue":{"value":{"amount":"+0.7465388178825378","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":"Q5079743$05A9F433-C4FA-4665-B5D7-CDC747B381A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5079743","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5079743"}}}}}