{"entities":{"Q2988362":{"pageid":2999086,"ns":120,"title":"Item:Q2988362","lastrevid":52810796,"modified":"2026-01-23T13:34:45Z","type":"item","id":"Q2988362","labels":{"en":{"language":"en","value":"Equational theories of abnormal termination based on Kleene algebra"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6720985"}},"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":"Q2988362$E95BAD1F-319B-4E08-A3C6-F08FE4E7F1D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d06228c656dde8444709350ae95081cc404e5bfa","datavalue":{"value":{"text":"Equational Theories of Abnormal Termination Based on Kleene Algebra","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2988362$313ACAA8-D217-4972-8E06-87F880531234","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7a72a9341f5c623fcfcb7c9bce37fccbf2baee22","datavalue":{"value":"1486.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988362$B0439F99-CBED-47A1-8D70-3B664BAC84E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f85ca68019d1cb08ef8661a2dae0dc43aeef7997","datavalue":{"value":"10.1007/978-3-662-54458-7_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988362$596E65C8-ACA6-420E-91F9-A6777FE95212","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ad1843352b6f444e474b458244b096b619e5cb9","datavalue":{"value":{"entity-type":"item","numeric-id":2044208,"id":"Q2044208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$CA5580A5-4F2B-419F-8B4B-BEBC7FDD3657","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$986D03A1-04A7-4AB1-B92D-2DB875904FA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a59ae3429cdc3df09abb41b2b009b08d954a3dea","datavalue":{"value":{"time":"+2017-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2988362$9535F134-A48F-4468-9BD7-C1CB3B6CE2A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988362$C81BAF66-ADBC-483D-AD45-636B73CCF8E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988362$3B7CA0AF-7728-457C-89A3-000F2987B7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988362$858A7867-0D32-4518-A71C-15BFB644F14F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988362$75E170B9-5DCF-48DB-8EBD-9E2BAFA7ADFE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b65880aa9ccae899d9de84fbc62f9de055370e78","datavalue":{"value":"6720985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988362$0D4DBF06-E006-4627-A712-7A2168260F36","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":"Q2988362$C1B9A47C-9703-4978-BCF5-3F9C43990D28","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":"Q2988362$5B2307F6-CF93-42B2-8AA5-71D29511EDF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1a2fb3f62cd7d41ad8ffbbada676879554e88a9","datavalue":{"value":"https://doi.org/10.1007/978-3-662-54458-7_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q2988362$BD884CF8-D775-4BF3-8FEE-FCD6913FECAD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8408d1af002c349642f1dfa448e52e339809ddca","datavalue":{"value":"W2613020787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2988362$CE48A334-5B55-4853-908A-7A885F03486E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b051b8ebcaea223cbf9c88b09ce39b707e765529","datavalue":{"value":{"entity-type":"item","numeric-id":4302821,"id":"Q4302821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$9212437A-6EA7-4AC4-A66A-D944C7BE8C5A","rank":"normal"},{"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":"Q2988362$E8CF73E9-367D-45D3-BEB4-B9F0D634A292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad1627b0ef0dc706a0d145ad59d2ccb2cc61cb36","datavalue":{"value":{"entity-type":"item","numeric-id":672142,"id":"Q672142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$C7404049-E090-4C33-B106-57A90A72F25B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41e7ff1139dda6caf30f086ee8bbcc3bc037598a","datavalue":{"value":{"entity-type":"item","numeric-id":5632482,"id":"Q5632482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$8FB39523-2EBC-444E-9C9B-298C34EB00E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae584607cb7dc50753acca458615ca261f1a2371","datavalue":{"value":{"entity-type":"item","numeric-id":5244817,"id":"Q5244817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$59E98DB2-07AB-445E-BDE0-C80712450CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b49ce1337a4d1606e89be2c26995b66a83555870","datavalue":{"value":{"entity-type":"item","numeric-id":2802486,"id":"Q2802486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$5ED59271-DF93-47B6-A918-835F0075B257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69dc2b9ac9acb9698fed52e25c209731bbb0708e","datavalue":{"value":{"entity-type":"item","numeric-id":2888474,"id":"Q2888474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$323AF4C4-FF95-402C-A862-87044A8DE6F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a322738c92ab9ef22948d2d6883bfa28116e11","datavalue":{"value":{"entity-type":"item","numeric-id":2500483,"id":"Q2500483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$DC2A0457-EA3F-46ED-878C-BD5378E3C21F","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":"Q2988362$4B7183C8-9A99-41DB-BF84-59FA27DA2D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"807ba00199ace6f7367558f06f230d3484fc77af","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$D3E6DBD2-835F-4799-9245-346F1444674D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12e8525cdd12dc8a205f20af2cd22c19a69d38b4","datavalue":{"value":{"entity-type":"item","numeric-id":5693581,"id":"Q5693581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$15E1B4B6-5B51-4218-8F94-EEA216E08BF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4be82556f4392c3a11aabb4e7e7b5078ed0ae9f","datavalue":{"value":{"entity-type":"item","numeric-id":5167845,"id":"Q5167845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$0AF9165C-6FFD-488E-9EC9-EC3ED5B9D7D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4118243111efeb828f4d7d13d9c4d889c12f39e3","datavalue":{"value":{"entity-type":"item","numeric-id":3449483,"id":"Q3449483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$02027C17-6476-4ADE-ACE7-C487FDDD03A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c99dddc8d0831ef327f6036da01011edb5f55f4b","datavalue":{"value":{"entity-type":"item","numeric-id":3460616,"id":"Q3460616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$0E916B19-A5AB-4956-A2CC-38C7178EC86D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c40bf792f48dba5fa959568e11244e0afca811d","datavalue":{"value":{"entity-type":"item","numeric-id":1602554,"id":"Q1602554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$B871DB1D-C1D1-4A86-BAF6-8430677EB06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5afde341e35903811a19e6223528d6898a49b5b4","datavalue":{"value":{"entity-type":"item","numeric-id":2543556,"id":"Q2543556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$19774545-B938-4A33-9F65-84D026A13102","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d01d40bda7ef206861db6541842de52188bab23f","datavalue":{"value":{"entity-type":"item","numeric-id":4635654,"id":"Q4635654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$32AA3D6B-AC5F-4037-A459-BDA5137F36A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c81bc418e0d8bb22291569fa0e9d68064297f939","datavalue":{"value":{"entity-type":"item","numeric-id":2948549,"id":"Q2948549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$DAEE09B3-D3F5-4284-8F13-B3FBAE866B13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"904c04e01dcbf6ea612cf0e7a7c8dc9d0d309602","datavalue":{"value":{"entity-type":"item","numeric-id":5277914,"id":"Q5277914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$24D5DFA9-0D7D-4EDA-9562-098B3FE8285C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320f142dc6da92a57946535c69be8e5d7e6b4b08","datavalue":{"value":{"entity-type":"item","numeric-id":2974777,"id":"Q2974777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$449FA2AC-5DFD-42F6-866E-720C32D276BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df8c2eecaa019d2eaa208d6ac51a516597ddb9b6","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$95E88CE6-8A3C-421E-9A0D-40235AEEB44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb636a19f07738495cd7c2789db1b47cb8caa811","datavalue":{"value":{"entity-type":"item","numeric-id":4329634,"id":"Q4329634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$C668F8A6-6384-4EF5-8CC3-10D2A226B1E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6adb107bdfe6d7d78cd50627b681655c7f3b8a5","datavalue":{"value":{"entity-type":"item","numeric-id":2851544,"id":"Q2851544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$477A7D97-3734-4BD4-BCFD-45A737C0DB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87b1ed24dc50793e308079ef8e2bfc8aa15ae2a1","datavalue":{"value":{"entity-type":"item","numeric-id":3617692,"id":"Q3617692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$58C71961-263B-4AE8-8388-87DF5ED6EF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d37390f2d88033b6fa056e221236b35b17117208","datavalue":{"value":{"entity-type":"item","numeric-id":877026,"id":"Q877026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$47956ED3-0C11-4D6C-BA83-46776C10AD9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da7c68b4d2f2637cb9ac79742d9c96fc8c9c5a22","datavalue":{"value":{"entity-type":"item","numeric-id":5898611,"id":"Q5898611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2988362$2A5D0D6B-2835-4E87-A36E-765660DCB3F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcf0599939b6c2eb993a2c003d0da90c1aafa8e8","datavalue":{"value":{"entity-type":"item","numeric-id":3707380,"id":"Q3707380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32908ec29bd6374784f98386717da83c1b046215","datavalue":{"value":{"amount":"+0.7106233835220337","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":"Q2988362$197A0C3F-0173-410F-BE01-41315CBCF56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"040151c5d810214d94f2fa1386332c2c43bb6d24","datavalue":{"value":{"entity-type":"item","numeric-id":3184688,"id":"Q3184688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6be116ae70ef400e0216f14e38b537687bfdb8cc","datavalue":{"value":{"amount":"+0.7099513411521912","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":"Q2988362$801CA41D-7CD0-4191-8DD5-1ED938F91AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73694831dfdedc726b1da0e2a3f40f29fb4b339a","datavalue":{"value":{"entity-type":"item","numeric-id":4362921,"id":"Q4362921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6ea002e5c7cde157f94753d38ece7c214021a5f","datavalue":{"value":{"amount":"+0.7037339210510254","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":"Q2988362$643CC627-DC4F-4F36-B1A4-8A35B67FB5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1d65740d76d711cd4f35abe9226abeb669d398b","datavalue":{"value":{"entity-type":"item","numeric-id":5459170,"id":"Q5459170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94bf9fbafe2ea3ffd2344fcf616bd2611959934a","datavalue":{"value":{"amount":"+0.7026078104972839","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":"Q2988362$A7B3C7F2-E823-4C0B-AF27-12161C60E608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d49260e725f47eb03e84b3cd0cf748e18a840cc","datavalue":{"value":{"entity-type":"item","numeric-id":4302821,"id":"Q4302821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8113f8d325d7b80a3f5cdbcbe948dabd7fd08f42","datavalue":{"value":{"amount":"+0.7024666666984558","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":"Q2988362$59C97C3D-2430-4EDB-9D0C-EE680F0E2E96","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2988362","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2988362"}}}}}