{"entities":{"Q4992895":{"pageid":7022472,"ns":120,"title":"Item:Q4992895","lastrevid":91086692,"modified":"2026-06-04T22:13:25Z","type":"item","id":"Q4992895","labels":{"en":{"language":"en","value":"From branching to linear time, coalgebraically"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7357538"}},"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":"Q4992895$AAB43FCE-E5FE-4C2C-91E9-943C28E704CE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89a63c0db992233dbbdb845a0636a6ae936bb21d","datavalue":{"value":"1462.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992895$5F33EDBC-1813-4662-B5C8-566836CC6D47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf9bde99ed3c9f1a4df3c98d61827e461c1007e2","datavalue":{"value":{"time":"+2021-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4992895$46EF654E-783D-4C91-9992-A388CDADF2C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a296cc336b751930e348603bef804f3c4e4615ae","datavalue":{"value":"http://eptcs.web.cse.unsw.edu.au/paper.cgi?FICS13.2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4992895$A79C9FC8-BA98-43DE-832F-080642A8E204","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992895$D967ADA5-FC00-440C-96BB-AC749F6E19F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df4a7fa54c94812ae341a24ea187f32dab4a392f","datavalue":{"value":"7357538","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4992895$5C47B272-FA6D-4DCD-8E3F-FB42653E35DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc402d38834f47950a92c3a03e8f6ae3a4e6a78","datavalue":{"value":{"entity-type":"item","numeric-id":639644,"id":"Q639644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4992895$90BD25F5-1BEE-40E2-9830-E1D9E571E0DE","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":"Q4992895$41846840-F35E-4469-ABFE-7A96844169EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57a379a2c680d03a5908747ab00f2ddaa7482858","datavalue":{"value":{"entity-type":"item","numeric-id":4589615,"id":"Q4589615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f3867da71cbfce52b08b23ae91130a20f28ea5f","datavalue":{"value":{"amount":"+0.9985689520835876","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":"Q4992895$4459E855-FB6A-41E6-9A26-F4DFB9EEA674","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c7327cc9917572c30f723c8f6e8f35eab701268d","datavalue":{"value":{"entity-type":"item","numeric-id":5410688,"id":"Q5410688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35c7f9d2e59e11fdcf8bbe0495f72c7a9339c160","datavalue":{"value":{"amount":"+0.8985174298286438","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":"Q4992895$357BCE6C-9164-45D1-950C-BFD87ECB7C2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ee23c0fddcfc214e8622d76ce20bf41db3c673e","datavalue":{"value":{"entity-type":"item","numeric-id":5275344,"id":"Q5275344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b67356f943104e0a1daa301ae0768afc2138d508","datavalue":{"value":{"amount":"+0.8097890019416809","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":"Q4992895$829D94AA-A635-4BBD-BCB3-0AF435F3CA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f10c8f423222f332e5a5812a8b0bca0964da141e","datavalue":{"value":{"entity-type":"item","numeric-id":3184736,"id":"Q3184736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb0c2429e7307e4c5c89f2bb4e068d3bbc9be125","datavalue":{"value":{"amount":"+0.7961677312850952","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":"Q4992895$94AEEB4B-6EA0-43D5-A543-A1D9F0543E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5f24a9e9ed39de44bdcc7248ea34b175533ad328","datavalue":{"value":{"entity-type":"item","numeric-id":4580201,"id":"Q4580201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f08fd4e3c0b4ccc44597fb076ef3549889cd8a5c","datavalue":{"value":{"amount":"+0.7735843658447266","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":"Q4992895$7112915B-3C8F-48EE-9E22-77127F2E64E5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"From branching to linear time, coalgebraically","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/From_branching_to_linear_time,_coalgebraically"}}}}}