{"entities":{"Q2900257":{"pageid":2910982,"ns":120,"title":"Item:Q2900257","lastrevid":84952499,"modified":"2026-06-03T05:18:26Z","type":"item","id":"Q2900257","labels":{"en":{"language":"en","value":"Normal form bisimulations for delimited-control operators"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6059265"}},"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":"Q2900257$0EAE4AA2-D5E3-4F85-B27C-6994C1C86A45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3dcdc92839462c955ffe906b12b692ea2b3b9374","datavalue":{"value":{"text":"Normal Form Bisimulations for Delimited-Control Operators","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2900257$A351C95D-CBDC-4DB8-802A-9ADD3799C1CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e074073183f3e66c83be01641fbdd3efc3ebfa36","datavalue":{"value":"1354.68044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900257$F6C8068C-8A81-4151-A2C8-BA2F345DD783","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d109ff6559fe70d48952205ab6e54060536b6f53","datavalue":{"value":"10.1007/978-3-642-29822-6_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900257$55F45C98-B430-4586-822F-AD6CCB612948","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aac8057f9fd1520fcbc0231a1d841513ef433ea8","datavalue":{"value":{"entity-type":"item","numeric-id":283737,"id":"Q283737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900257$DAF4016A-8703-415E-ACE7-6DB6AC2E4F23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34d559683f27157f77bd17779cb2a67ae4a95cea","datavalue":{"value":{"entity-type":"item","numeric-id":283738,"id":"Q283738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900257$7305DF3C-998A-48C4-A843-3A4D3C16A2AC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a2a09b5cba4f9e4657809ce2fd194ee37ff6e885","datavalue":{"value":{"entity-type":"item","numeric-id":2798252,"id":"Q2798252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2900257$412B51E3-8463-4FA3-ABF8-199CD3E5B8D7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f68cb3c87baf768a64bd6e3aa1148be541c492c4","datavalue":{"value":{"time":"+2012-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2900257$76ACD8C8-0A59-4980-90E4-BFF4A2D74475","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f27f89fe4062030a4f3b087094ebc9b290e2d371","datavalue":{"value":"https://arxiv.org/abs/1202.5959","type":"string"},"datatype":"url"},"type":"statement","id":"Q2900257$DD658926-6D07-4E6B-9055-27C19D9C694E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900257$AF627070-3661-46DD-9B3C-D3F7D935C5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900257$3B05CE8D-4D0B-46B4-BD70-FFD95DAD3339","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"17957e5a8422656c455723ac2ddf35cdf60a7e19","datavalue":{"value":"6059265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900257$261BDF49-E053-4FEB-8563-F4F64EA9FD50","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":"Q2900257$5D3290C2-2915-4E03-8DD3-CEB8613C49F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd2fc32d589495fbf4ade15da49749fe7be7fdb0","datavalue":{"value":"W45878689","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2900257$6AF87AE7-A732-4C0F-A693-703C2364B79D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87be3d9c9b78f748d2f4fca63733e135a824b888","datavalue":{"value":{"entity-type":"item","numeric-id":5377471,"id":"Q5377471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5727598f4e6bf1170898d13c400d1f40ec578cbf","datavalue":{"value":{"amount":"+0.8934329748153687","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":"Q2900257$7CB9060F-428C-4F1A-ADB0-B7BDC12701AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e93a2885fbfcad8c8d7d7bba6bb88774a65db06","datavalue":{"value":{"entity-type":"item","numeric-id":2892764,"id":"Q2892764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f06b6377b2461d6831185ea06ef5bef2e3b4eb7","datavalue":{"value":{"amount":"+0.8860381841659546","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":"Q2900257$C6A508ED-46C4-4DFC-9105-E05FA15090DC","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":"b17e10c33aa765c3aa142c21f520513852272be5","datavalue":{"value":{"amount":"+0.8725559711456299","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":"Q2900257$830F6C5D-350A-4F6F-98EF-DA31221F18AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97213f4abcf4e8b14ba06467622adfaaf23c0640","datavalue":{"value":{"entity-type":"item","numeric-id":2937796,"id":"Q2937796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdfc485f365303987ebb8de43eb8754485d278ec","datavalue":{"value":{"amount":"+0.8585172295570374","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":"Q2900257$92D4520C-5B69-4C89-9238-2ECDF3C21DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4709877b372ca0fa9cba969462cf15148375a25","datavalue":{"value":{"entity-type":"item","numeric-id":3179291,"id":"Q3179291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa57221e616d1a811e41186daa40dc6e958faad8","datavalue":{"value":{"amount":"+0.8002570867538452","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":"Q2900257$B324477D-39AC-4298-BD9F-97CF3B684141","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normal form bisimulations for delimited-control operators","badges":[]}}}}}