{"entities":{"Q5410682":{"pageid":7440256,"ns":120,"title":"Item:Q5410682","lastrevid":51980627,"modified":"2026-01-20T16:35:18Z","type":"item","id":"Q5410682","labels":{"en":{"language":"en","value":"Upper-expectation bisimilarity and \u0141ukasiewicz \\(\\mu \\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6286344"}},"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":"Q5410682$645704DC-9775-42B6-A573-C023AA2D370A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbcf4c7a194b78c45f7c7bf57fbdb85d1d303428","datavalue":{"value":{"text":"Upper-Expectation Bisimilarity and \u0141ukasiewicz \u03bc-Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5410682$D2EA64F9-4C38-45CA-AC81-1BF53D91C0CA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2b68386652e0f357837944a9490dc9baf0532ed4","datavalue":{"value":"1405.68218","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410682$1EB51CEF-1E54-4156-A89B-655931ABACD5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"79858ca99f9451b6df1a44be43d35ca9df7c3b45","datavalue":{"value":"10.1007/978-3-642-54830-7_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410682$444F6ED8-ED9A-4610-9675-AF053C7EB33F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"466f8d3b528aff7ffa9f33e27b9f8701a8563e0d","datavalue":{"value":{"entity-type":"item","numeric-id":2289093,"id":"Q2289093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410682$76420BB8-1143-4819-A506-A3E4F41C01B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5410682$7E71991B-910F-4E49-A522-C6FAC36FE685","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a3c251b63516e63161db6918c2e83c80c7676385","datavalue":{"value":{"time":"+2014-04-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5410682$92466DED-AABE-47E9-B5AF-30D1133F439C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410682$AE4A9EC7-0A1B-4DF8-8418-19220B556F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410682$A5DBE8A6-A21A-4FEF-8FF8-086FD97AED90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410682$B69A0521-BCE3-45AA-B14F-D4FAAEF9A204","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6efc46c4eb09eb6b394b972d65fb28a36ed1eecf","datavalue":{"value":"6286344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410682$978BC50A-83E7-4B6A-8886-F874433FC949","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":"Q5410682$D1ADDEE2-9D17-4E45-A173-3E4BD0036B9C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"240bc666718af2833fa9c7200a32008c5216c67e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-54830-7_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q5410682$203A2589-4163-4F2A-9382-3A5E8A8B4E2C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7776adffeec5f3f850dbb4a822bd03b82ad459ea","datavalue":{"value":"W60875600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5410682$3CD6B45D-2BD4-4FD8-A9DA-3D9A51A621FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a34fb33233288677cb4d36670355a53519645dc","datavalue":{"value":{"entity-type":"item","numeric-id":4571977,"id":"Q4571977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0211bc2b302bfd78d5eb174ff81bd54ec0864f3","datavalue":{"value":{"amount":"+0.7897762656211853","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":"Q5410682$521F28F2-ABE8-4257-8C52-B1B6E2E02406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7788b629a24741a83a77059e6c66cb77a96d49b2","datavalue":{"value":{"entity-type":"item","numeric-id":1960528,"id":"Q1960528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"667aa10457921bfe45928aef13e1b858806e6649","datavalue":{"value":{"amount":"+0.7797252535820007","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":"Q5410682$C5D89DD8-522E-43B1-8511-23D6AD88D2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf58f55d5aecca1bbc6d4ca51438fba6991270a2","datavalue":{"value":{"entity-type":"item","numeric-id":1175940,"id":"Q1175940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d408d7c3094c2d54da099daeb626600da6946eaa","datavalue":{"value":{"amount":"+0.7707567811012268","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":"Q5410682$D6FB23C1-5B70-473B-9088-5CE0BEDA0B14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d48d73dc5dfe8627272d0137e48eaa37182eb5f2","datavalue":{"value":{"entity-type":"item","numeric-id":4992900,"id":"Q4992900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a3dc8807b32cfd229c7479d23220bda0f20133b","datavalue":{"value":{"amount":"+0.7659980058670044","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":"Q5410682$B809331A-53FD-4AB7-8195-40BB78EB9470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de04094b55ade4921f5d26fe1c1498310d4851a4","datavalue":{"value":{"entity-type":"item","numeric-id":1680507,"id":"Q1680507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b71b7d7bbdd259e69c7260a904cee8662caf8052","datavalue":{"value":{"amount":"+0.7654477953910828","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":"Q5410682$E26773D1-3309-4DD1-976D-E2610CB74CE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5410682","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5410682"}}}}}