{"entities":{"Q5162606":{"pageid":7192177,"ns":120,"title":"Item:Q5162606","lastrevid":54131630,"modified":"2026-01-26T07:40:08Z","type":"item","id":"Q5162606","labels":{"en":{"language":"en","value":"Forward-reverse observational equivalences in CCSK"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7419487"}},"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":"Q5162606$93604B2A-CE44-46AD-B462-C866046146BB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0736a1abb78f49cbb10113c3d4ed59b039e11b4","datavalue":{"value":{"text":"Forward-Reverse Observational Equivalences in CCSK","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5162606$3B7C8463-0B97-491F-811A-981D65257C51","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17779efbb8267264b9f57b44058d46d42f62c8ba","datavalue":{"value":"1476.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5162606$C12A30B1-080A-4D0D-90BF-F6C749061849","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e05b71da7f367f4e0252d87f6cd859a6d6f7ea11","datavalue":{"value":"10.1007/978-3-030-79837-6_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5162606$C6745936-9FB2-42D8-837A-D2547DFEB403","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"519b3a73881d25edb8159f51f3863169460a8f2e","datavalue":{"value":{"entity-type":"item","numeric-id":264993,"id":"Q264993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$52DA05D8-E4AF-4F60-8A01-11D2D505E106","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f6fda1c66696713c34e11fc5479ccc804542d33f","datavalue":{"value":{"entity-type":"item","numeric-id":580960,"id":"Q580960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$08E0EBF9-CFC0-4423-93A8-211E79FCDBA0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a717b5be1a91222f4c61369f09045de11793bfc3","datavalue":{"value":{"entity-type":"item","numeric-id":2822486,"id":"Q2822486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$E1F744BE-A488-46D7-8F9D-A9225A1C7749","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f9646bb8b94af16daee7eb7191395758c93317c4","datavalue":{"value":{"time":"+2021-11-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5162606$7103B743-689D-458C-959B-46E1C1592C50","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3b06ac631219b0b6bf6ca1c2e2f5b2725c12730a","datavalue":{"value":"http://hdl.handle.net/10044/1/91293","type":"string"},"datatype":"url"},"type":"statement","id":"Q5162606$EF93D700-3784-4650-A7BC-65FC4D576DC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"196916cd450165978c169d4fbf15975a01c78c72","datavalue":{"value":"68Q09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5162606$190C4C67-BCCD-4824-9C5F-0A841CA36D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5162606$07885F86-54DE-4E41-BEA9-0E530D569D97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8d15246e6783f14a6b230f76021353bf41297ec2","datavalue":{"value":"7419487","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5162606$DA26AF57-D806-4ED9-ABA0-B46C2A88FE1D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72a21f275eac1ed9de1b3e8f3460ddd2e1823c16","datavalue":{"value":"CCSK","type":"string"},"datatype":"string"},"type":"statement","id":"Q5162606$3CF019F2-93DA-4AB5-9D7C-B1C1C7C604D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1790ff897329ba8d982f05461cb057caf1107a97","datavalue":{"value":"forward-reverse bisimilarity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5162606$12B1CD80-621E-496B-987B-7D6611F594F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f87499e724f61a1338483b33ebc9fcbe40197f0","datavalue":{"value":"forward-reverse barbed congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5162606$B6F26BC0-E376-4832-9973-84A864257697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5162606$32D6C7F5-0363-4A47-B945-540B270187B7","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":"Q5162606$E2C0C915-88AC-4420-8CF8-42D585433509","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33ca96b2544f73a8e143de410ddad27fd23ea59d","datavalue":{"value":"W3174127043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5162606$D6031A8A-7934-4066-A89F-C89B4C9F8F88","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e1b83c95d28378702d9b15252b82e167c81926ac","datavalue":{"value":{"entity-type":"item","numeric-id":347363,"id":"Q347363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$9AC82205-44B0-42DB-8E1F-4E2A3DCA6B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03e908fdfb0ef307218ca4aef745e68be6b2e503","datavalue":{"value":{"entity-type":"item","numeric-id":5089270,"id":"Q5089270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$BA228240-1C3C-4B5B-889A-EDDFA7632404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9caec4f33196ee7edf772e09af0e9f2d2d36c7b5","datavalue":{"value":{"entity-type":"item","numeric-id":4621150,"id":"Q4621150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$B099EF43-BE1E-48DA-8A4D-9357B873703B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c01bc710bd596d67daa1725e96d0e7fb8babd71","datavalue":{"value":{"entity-type":"item","numeric-id":2329306,"id":"Q2329306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$F97C672A-D2EE-4B27-B441-ABB63C12FEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af1c37a41b0324c8e2737dc22a8750ce61f1fbdc","datavalue":{"value":{"entity-type":"item","numeric-id":5271076,"id":"Q5271076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$1A284B13-0678-4F55-9CD0-E9D0D830F8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"847860b950b35d26e5363cd6925cca0fa8835be2","datavalue":{"value":{"entity-type":"item","numeric-id":5311480,"id":"Q5311480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$DB255634-45F7-4107-8D80-71942F290EB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1000ea3c7437af88e8dc77a6449b31406f60ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4941914,"id":"Q4941914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$63DD6261-2E1E-486F-8A63-E37D12892CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d828d8ba43c93f30cccd4319529de5ac40255d76","datavalue":{"value":{"entity-type":"item","numeric-id":5918352,"id":"Q5918352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$7913A585-FA1C-4D88-AEC1-3387F6EBC4D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c68b05a47ff9daa78afd5f800d3bae6617e3ff3","datavalue":{"value":{"entity-type":"item","numeric-id":1350347,"id":"Q1350347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$7EEFC667-1795-440B-87AE-A35FBA48A8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d54328a610bdb9f12447ad27e9af06089300e35c","datavalue":{"value":{"entity-type":"item","numeric-id":3453753,"id":"Q3453753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$1F23CFCE-6EEE-4A10-A177-3240258650F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed9702c45f558cf37c1cf27f32342d8410b993ac","datavalue":{"value":{"entity-type":"item","numeric-id":4157944,"id":"Q4157944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$4254CACA-4848-455E-BEAB-F4A14EADF798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5bf5d30377b1d88f6fded624586a0306b8b2d38d","datavalue":{"value":{"entity-type":"item","numeric-id":3629225,"id":"Q3629225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$71B16FEB-A468-42FA-9181-7BADF675E998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b10a1fc1b9a292d0d7a46bc368f4c29060d035d","datavalue":{"value":{"entity-type":"item","numeric-id":2022303,"id":"Q2022303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$DD7B7FF7-FB3B-426C-83C2-A3797D53F213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78195a80b4448c1880d219e87826e248632a1205","datavalue":{"value":{"entity-type":"item","numeric-id":264996,"id":"Q264996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$2A3B5447-C6D1-4662-9DF1-337E7872C532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b499d373d3e1fef9dfa9765dc61a243dacacb02","datavalue":{"value":{"entity-type":"item","numeric-id":1648893,"id":"Q1648893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$94864581-F5BF-4D33-8F3E-10FEE91B1C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d6c670858c666964a1760602fe084699e2f1b79","datavalue":{"value":{"entity-type":"item","numeric-id":1785852,"id":"Q1785852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$6541188C-C8E8-410A-923C-B56E09E99D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7aaa05c5a1230a87b78bc7a7e877f11588855b5","datavalue":{"value":{"entity-type":"item","numeric-id":5129948,"id":"Q5129948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$AD4F068C-B6A2-4614-9AAF-464340B5A3A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$A4FF91EE-FA82-4007-8737-9EE2842F4A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97937b6fbcb19180a54e27203f6c8574e53be171","datavalue":{"value":{"entity-type":"item","numeric-id":2871832,"id":"Q2871832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$1EB395E6-17E5-4A96-A3C5-F5EC24ECE9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f62633a63536bdf4fd8946a7c1c2ba332f1a93","datavalue":{"value":{"entity-type":"item","numeric-id":2643334,"id":"Q2643334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$6D76429F-24CB-405A-9944-ABC10ADBEDD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8eee7ef7884df45e06a2b9a15041c8441e69cd2d","datavalue":{"value":{"entity-type":"item","numeric-id":2883121,"id":"Q2883121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$D64828FD-5B4D-45D4-B006-8A61C136B42D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7c657571b74efe9a2840fd6efe5acf4a78cf4d5","datavalue":{"value":{"entity-type":"item","numeric-id":5740354,"id":"Q5740354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$A503DBC8-313E-45DB-8FD3-9E00EA4A2E43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e9279fde6cedd26e18c6ba55d77f0b20c96098f","datavalue":{"value":{"entity-type":"item","numeric-id":3453754,"id":"Q3453754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$093ECE84-EE3F-4D09-BA71-42899F9E3803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba27ba98c7c431125f81ca3dc365c703443ec4d2","datavalue":{"value":{"entity-type":"item","numeric-id":4791841,"id":"Q4791841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5162606$694E8C76-395F-424B-9F9E-EEED2855B03D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cf736ef6220eedee4557266a052dabbbaa66cd9","datavalue":{"value":{"entity-type":"item","numeric-id":347363,"id":"Q347363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d9d015e1c9322ff8f94cc11f22da60a1766b209","datavalue":{"value":{"amount":"+0.7878577709197998","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":"Q5162606$2901EBA6-C01D-4BBF-BE9C-C0BDB6A9796D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69cdc508c2a08944a5d0fc2d4b9460a668ab5780","datavalue":{"value":{"entity-type":"item","numeric-id":2022303,"id":"Q2022303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d96c4b3968ceee9a5a3aba212d1ed060be5362b8","datavalue":{"value":{"amount":"+0.753076434135437","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":"Q5162606$E631E790-6D39-43A0-9B7B-E34FFF9A3D90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60dd0b6da6c25a2a97a79aca1208feacd92b431c","datavalue":{"value":{"entity-type":"item","numeric-id":2871832,"id":"Q2871832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cbce5bdd645de5af08ae1a50b47d9f3bece6265","datavalue":{"value":{"amount":"+0.7409921288490295","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":"Q5162606$A6B9D72B-837B-45BA-84FB-34DBE0B0FA8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ef3308bff0526aa02500c3bb954da456a6d2b5","datavalue":{"value":{"entity-type":"item","numeric-id":5311480,"id":"Q5311480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dabc4985a8405b1bc7ba4d5029d55e91317afb52","datavalue":{"value":{"amount":"+0.7342339754104614","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":"Q5162606$18F096A1-7E90-4C60-AD6E-5A9905941301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8dbc847a1b763e657551cb940c02277cdc4e73f","datavalue":{"value":{"entity-type":"item","numeric-id":3186583,"id":"Q3186583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7b6f11dfb109fe897e156445c99f043090f4d0d","datavalue":{"value":{"amount":"+0.7333678603172302","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":"Q5162606$95E4D949-A455-4FC6-8D7C-9E8FE41A85B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5162606","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5162606"}}}}}