{"entities":{"Q2941164":{"pageid":2951884,"ns":120,"title":"Item:Q2941164","lastrevid":85113041,"modified":"2026-06-03T05:55:36Z","type":"item","id":"Q2941164","labels":{"en":{"language":"en","value":"Exploring an interface model for CKA"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6476394"}},"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":"Q2941164$CEBC5BBA-CDC9-4B14-8DA0-3C878E63D053","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6c3d49cdb1a1c768cdf2918dafc450064a73f990","datavalue":{"value":{"text":"Exploring an Interface Model for CKA","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2941164$4AABCC0E-09B5-4CC9-AC6B-1D9C144D2003","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8390ea8338591e8236c64cb3688123eb580ce194","datavalue":{"value":"1432.68314","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941164$69D68DE9-A545-4A6E-8EB4-75C47E84786F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a9d08be9268b51b12ef8e741f3bd6d8b60c98077","datavalue":{"value":"10.1007/978-3-319-19797-5_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941164$7286A951-A2ED-4EB9-A312-4457DD76F30D","rank":"normal"}],"P16":[{"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":"Q2941164$A59A3EE0-06B0-4BF5-8C72-B69C96BF9976","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6864df6a81eaf3b55e725ae1e843ca021bc92c02","datavalue":{"value":{"entity-type":"item","numeric-id":578899,"id":"Q578899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941164$1F9B6931-1F42-48EB-A8DA-EEB83A28F79E","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":"Q2941164$88FBF49D-BE02-4F3E-A651-FDA98CDAA582","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f5d7e575ce06abec1e01331d693d8d1b08ceff3b","datavalue":{"value":{"time":"+2015-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2941164$159F84B3-8B74-42D3-B8BA-3F1FBB11CF84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e9d7acd849576bdcdc5859e48502143aefe8588","datavalue":{"value":"https://opus.bibliothek.uni-augsburg.de/opus4/frontdoor/index/index/docId/58741","type":"string"},"datatype":"url"},"type":"statement","id":"Q2941164$17C175E1-FB54-4406-9EE0-D96F4C67419E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941164$C38DBC47-F2EA-4B58-845E-777082DFD259","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941164$CC0C7550-CFC4-4867-BFA7-A30EAA50F5E9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33162a4d1e1c73f8ae61b9482d195de4f9ed27f9","datavalue":{"value":"6476394","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941164$00CC057B-AAB0-41CC-8244-7638339138F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941164$BB3BAD96-1730-4CFE-B442-4DEA6FECE872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941164$D908870F-C706-4833-8CF2-38D109882566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b421d15570bd8e635cdc14719f77419a2d2df369","datavalue":{"value":"concurrent Kleene algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941164$50AAD618-DC90-4D31-8A11-3F36CACC7233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2941164$621974C8-835A-4939-8FF1-97D269DDC02B","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":"Q2941164$8F425501-6895-4D67-BAFB-4151780AF7A5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"53efaf97a156df164ad6e234788a6c16ecc5a729","datavalue":{"value":"W831110038","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2941164$5A3A75C1-CB33-41AC-9FCA-E0C9C9FEDC6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"79e807f14dcd5f9ad4f6bbeb1f8ea3c4bbb7d6d4","datavalue":{"value":{"entity-type":"item","numeric-id":4396958,"id":"Q4396958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941164$29A44EEF-C28E-49B8-9F5A-2BCA530DACC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6952c964346571cc46d55c2182e9c31b3abf5e35","datavalue":{"value":{"entity-type":"item","numeric-id":1236426,"id":"Q1236426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941164$5B835F7D-D54B-4B31-A9F3-BD7854B95185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d23296c6a6be2ace950ce5c415f1a0a685f775b","datavalue":{"value":{"entity-type":"item","numeric-id":4134898,"id":"Q4134898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941164$28ED3043-6B2A-4C6A-9439-BD2A8F60641B","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":"Q2941164$9459C773-FE66-4960-B216-C15D0EC246F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73d1c4807974c6cb6b3b5941415a8c96ac45518c","datavalue":{"value":{"entity-type":"item","numeric-id":406442,"id":"Q406442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941164$A689A526-B6B0-4AAE-9573-8E074CD6412B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc7b6c6a1afaedfcbece847a7b39f21038d8764","datavalue":{"value":{"entity-type":"item","numeric-id":4673439,"id":"Q4673439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941164$AFE0A0E5-0415-4BDE-8423-3FB0DE9A831F","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":"Q2941164$147EA5A4-00CA-48C1-B4D1-8242A23D7FCB","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":"Q2941164$3C0BF556-A362-415B-AD89-F61B39603929","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":"Q2941164$F43B5903-0089-424F-AE99-C8C1FF242D45","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":"Q2941164$C416A7E7-E16D-461A-BAEA-574BE33B1EC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"454cc1415f318ba45379b8bcb82ddb52569558a9","datavalue":{"value":{"entity-type":"item","numeric-id":817582,"id":"Q817582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941164$25CEA578-ABA0-4284-B59F-994D1B930191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49f92aa8ebfdf003df6851b5bd58431a096bef39","datavalue":{"value":{"entity-type":"item","numeric-id":1119012,"id":"Q1119012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941164$D850275A-F59A-49DD-BB6E-084798A0C69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49d4053c16b8e88bf6141f457746ce76fcc1d1ef","datavalue":{"value":{"entity-type":"item","numeric-id":549679,"id":"Q549679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941164$902440BC-6A3C-4C03-AD87-41AAA2C7201C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e07f130a53daf5bf58ec06941b0c0f266fb8e67a","datavalue":{"value":{"entity-type":"item","numeric-id":2908555,"id":"Q2908555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941164$D1C278F9-D731-40CB-A711-C19260261211","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2b9219fe1e3a018622ee9f502a17458425bf947","datavalue":{"value":{"entity-type":"item","numeric-id":5410474,"id":"Q5410474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941164$E88C2992-2625-4896-A56E-5BB1C8D9B716","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02b746b69996762e46531571b25327e3d2075210","datavalue":{"value":{"entity-type":"item","numeric-id":5410476,"id":"Q5410476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941164$BF7E2713-C189-404F-B08D-F9EAD06DDC58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334936aa136fd6e6bb0d4a8a36cd728182312d7d","datavalue":{"value":{"entity-type":"item","numeric-id":4236210,"id":"Q4236210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941164$15301018-D458-4268-9CCD-891CE32825F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76d656d1fdb409ca9d26c83f3b4c78bf3f9fac95","datavalue":{"value":{"entity-type":"item","numeric-id":4383696,"id":"Q4383696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941164$845127CA-FCF1-421D-AD14-D4301A5DDCD4","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":"Q2941164$E28663D9-AE23-4770-AFA6-763B87EDA5AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17a8c0319a2245226b71de02a8c469bc6287b46b","datavalue":{"value":{"entity-type":"item","numeric-id":3452266,"id":"Q3452266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941164$DE3B251F-1597-4FEC-B5F9-3DA1916AACF6","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":"Q2941164$CA77ABD1-5C92-40CF-BFE4-797EA40E5998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0787d761f6b9a8a26eca5d02841a2eba64b5cac9","datavalue":{"value":{"entity-type":"item","numeric-id":4184276,"id":"Q4184276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941164$7E59A47E-8097-4E53-B12D-8489F47A97EA","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":"Q2941164$94357725-3CE2-4384-9532-CB3B6C18E655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df7dee35badbafdef12cf49d8facb897d47ee0c2","datavalue":{"value":{"entity-type":"item","numeric-id":923890,"id":"Q923890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941164$69BA61D5-0354-4D55-BC1D-28C89E2D05FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e871cabc32981283d7a7e66f9dd107caef41a292","datavalue":{"value":{"entity-type":"item","numeric-id":2265800,"id":"Q2265800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941164$184B3541-C037-4F83-B318-ED0C4A6EABF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d0b15dea7fbfba14e25199ac1cdc64432928913","datavalue":{"value":{"entity-type":"item","numeric-id":989553,"id":"Q989553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941164$A3E3F231-045D-4E1C-9705-E20A2EF2353F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a917c499b4053c939bc56c57f4fb73c8440306ba","datavalue":{"value":{"entity-type":"item","numeric-id":1067409,"id":"Q1067409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941164$9B96EE1F-A9FB-4B34-852B-8EFFC04D2FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b99dbc44853de1ea6d2956eafb640499b501c52d","datavalue":{"value":{"entity-type":"item","numeric-id":1183485,"id":"Q1183485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2941164$3CF69671-4EE4-4E6C-961A-CEFC309048FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9167e336d7ea79e235bb39d89552456ce762e6f2","datavalue":{"value":{"entity-type":"item","numeric-id":2324010,"id":"Q2324010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78de488a26873390aa9b6ac8a9a89b82bbc71139","datavalue":{"value":{"amount":"+0.7824234366416931","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":"Q2941164$266EA90F-6815-4172-984C-7AD117190AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d11a88c0310af41e269fc5a92388816f27dffc4","datavalue":{"value":{"entity-type":"item","numeric-id":5410476,"id":"Q5410476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d6497b181fb248c73bf2f0b425450930d52e800","datavalue":{"value":{"amount":"+0.76917964220047","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":"Q2941164$1873477D-A945-45A3-9FCC-4FF8C9D412D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bbda0a55f39f6e070705d1ddb402c60c4c09636","datavalue":{"value":{"entity-type":"item","numeric-id":299205,"id":"Q299205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a35922bf3160565e55bbccdbbac5df3626ce6d31","datavalue":{"value":{"amount":"+0.7587605118751526","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":"Q2941164$98768ED2-C8C8-42DD-B2DA-237EA30E8BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6919f41c1538f89e39e5539f4efe993c7896ffe1","datavalue":{"value":{"entity-type":"item","numeric-id":2347904,"id":"Q2347904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9e5c976020e08231744e89f3e3d9aca68148402","datavalue":{"value":{"amount":"+0.751452624797821","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":"Q2941164$FBD529FC-CBAC-4C22-BEB0-C635C181BA09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ba6a67ff13712332ec07cffd813f5e21320b3e1","datavalue":{"value":{"entity-type":"item","numeric-id":549679,"id":"Q549679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0673c30276df385a33bab5e99759081df4286e36","datavalue":{"value":{"amount":"+0.7482811808586121","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":"Q2941164$B5E1FB1F-6A4A-4B8C-B0FE-6FA97DEA2DB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Exploring an interface model for CKA","badges":[]}}}}}