{"entities":{"Q4608677":{"pageid":6638260,"ns":120,"title":"Item:Q4608677","lastrevid":53047496,"modified":"2026-01-24T03:02:05Z","type":"item","id":"Q4608677","labels":{"en":{"language":"en","value":"Bisimulations and unfolding in P-accessible categorical models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6851947"}},"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":"Q4608677$92A971AF-E41E-4A58-8592-C26A9324E5C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"267d7adeb781622b5c9c6a024acca705989f3b3f","datavalue":{"value":"1392.68296","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608677$8548C63B-DAF3-4B5A-BF74-37DF19D97CBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4a19cb552569cfd62cee958ffc3ca43f0e139f52","datavalue":{"value":{"entity-type":"item","numeric-id":1701171,"id":"Q1701171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608677$6212F3C1-3AAC-4760-B9BB-54376E234AB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d0d92f428d699274a229faa3ab95d1f469858165","datavalue":{"value":{"entity-type":"item","numeric-id":246147,"id":"Q246147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608677$A43593A1-FB69-4B48-9BAA-49FC9AD4004B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3afd6d090edda820acee0f53c48c5034fa7cafd","datavalue":{"value":{"entity-type":"item","numeric-id":283757,"id":"Q283757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4608677$F6E9271F-F676-458A-BE4E-A3F0192104B2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7b370aaa83f4efe6143e52606b64b18fd663e7c7","datavalue":{"value":{"time":"+2018-03-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":"Q4608677$7EA76B1F-E36A-4B53-9C56-CEF08B515706","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608677$E10EFEE8-8B15-42A6-A57A-4E1894F8BFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6332ecdc69bc9b8611ddaed9b212808af760d546","datavalue":{"value":"18B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608677$07FE2E6D-B88B-48D4-A2AF-28EE62B05C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b71e15d3a17f1ae7a1c0239050ee3b6d6009a74c","datavalue":{"value":"18F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608677$1D45FFC9-40B7-458A-BA3B-F1324306C85A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b530e01ca2ddf99e11b2c8a59fc5debd05b0b28","datavalue":{"value":"6851947","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608677$AD8A7777-328A-453C-96E2-76E70D7590DC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c6ec50015ce57eb8837eb28674a1f953751b7d","datavalue":{"value":"categorical models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608677$D3700F94-BAE3-4292-83D9-AEC5DEB0375B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608677$05C7CCF4-3953-4FBC-BB20-481D88F12788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00ef39daa277e100a0885a5e9353a85b0a7601a6","datavalue":{"value":"coreflexions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608677$73F1EBED-A2E4-4B2B-8B87-8DA283F85B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25142d99e70f3e956d269c694dba0c0dca93e8fa","datavalue":{"value":"unfolding","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608677$1EAB4939-E92B-4D1A-9691-BBDC868139E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b0d533395d47fe48a18d956716006e0b7d566e5","datavalue":{"value":"universal covering","type":"string"},"datatype":"string"},"type":"statement","id":"Q4608677$1E887625-CE8C-4C9A-AC6F-37DC28A4F600","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":"Q4608677$2E30FF8A-A331-4873-9E9C-8FABA3BB6A8F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f103848a1f91834ec47706054867672f50540db6","datavalue":{"value":"10.4230/LIPICS.CONCUR.2016.25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4608677$115F5F67-4994-4681-9E03-570E7E0C5DBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73af00b523026f08ada5f20901dfdb484f108cfc","datavalue":{"value":{"entity-type":"item","numeric-id":1923101,"id":"Q1923101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e72e5bb64435df78baf934912b55519bf284c039","datavalue":{"value":{"amount":"+0.7534880638122559","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":"Q4608677$1F43C652-6AB1-4A87-8F5A-5CAAAF09CD8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fddea78b3b751d46b25a76f134818924a099218","datavalue":{"value":{"entity-type":"item","numeric-id":2956688,"id":"Q2956688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f24cd40063879ce1e1255274af89f4d5f0d265bf","datavalue":{"value":{"amount":"+0.7530026435852051","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":"Q4608677$E9A01818-E9FF-43EB-A318-3ED01F460520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bb36327b19e2de87448d0b99c90a7a4959155fe","datavalue":{"value":{"entity-type":"item","numeric-id":3507553,"id":"Q3507553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55f058697a0331508a6678978c84b21e9a8daa7c","datavalue":{"value":{"amount":"+0.743883490562439","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":"Q4608677$EE2C00C2-DE6C-4639-96B7-F79B0AA4C8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd0be6f50db7330d4e6e2667bc8d8a4cd644eb4d","datavalue":{"value":{"entity-type":"item","numeric-id":5057463,"id":"Q5057463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"adf42d537404facf2c11dcf646ffb5cc88f96fda","datavalue":{"value":{"amount":"+0.7303210496902466","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":"Q4608677$03043635-EE1D-45AA-B359-6C8CFC3F0FE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b754d638c55c791d7622c149ebacb7e92702530","datavalue":{"value":{"entity-type":"item","numeric-id":2842830,"id":"Q2842830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acd0857a2fb54e069b0b7f8a38ae42292629dccf","datavalue":{"value":{"amount":"+0.7291894555091858","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":"Q4608677$C8BED809-E3AE-4E2E-B037-23F144AC054B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4608677","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4608677"}}}}}