{"entities":{"Q5411640":{"pageid":7441214,"ns":120,"title":"Item:Q5411640","lastrevid":51984146,"modified":"2026-01-20T16:45:41Z","type":"item","id":"Q5411640","labels":{"en":{"language":"en","value":"Origins of bisimulation and coinduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6287992"}},"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":"Q5411640$AB40CEC3-1000-499A-A4EA-BAFFB687D112","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"360bee26ce145dac0aaefab71a29b959b1eb1916","datavalue":{"value":{"text":"Origins of bisimulation and coinduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5411640$AD5053B4-52A8-452A-9F80-CEECF0176860","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b242d960c8ba8b462c2849e4da7db6f7acdcf51","datavalue":{"value":"1285.68112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411640$5A01AD88-8624-4638-95E3-A1FAEAA73949","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"edfe0272ad98d8291273cf5fb0aedfd8c4a4fbd0","datavalue":{"value":"10.1017/CBO9780511792588.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411640$334DA77B-8C0C-4F50-9A86-041E27026F8A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a523e92a90e1412b878e9cc1a8f84e3e5e6b92b5","datavalue":{"value":{"entity-type":"item","numeric-id":342733,"id":"Q342733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5411640$C67BD640-1F69-4D42-9247-D55F7C35DF87","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6d927eede0b11e6531a43cd8385429ddeb958c3","datavalue":{"value":{"entity-type":"item","numeric-id":5411639,"id":"Q5411639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5411640$8EB5BA3A-3F5A-40CD-A9B3-E00750CE2A96","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f948fd99d5076165c83d676414494f03dfc11c9d","datavalue":{"value":{"time":"+2014-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5411640$132314B4-6D5F-4AA4-9649-5398A657ACFD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411640$B4F194A8-42C9-4A68-9610-6648B90EB284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"540259e42205310d3310d3dad9dbe9ae50303b84","datavalue":{"value":"68-03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411640$21D2ABEE-C8FB-4DB6-BA6C-35BC9AC7E614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411640$08721E01-085E-42C1-86C2-C0E03D9F78E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d0015fabf29d826e665261dc9c577f9e278fb7c","datavalue":{"value":"6287992","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5411640$CB73DD56-5726-4936-9CE4-CF5C724230E7","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":"Q5411640$AF433F77-28F0-4AF7-ADE1-6B07E2F1FB0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e497e89d3f907bd920ef245c3f449e961dfcb71d","datavalue":{"value":{"entity-type":"item","numeric-id":5411963,"id":"Q5411963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a93d1378ace9844087b2f8f35b41f720b9a213e","datavalue":{"value":{"amount":"+0.7986312508583069","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":"Q5411640$F4336D4D-C2AC-4C86-A710-1F2913986205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"203b5622731250926e249e14d57baa573ec3054b","datavalue":{"value":{"entity-type":"item","numeric-id":2280213,"id":"Q2280213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7b955c7a1efa0ba26efe6ce5bbda752b3bd41b4","datavalue":{"value":{"amount":"+0.7818724513053894","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":"Q5411640$D26D3B30-5A63-49B1-A53B-3FA9060AE993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18058cdc97f17728411a631c14c4a288d35d8928","datavalue":{"value":{"entity-type":"item","numeric-id":3118994,"id":"Q3118994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a413708d9c8cea2bb88cb604d1d2cdbfb1a4f840","datavalue":{"value":{"amount":"+0.7675048112869263","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":"Q5411640$2673759C-9722-4663-B9AC-EDAA1EDDA30B","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":"903d13d73f77cbef7e79c591df3696fe1639169f","datavalue":{"value":{"amount":"+0.7529340386390686","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":"Q5411640$DEC4D0D6-5941-48D2-9B5D-40E600D84BD0","rank":"normal"},{"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":"f0e5d2865e2454400ce4fbaed83a239da0ad8af9","datavalue":{"value":{"amount":"+0.7525172829627991","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":"Q5411640$AD97FFF9-8CAA-4FAB-953A-1546D5EFE026","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5411640","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5411640"}}}}}