{"entities":{"Q3184736":{"pageid":3195444,"ns":120,"title":"Item:Q3184736","lastrevid":80185538,"modified":"2026-05-06T15:37:24Z","type":"item","id":"Q3184736","labels":{"en":{"language":"en","value":"A Coalgebraic Characterization of Behaviours in the Linear Time \u2013 Branching Time Spectrum"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5619444"}},"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":"Q3184736$72C7B631-FB1D-4D6A-A5C2-98BA46A2AE8B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ef64da985b5ba2107466287cdbe207b4b24534a","datavalue":{"value":{"text":"A Coalgebraic Characterization of Behaviours in the Linear Time \u2013 Branching Time Spectrum","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3184736$D97B6CC6-738F-4885-A7D0-C9DB6A969926","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9792255cffaad13b06e023fd7e00db390f8378dd","datavalue":{"value":"1253.68230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184736$D1D68FDD-85BB-4CB6-944E-B21A97F1251B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"74ceed748cb3a6aad4c239293ec505ad9dafb5a3","datavalue":{"value":"10.1007/978-3-642-03429-9_17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184736$9BF69DDC-3CBE-4FF3-8200-03F18094F90E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"355fa2304b59f2df130700a6c93add4876a1709d","datavalue":{"value":{"entity-type":"item","numeric-id":1127516,"id":"Q1127516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184736$81B6E18B-A6CD-424A-8E49-24ACBCF7DCC3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4d7065e0d9bdf39aae4d6612408d45679d40eb4d","datavalue":{"value":{"entity-type":"item","numeric-id":2787332,"id":"Q2787332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184736$290FD649-C256-4076-A8F0-6F8DA6A79A62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6c2de73c647c0262c334db84c7701bb7132e3320","datavalue":{"value":{"time":"+2009-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3184736$E50DFB86-6D87-48E6-AF69-3079BE070684","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184736$FFDF1136-330C-4941-BF92-EB23868321A6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7bb52c9ad3e5af6058bfc43522eadedc41834704","datavalue":{"value":"5619444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184736$65723AF8-D199-4BD5-9F8A-D468F23E787B","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":"Q3184736$58705FA9-4F51-4885-9E70-4EBE0B507139","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edbf6d756700745cc4876a0c92142903702d491b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-03429-9_17","type":"string"},"datatype":"url"},"type":"statement","id":"Q3184736$015A00E1-B761-43F1-88C7-9BE31285B344","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f94e98515c35bc9e12f2ef25e714c119bf7b151","datavalue":{"value":"W2489192787","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3184736$01B39A51-FDE3-46D3-9700-5C193831B4F9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"59fedeaa1673af7bf11539505ca38c04f5218c0f","datavalue":{"value":{"entity-type":"item","numeric-id":1583483,"id":"Q1583483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184736$6B4FA7C2-6ECD-4BC4-8459-BA69B838241B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8bde89a2565987f3fce774ef2cf6b25f306124df","datavalue":{"value":{"entity-type":"item","numeric-id":2760238,"id":"Q2760238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184736$9541411E-D7CB-4549-B865-DE4F4889FC07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48df1c393c8f3c965ae9348185bda8d441997e8f","datavalue":{"value":{"entity-type":"item","numeric-id":4499221,"id":"Q4499221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184736$CC896351-9CD1-4654-BA16-C1029548B872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fee4b392a083ae5ce978518afd88a9b7efc82696","datavalue":{"value":{"entity-type":"item","numeric-id":2847813,"id":"Q2847813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184736$E0B41DC3-747E-42FB-9D61-583A0B8F7448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c240698aed86550f2448737e4b38388d08f8200","datavalue":{"value":{"entity-type":"item","numeric-id":5453504,"id":"Q5453504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3184736$D3DFE42D-5149-49E7-ABBB-E991B4FD9583","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f9d843d45247397ee9bc14ea2b0f2182f3a09e","datavalue":{"value":{"entity-type":"item","numeric-id":4499221,"id":"Q4499221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f6e5fad4b713908896cea806160048f42252e74","datavalue":{"value":{"amount":"+0.8286638259887695","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":"Q3184736$EF803427-4B91-4073-9C3B-3693DE539E1F","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":"e536e699715cf0d31594f7f6384f326e4e71e968","datavalue":{"value":{"amount":"+0.8022193908691406","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":"Q3184736$2CD4E9C5-CD0F-4A9C-B38A-1C39E947F132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"741a91472e11c8c4d166a9c77592a0ddba1508e7","datavalue":{"value":{"entity-type":"item","numeric-id":4992895,"id":"Q4992895"},"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":"Q3184736$EE425AFB-4C7A-4E60-A7ED-844A7CB61B66","rank":"normal"},{"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":"9764e22da42e82ebcf073f86ea11123d1255752f","datavalue":{"value":{"amount":"+0.7949892282485962","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":"Q3184736$2FCCE82D-2F00-4F17-ABDF-971019367BE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24fc6f4390b257dd373c3e26d682b9e479193e1b","datavalue":{"value":{"entity-type":"item","numeric-id":3008110,"id":"Q3008110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3056e1a13d4af8a59f2ffb508e9e3f25bd622792","datavalue":{"value":{"amount":"+0.7769480347633362","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":"Q3184736$565B42C8-64CB-4D8D-8F98-6946A3242F7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Coalgebraic Characterization of Behaviours in the Linear Time \u2013 Branching Time Spectrum","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Coalgebraic_Characterization_of_Behaviours_in_the_Linear_Time_%E2%80%93_Branching_Time_Spectrum"}}}}}