{"entities":{"Q6091306":{"pageid":13225613,"ns":120,"title":"Item:Q6091306","lastrevid":56715504,"modified":"2026-03-19T03:39:58Z","type":"item","id":"Q6091306","labels":{"en":{"language":"en","value":"Effectful normal form bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770429"}},"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":"Q6091306$7FC10502-5C35-453F-A64B-E3EF805197ED","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1193188c0543ff83214b98ca94e982854f9cce14","datavalue":{"value":{"text":"Effectful normal form bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6091306$A73DEE5F-9543-4C0F-9ACC-8CE506415018","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09291f1fe6a73a50f75d0a8534097724b6db3815","datavalue":{"value":"1524.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091306$D341D4EA-1DFE-4343-B943-F864DAA09268","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed900348e90bd26f6cf0badda9c1da570fa678f3","datavalue":{"value":"10.1007/978-3-030-17184-1_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091306$F68BAB95-0866-4C8B-8A8E-C6494B295EF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f9aee8fa2e490413f426890c8aa34847b6dc293","datavalue":{"value":{"entity-type":"item","numeric-id":276253,"id":"Q276253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091306$ECD02E6F-7207-47D5-938D-E5691CF17544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"705529c2bd1a73bb28a5cb8b6e2f186805975b59","datavalue":{"value":{"entity-type":"item","numeric-id":1989332,"id":"Q1989332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091306$3EECF2C6-7EE2-456E-8053-F8C167C96254","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091306$29FE361C-8E29-48BC-A127-E46CFD0E14A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-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":"Q6091306$C5A63615-D5CF-492B-A43F-D6B5B1A0CAED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091306$E15049B6-5CA1-4079-B165-C929BC3C1006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091306$E4A39D44-47C9-4C31-B768-8C12D8D789AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091306$5C9FD129-932E-4253-A8E5-FB93BE8995CB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f88d3de336bbe322ba8180ecee6713688a60e1fa","datavalue":{"value":"7770429","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091306$CF3DAA23-4A6D-46A8-A551-8C4D95F3DCDD","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":"Q6091306$1E4EB91F-932F-4591-9ADB-A943ED7A772D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5be524b4b9957823414715b09ccb09aae8e52caa","datavalue":{"value":"https://doi.org/10.1007/978-3-030-17184-1_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q6091306$C34208B4-F33A-4415-9C66-01958AEEDC26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2f9c39cca036a22151887f6a061db712127c8373","datavalue":{"value":"W2926408490","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091306$458F882C-1BB4-4E42-979C-44192529E68A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d445d896fd5162ca536af165340787ebfbc5e529","datavalue":{"value":{"entity-type":"item","numeric-id":3608419,"id":"Q3608419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6117ad49a02cab0ddd9f58078ad1a0011ad8ffff","datavalue":{"value":{"amount":"+0.8373137712478638","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":"Q6091306$C4295D81-A267-42AE-AA9C-8D95C13F9E3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ce4d8c7ff41d622ab5ed6f37af63a8792dc372f","datavalue":{"value":{"entity-type":"item","numeric-id":5376646,"id":"Q5376646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb08af47fbaf80d02ff12139f137584c67cc8749","datavalue":{"value":{"amount":"+0.8061978220939636","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":"Q6091306$4F080402-DDDD-44AC-B1F5-E89060EA0606","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"601b4d6e968dac206a4dc82d4342afb5ff0f896c","datavalue":{"value":{"entity-type":"item","numeric-id":2130582,"id":"Q2130582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c16ef262a5f5c23058c81ef77ac7e56a1cd5935b","datavalue":{"value":{"amount":"+0.8003938794136047","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":"Q6091306$2E19FE47-DB11-4C3B-8833-BD86C84512CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96728972baf4e1a3e7cb2557baa6d644e414b7f5","datavalue":{"value":{"entity-type":"item","numeric-id":5144664,"id":"Q5144664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d53fe95a8b4aff1f78e479234301b8f2309b83c","datavalue":{"value":{"amount":"+0.7932325601577759","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":"Q6091306$3CD48CC7-E5CE-4DE7-985A-A58B735941BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5bdfeb7906f3d46cde956192c2f4d2ed7dfd31a","datavalue":{"value":{"entity-type":"item","numeric-id":2900257,"id":"Q2900257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec167d50a8c8ba6298c7dc451357cfcd6d4d87d","datavalue":{"value":{"amount":"+0.7927359342575073","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":"Q6091306$8C3EAE28-79FE-416A-B3E8-DE0F3B2C1690","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091306$8B269831-B30D-4007-82B6-A30632957FBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6091306","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6091306"}}}}}