{"entities":{"Q1798795":{"pageid":1809537,"ns":120,"title":"Item:Q1798795","lastrevid":43331703,"modified":"2025-07-24T19:46:09Z","type":"item","id":"Q1798795","labels":{"en":{"language":"en","value":"Fibrational bisimulations and quantitative reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6962938"}},"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":"Q1798795$D344FF73-3FB4-47B9-9B5A-AD8F798C2B93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5cfbc0209169242ac73bfe144a43488a5030f806","datavalue":{"value":{"text":"Fibrational bisimulations and quantitative reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1798795$DA76D917-E84B-4D6D-B8C2-8DE5CC623A24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a8a45d234f87d325d0e085fead268f49e5bfc616","datavalue":{"value":"10.1007/978-3-030-00389-0_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798795$3E5B9617-8E06-4152-B460-CF8798FCE543","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eb598de9cf12a426377538ba6dcc4ce7ae83be18","datavalue":{"value":{"entity-type":"item","numeric-id":265827,"id":"Q265827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798795$BCBD6361-3A3E-421A-8BB3-B1197C112249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c03210fd9ce4ad9876a1650d95ea915c3881207f","datavalue":{"value":{"entity-type":"item","numeric-id":1652970,"id":"Q1652970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798795$23EDAB94-80A5-4D6F-95F1-35AF2BDDEBE4","rank":"normal"},{"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":"Q1798795$B4E90920-3207-44C0-8EEB-2F7AC46EADE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51cd88fb1b2aefd4c08f2ad3c00c3b181b0a54cc","datavalue":{"value":{"entity-type":"item","numeric-id":265808,"id":"Q265808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798795$93494DB7-A0B6-4F6B-A851-5C761D9A4C4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d6bcb28ae86aeca9fbed36b824032693bb3a4a24","datavalue":{"value":{"time":"+2018-10-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1798795$1B2FBBB5-3E44-405D-90CE-E63511C1175B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798795$F0FA9379-D6B8-4F7B-8499-B2DF32EC9EDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e456766874ac3f828ab748df8a542ae74f14456","datavalue":{"value":"6962938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798795$20693559-C9A5-43BE-8411-AA0980F48A78","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":"Q1798795$EA369DFE-0AEB-4626-B324-3D0AE471F755","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32c5b55c8f9a545e49bf05289417e117afc95e1f","datavalue":{"value":"https://doi.org/10.1007/978-3-030-00389-0_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q1798795$F18FED68-CB69-4272-9590-77CE36E36172","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7bc49d93d18301d637f9fd08edfe50aff0f7369a","datavalue":{"value":"W2890208395","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1798795$51F51360-8C8A-427C-BBBE-E8C1A90F7F7F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b669d99f34e65c2bfc2f278974361852e47e27","datavalue":{"value":{"entity-type":"item","numeric-id":5370888,"id":"Q5370888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798795$9EF598FD-A2B2-4CD0-B665-8C9ED7BC3806","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26f352ffae829b9c9f10785057f2c7ba453625e6","datavalue":{"value":{"entity-type":"item","numeric-id":5275341,"id":"Q5275341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798795$B1768384-E8E3-47AB-B766-6FEAA2CC0E50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e5d3de901be6fcb31b3d5b2f374093d03b491cb","datavalue":{"value":{"entity-type":"item","numeric-id":2978531,"id":"Q2978531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798795$2A09400E-297E-4D96-A07E-BCE019BBDDD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65eeabb99db53adaf7c57c5e6c3606fed1fecd86","datavalue":{"value":{"entity-type":"item","numeric-id":4314472,"id":"Q4314472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798795$B4338D35-BF6C-4062-B8A8-783331C206AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eaedb9f602c018e3f49cab3fdcc2051049564e52","datavalue":{"value":{"entity-type":"item","numeric-id":1770428,"id":"Q1770428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798795$4E4C1E32-29CC-491F-A6B3-EE3AAA23B3A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf7f478a0e3334d16e231c4c024432fa7752e636","datavalue":{"value":{"entity-type":"item","numeric-id":3190107,"id":"Q3190107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798795$832F565C-C1E7-4505-BAFF-B70BC7A92BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d1541f94d2a3019ad963efd594514664e26738","datavalue":{"value":{"entity-type":"item","numeric-id":5282109,"id":"Q5282109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798795$0D92394E-5B46-41B9-9826-4C603F62866F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"186ca5f169ce251769800dd796db3edde0ff3490","datavalue":{"value":{"entity-type":"item","numeric-id":693690,"id":"Q693690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798795$08501572-2A76-466E-9C2A-459823A5C54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20088838b4f3ffa48f33c282f01143698cba154d","datavalue":{"value":{"entity-type":"item","numeric-id":4978661,"id":"Q4978661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798795$32B9AC24-BCE8-449E-872E-6AB62FF46018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f9fd495674a30a6494f560f87b92fd51112725f","datavalue":{"value":{"entity-type":"item","numeric-id":265811,"id":"Q265811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798795$0D0905CC-3129-4F7E-BD14-E181DBADD443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d78d52393200885454eb7a1569a92861051e7397","datavalue":{"value":{"entity-type":"item","numeric-id":1275820,"id":"Q1275820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798795$63EA1376-6AC6-4F9B-A9AC-CF704E0AA54C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fed011b6477d8a38f891520002eb83b89a25ac3","datavalue":{"value":{"entity-type":"item","numeric-id":4776572,"id":"Q4776572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798795$EB329FE4-D3DD-46C9-BF20-F504A2313636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6acb3eb05828de28f2584c746c0d8ef3e38672","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798795$BAACF99F-8D37-4AA4-9FF9-B5834CA475EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3403dce4e0e5c6922c01329aaf00bbcd05ac3fd0","datavalue":{"value":{"entity-type":"item","numeric-id":5275349,"id":"Q5275349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798795$D09D12DE-F0BB-439D-9849-4FD38A5FAC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798795$59DDEA28-2113-4CD8-8AA0-0F9869C645B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c581a3c4a73c1364d1b82baa6bd3587e6783b95e","datavalue":{"value":{"entity-type":"item","numeric-id":3341029,"id":"Q3341029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798795$2BCE80D2-067C-4DF2-84A5-A80DA383F45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798795$115BA233-2651-42E8-8975-B96D0157B43D","rank":"normal"},{"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":"Q1798795$C563EC00-B098-46FA-A33A-BAFEBF7E8814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ad29b55a5f1b6fae18fef8ceb9347ace0faef8","datavalue":{"value":{"entity-type":"item","numeric-id":3205396,"id":"Q3205396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1798795$F9B5C7DD-ADEF-4DF5-B8CC-292F285194FD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ebfbd4c943f927725b73f229f484840221c8e78","datavalue":{"value":{"entity-type":"item","numeric-id":5158369,"id":"Q5158369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf69cc195391c87cfea1ed8d4a0cdab28b9f147","datavalue":{"value":{"amount":"+0.9845163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1798795$630A2392-D498-4EE6-BA2B-24EC84A47205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1edb9769746fb42a02708624bdf4fd2c496fcae","datavalue":{"value":{"entity-type":"item","numeric-id":3154151,"id":"Q3154151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"243701179a307917eff30be660619dc075243688","datavalue":{"value":{"amount":"+0.90954846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1798795$F533DAB6-74C0-4A18-B4DD-20ADD4F974D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afcbb6cc2bf3c86e99c08508e4dfbf93875a3d95","datavalue":{"value":{"entity-type":"item","numeric-id":5940918,"id":"Q5940918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad5e58866a25be15b2ed2f0828076a769fadc4f2","datavalue":{"value":{"amount":"+0.90475523","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1798795$9830ECFB-F6E2-46CA-BB4C-86376169BBC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87402d23545b8a131f875c032bcc525578873922","datavalue":{"value":{"entity-type":"item","numeric-id":6044128,"id":"Q6044128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7567afd981da5839418e3c574a81a1ed060b1174","datavalue":{"value":{"amount":"+0.9005842","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1798795$CE0A9605-5297-4642-99CA-ADE4E7691BFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15432f89a9361d534681db843585c301b284627c","datavalue":{"value":{"entity-type":"item","numeric-id":557788,"id":"Q557788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf3553620b01514e1034ab2999a0f334bbf1d177","datavalue":{"value":{"amount":"+0.89423984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1798795$629810DD-A945-4C04-8F17-9BD4C29CCF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e741cc559adec9531f855368e6140ea351d684b","datavalue":{"value":{"entity-type":"item","numeric-id":3509051,"id":"Q3509051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d1639c853c4d34254a6f822a03d9a8914cc0cfd","datavalue":{"value":{"amount":"+0.89056355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1798795$588878FD-A2CC-4BE1-8F4C-0B25FF2179FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd3ad0f1ecb1ddd3c0cfbeb76073648fefbd8395","datavalue":{"value":{"entity-type":"item","numeric-id":3508541,"id":"Q3508541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ba7801d099e8d27798abed9ad7334d60ae603bd","datavalue":{"value":{"amount":"+0.8894101","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1798795$2FFD932F-6217-44EA-8165-FD27E3BB6BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"469cfd6f7b35e21636298c35f32fdfdfeceb184b","datavalue":{"value":{"entity-type":"item","numeric-id":4251927,"id":"Q4251927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d3bbdec172a022aa0ff27423d868daa6b40665","datavalue":{"value":{"amount":"+0.887239","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1798795$B94E3E65-3901-464F-A110-10035ADF8482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f96cf457d3b33a953fc5ad72fe5f3ba1b4c33e82","datavalue":{"value":{"entity-type":"item","numeric-id":3613043,"id":"Q3613043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fcf19858a154a7b764d2b747e169c422809e8205","datavalue":{"value":{"amount":"+0.88706714","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1798795$BAF0C418-DD80-49F8-853B-3199C90D291F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06118b122846af338a6e03cbc1daa09a163f6d98","datavalue":{"value":{"entity-type":"item","numeric-id":4430400,"id":"Q4430400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8a6399ff44882a5cf4c68e44f9b2ff17864abb7","datavalue":{"value":{"amount":"+0.88654864","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1798795$0894AA0B-A7FC-4437-A40F-037A06504BFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1798795","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1798795"}}}}}