{"entities":{"Q5283205":{"pageid":7312779,"ns":120,"title":"Item:Q5283205","lastrevid":41236631,"modified":"2025-04-23T01:17:58Z","type":"item","id":"Q5283205","labels":{"en":{"language":"en","value":"Non-associative Kleene Algebra and Temporal Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6750817"}},"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":"Q5283205$B43372E0-CDA8-46F3-82BA-41AFA14CA4EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bd80514c728853363446de9ba320ff8276e325cc","datavalue":{"value":{"text":"Non-associative Kleene Algebra and Temporal Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5283205$6181EC78-ACC7-499A-88A4-AC1A2228575A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"420a39be7641fbaac01a5be25fafcd6d08bdba2b","datavalue":{"value":"1486.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283205$1A4E8813-D548-4114-B64C-D9F96D65CB95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc0d2569d3054f448e30c8491d1080bd5436a828","datavalue":{"value":"10.1007/978-3-319-57418-9_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283205$1BC3581A-B6E3-4878-BC6F-AB1CD9E5894A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b89efc04017073bfb8c5d7b0cf7f25e439024bbb","datavalue":{"value":{"entity-type":"item","numeric-id":406443,"id":"Q406443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283205$C86271A7-82A8-4AEB-9CE2-2BA4F3238B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9460bd561e5fd140c91ed222cac6d9f6f30d6e40","datavalue":{"value":{"entity-type":"item","numeric-id":299199,"id":"Q299199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283205$F74250B9-B6A5-4ABB-B114-A160826171C3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"40b55b51d1711e94124c260c7ee2d3d6bc2c1162","datavalue":{"value":{"entity-type":"item","numeric-id":2915131,"id":"Q2915131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283205$118A3A5F-DE9E-4C36-9B51-599D811D3C06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36ae9f0663dd67e81623b5f2360b90198adfccf0","datavalue":{"value":{"time":"+2017-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5283205$FBB36199-C0CD-4B83-92FC-F18382919EAB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"498cf329363b67cc5aaf0f26e3381748bdfcb988","datavalue":{"value":"https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/3916","type":"string"},"datatype":"url"},"type":"statement","id":"Q5283205$C125DE34-C57F-40F3-8F8D-AB9A19565886","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283205$0D254FED-6938-4B3A-86A4-05BA7AC4C4E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283205$EEE2B0EE-2329-4F53-B208-73640E1FB949","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c5dc3b1e7abb0ccd50343c92f18ec1a08ecfa14","datavalue":{"value":"6750817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283205$9D75235B-1197-474A-86EA-704AE3BD8788","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283205$E227E6E3-47B6-4EEC-867F-F59026E8F037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283205$55CEA5AF-8B52-443F-8894-A6C1E53847B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5dce58886ffc63b5facc93c53510fce5628bb35f","datavalue":{"value":"Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283205$E7D257AF-57A1-44E5-9B59-1863B2CB77E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96e0dfb16f439b464576923ab9172a7e3bcfe07d","datavalue":{"value":"repetition algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283205$0A024F84-3C1A-49B3-88B7-92EDDDF1FF46","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":"Q5283205$D9534498-4209-483A-BDAA-D78A8492746E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65de9afb8087083883d040a613851492e88fd3a6","datavalue":{"value":"W2608888986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283205$023D35C8-75FD-41DD-A4D4-9B5C4D8E21AA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"275e340c64bee6b92a5f1b6470c6b744b323f87d","datavalue":{"value":{"entity-type":"item","numeric-id":5286027,"id":"Q5286027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283205$AD107B04-8322-40DF-B42D-06E42ADF41CD","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":"Q5283205$7E4B4850-7CAF-4083-8978-D57C9C2720A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2fa46b7cee5c5e0f264b7ff76a300c1c44de992","datavalue":{"value":{"entity-type":"item","numeric-id":1602558,"id":"Q1602558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283205$EE43E0F7-9F2F-47E4-BAC2-469145FF716B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae4aeaba5518aeee44858e7c8b2a941da905f741","datavalue":{"value":{"entity-type":"item","numeric-id":5283205,"id":"Q5283205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283205$5AD0C6B4-D37F-4699-81B6-6D173643ED33","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":"Q5283205$B1DC2700-2961-4542-A28C-86FA0B4EBC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"347f20c2a68c004b66ce90100923eacc89614b15","datavalue":{"value":{"entity-type":"item","numeric-id":1566908,"id":"Q1566908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283205$09079A09-AE3C-4E4A-BAB4-1EA55A717DF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283205$67D3A160-0537-486F-AE77-6F5990095475","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":"Q5283205$D8D4B6CA-D66A-4720-893B-5650317D27A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eae5d6481154879cc2cbd2005769eaad383b8c3","datavalue":{"value":{"entity-type":"item","numeric-id":1881264,"id":"Q1881264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283205$B030C178-08FA-4E56-88AE-31A0A63BDAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840f10b74b3251f2ef1aa54a3b4f816266965f49","datavalue":{"value":{"entity-type":"item","numeric-id":5313089,"id":"Q5313089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283205$8E81E4A2-D3FE-43D6-B1A6-F88C127C4AD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c61272f80d8ad5526763c99a877ae40ff6ed139","datavalue":{"value":{"entity-type":"item","numeric-id":870283,"id":"Q870283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283205$622AABB7-15EB-4FB7-A4DD-7627F62DC9DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"163fcb23ca4124961b1016df00b4199fbe0f6b8b","datavalue":{"value":{"entity-type":"item","numeric-id":2941164,"id":"Q2941164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283205$9FF49F75-7016-4690-AB11-FA65062BCEA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57f85513ab872b58f88eba81bfa4694f89279373","datavalue":{"value":{"entity-type":"item","numeric-id":3623939,"id":"Q3623939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283205$B501C81B-39D3-4ADD-B366-7819C79D0159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283205$BBA0FE9C-8B77-4A2B-89DE-C64ABADD10A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbc106b731042db90c61107a1945c225e20e2508","datavalue":{"value":{"entity-type":"item","numeric-id":5287518,"id":"Q5287518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283205$C3ACFB83-4630-42B7-9B1E-E889E5449187","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff895c09036648fe32a735bdc45f092299863be8","datavalue":{"value":{"entity-type":"item","numeric-id":6167899,"id":"Q6167899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"baf3cbf1af7389d7c292adb5cac324c186fd8dc4","datavalue":{"value":{"amount":"+0.93020815","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5283205$317E492D-D9BF-46B8-8232-1EFF53BC1AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4908c5983c5fd202b8ba5072d5fe994d868c15e7","datavalue":{"value":{"entity-type":"item","numeric-id":3981716,"id":"Q3981716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be7d128967756c5496520abb9ed23b170e23055f","datavalue":{"value":{"amount":"+0.9216022","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5283205$D6F3E06B-1A10-441F-AECB-A0C3B5384867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"594823588009b4b3f1b5f0c6adb9995748a54777","datavalue":{"value":{"entity-type":"item","numeric-id":2826032,"id":"Q2826032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f7f4c5d604509b6cb9b9ce2c8783b02ec05a68","datavalue":{"value":{"amount":"+0.9076202","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5283205$19AD01D8-1916-4927-9038-057EC98632CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4500d149d6e08f4777983a3ea471b80e6a88a668","datavalue":{"value":{"entity-type":"item","numeric-id":5096734,"id":"Q5096734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"679c27f58b8c352cded81c7112b37e156f0afbcc","datavalue":{"value":{"amount":"+0.9042859","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5283205$791562F1-343A-4701-83CE-AE2E5560B7A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e80b726a14accdfc41b7c7c865c6cc671fa6b32c","datavalue":{"value":{"entity-type":"item","numeric-id":3486547,"id":"Q3486547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fc7d16f4afe1296ae8891099249769f7f60a11e","datavalue":{"value":{"amount":"+0.89736086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5283205$E74081CD-9820-4502-9BD4-E302E804CA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94ffbeae1f7b37a10d78b673e80b5131029a08ef","datavalue":{"value":{"entity-type":"item","numeric-id":1190791,"id":"Q1190791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fc7d16f4afe1296ae8891099249769f7f60a11e","datavalue":{"value":{"amount":"+0.89736086","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5283205$6A8C5C4F-E0CD-4AB7-BB33-97D14B9486CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2a29d0306f804f3bd56e2fc0751c80afa2ebd71","datavalue":{"value":{"entity-type":"item","numeric-id":3474286,"id":"Q3474286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c315688b332f981afdb75900cb0df7e20dd5c543","datavalue":{"value":{"amount":"+0.8949195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5283205$29DCB9E3-C80F-4CB5-8AEC-FD788F92F90A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c2d984f2ebe89f8b3f38de23404d52750dc6562","datavalue":{"value":{"entity-type":"item","numeric-id":3424133,"id":"Q3424133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bda55d5c214bae7dc7cd65bbf4dc229731e26b41","datavalue":{"value":{"amount":"+0.89209664","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5283205$FE90FE08-2E68-4911-BF54-6FE478C92AC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb085674b73b9ec8ef78587f13eca422b2f02e0b","datavalue":{"value":{"entity-type":"item","numeric-id":3400300,"id":"Q3400300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ef28361db7d8082e1dce678736f69ad28a61064","datavalue":{"value":{"amount":"+0.89105517","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5283205$ABD5B91A-F59E-4188-901D-3F34CB57DE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b3c07f8f72c7e829354374cb0088f6fb30ea7e4","datavalue":{"value":{"entity-type":"item","numeric-id":2731097,"id":"Q2731097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"763fb49430ed70be6835e365c8ae419a0d2fd65e","datavalue":{"value":{"amount":"+0.8883225","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5283205$50F55D92-0731-42EC-B52A-F04C1C66CB1A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5283205","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5283205"}}}}}