{"entities":{"Q6160745":{"pageid":13295626,"ns":120,"title":"Item:Q6160745","lastrevid":58723446,"modified":"2026-04-06T11:40:36Z","type":"item","id":"Q6160745","labels":{"en":{"language":"en","value":"Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7691325"}},"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":"Q6160745$3AEEE120-0A1D-4A9C-9844-9160B0CF369A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d1aded4156f0c8f027d1aea4b62546a9b0e2418","datavalue":{"value":{"text":"Embedding Kozen-Tiuryn logic into residuated one-sorted Kleene algebra with tests","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6160745$291615EA-3601-44A6-A3EC-362129C0F35C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f7e6e5f8dccfcad09db103294a2277b58b8ff9d4","datavalue":{"value":"10.1007/978-3-031-15298-6_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160745$41D9FA00-66B9-426A-8277-403C1AB0A319","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09805c4574013ec5efe52d1a718be5de2476fee3","datavalue":{"value":{"entity-type":"item","numeric-id":777890,"id":"Q777890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160745$B94E2CD0-B6A8-49AF-9E11-A54E28580477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fa358c972f95030a225687e2092116599a8f843","datavalue":{"value":{"entity-type":"item","numeric-id":1730846,"id":"Q1730846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160745$2CE9D793-A970-46EB-A060-C795B5E16660","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e99766f237ba2ec64cd66b6c230146d768ddcdad","datavalue":{"value":{"entity-type":"item","numeric-id":2820680,"id":"Q2820680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160745$F0526AED-5335-4CEC-B249-4F23A8242873","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4fa95a2618f91e175d2e6cdf4f6ce4782d828b01","datavalue":{"value":{"time":"+2023-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6160745$76FDA9A9-D0D7-4F94-8EA3-EBC19CD1287F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf1b405e381718114dd06dfaf444776e3f59acce","datavalue":{"value":"https://arxiv.org/abs/2209.10610","type":"string"},"datatype":"url"},"type":"statement","id":"Q6160745$C7DD4AB8-FED6-4775-8C8D-E27C2A5882A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160745$B285F1B7-8ECD-4779-B4EF-2DC6624FA20C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8d0cb9b08de0c7a5b72bf872a09cab5d9cf49f3","datavalue":{"value":"7691325","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160745$6B57158F-C78B-4107-8B4E-64B38B0D35E4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160745$79E16F87-9EF2-4CEE-AD90-B918E1B8348E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5589c575f2ab68cf16fd3bc6a211d487f1b0de00","datavalue":{"value":"Kleene algebra with codomain","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160745$150DF969-09AA-4BE6-952B-14BB836BD2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca1bf3c71dbb6f9273aa387a9488d0a71d6549d","datavalue":{"value":"Kleene algebra with tests","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160745$22A0A0DD-9E2F-4B3D-A855-CCC8C1BCE7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24c0946ca1c7cece261e7cb3d3e9af5ea3b79649","datavalue":{"value":"partial correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160745$084F2559-1A77-4F58-BEA1-11621A1D658F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e19a56a35da34eb08b4ac43272212a5013c8d21","datavalue":{"value":"substructural logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6160745$E829F820-BADC-45F3-96E4-7FCE167A9A45","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":"Q6160745$A4DAFA23-B3CA-47F6-A8B9-579A5795790A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f199d7f1314f461663dd4c40c29b7dcf0ceb0c8b","datavalue":{"value":"W4296933619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6160745$0B32624B-A885-4B4D-ACAE-30F1AC7A1059","rank":"normal"}],"P223":[{"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":"Q6160745$8B1CA732-D30A-4142-99CE-67482A612F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c08dc42b0e7ff775d175e9650bc18837bb9e6bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5277765,"id":"Q5277765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160745$57794647-5262-48BD-A8FB-A9E219ADA464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a599e78b7f6ac88556b4a2cd8e0cd4dea641b7c2","datavalue":{"value":{"entity-type":"item","numeric-id":3521996,"id":"Q3521996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160745$1AB47AC6-A280-49B8-8BF5-D7E867F9513F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d5703d8b9ac3f2ec42c5cea3cb6310bb02f051a","datavalue":{"value":{"entity-type":"item","numeric-id":627202,"id":"Q627202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160745$09EEB753-2CB5-4661-AAA3-C5501E91A2A7","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":"Q6160745$C823CE63-97E1-4DC3-BF76-34E09B0CE636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc11302650095b8014b4cfac23c2bd493ca57fc","datavalue":{"value":{"entity-type":"item","numeric-id":3358736,"id":"Q3358736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160745$9275C60A-E470-4E5E-9AA0-EFB820AEFA71","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":"Q6160745$7A5DE86B-932D-44CA-A8AA-71302D012B62","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":"Q6160745$8951AADB-46CB-4DD2-9986-2CEEDF9AA6EC","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":"Q6160745$4B83EA80-FF40-454F-8E20-56225BA50A17","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":"Q6160745$63DE6932-9DB4-4162-9A2D-A2993C0556B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1358697765dcf85a758449b77a558fb086c297ee","datavalue":{"value":{"entity-type":"item","numeric-id":5267434,"id":"Q5267434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160745$AF875DA5-D3F0-4197-BF59-22850A38FEDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4550eeffc2b92b2df2a27423ede62913b3368183","datavalue":{"value":{"entity-type":"item","numeric-id":2210872,"id":"Q2210872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6160745$1FE8B1A7-910C-4DFE-AF7F-DCA8FEBCF06A","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":"Q6160745$C148B59B-3A1F-4EBE-95BB-E32AC320819B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4e685dd3d6d5059dc0bd8a2b049a131d647774c","datavalue":{"value":{"entity-type":"item","numeric-id":5738898,"id":"Q5738898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee38c396694cd1655d3a96bc74470df3bfcfc41c","datavalue":{"value":{"amount":"+0.7671607136726379","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":"Q6160745$DC8EF9EE-AC14-49F1-9AA1-727BE0F15C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6af22908464467ddc86195f2f536efd040d94f1f","datavalue":{"value":{"entity-type":"item","numeric-id":6164436,"id":"Q6164436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8692b9efcd8778a4f861f104cefd679107f64e01","datavalue":{"value":{"amount":"+0.7404935359954834","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":"Q6160745$776B65F6-9EA7-451C-9F78-1AB6FCCFE4D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15529d64dbf61a436024a0579129e429bcf78898","datavalue":{"value":{"entity-type":"item","numeric-id":4808696,"id":"Q4808696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e07a33aa1a46b71a6915f9df9e36324cbf29880f","datavalue":{"value":{"amount":"+0.7319563031196594","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":"Q6160745$EC9BB51C-8893-42BD-A24E-4ACA1ED04CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e185cb3788129a86496b6b33cbf65d270bfb21f","datavalue":{"value":{"entity-type":"item","numeric-id":5327344,"id":"Q5327344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5d1311207e5daef765d9e793270f47c2859b639","datavalue":{"value":{"amount":"+0.7305961847305298","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":"Q6160745$3B775B7E-BF64-45E9-BB8A-47A92AAF88D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb62472a5c6ef87c0d6d75c2df057c2bde5a48b2","datavalue":{"value":{"entity-type":"item","numeric-id":4428704,"id":"Q4428704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49951a9ba42e4ae1ce61a3c8216f3587a89caabf","datavalue":{"value":{"amount":"+0.7280594110488892","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":"Q6160745$6875E682-E45B-4313-B55C-E4647195F075","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6160745","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6160745"}}}}}