{"entities":{"Q5367066":{"pageid":7396640,"ns":120,"title":"Item:Q5367066","lastrevid":58540950,"modified":"2026-04-05T16:17:56Z","type":"item","id":"Q5367066","labels":{"en":{"language":"en","value":"Environmental bisimulations for delimited-control operators with dynamic prompt generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6790164"}},"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":"Q5367066$F2FEDA42-7E42-47E7-8CD4-47AA51DD5226","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff637a01fcd58b13a873da07d7005183d90a550f","datavalue":{"value":"1421.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367066$A2C0C53D-39EF-420A-B82B-CFB1C9DF560D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"18729ddb0bfd845cabb528fceff1cd6fdfa9b75e","datavalue":{"value":"10.23638/LMCS-13(3:27)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367066$7E3EF015-D827-4BDC-B162-768C8650A8B5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d9426842c2b6102fc563ed36dacb1e41d357931","datavalue":{"value":{"entity-type":"item","numeric-id":3000604,"id":"Q3000604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367066$49C41760-BDD6-437E-AC3F-EFC2D9217518","rank":"normal"},{"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":"Q5367066$B3BC89D0-0C39-4F6B-90F7-E753ABF64E39","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":"Q5367066$B895878B-70F6-4DA2-BD36-B11842BA407C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5d15931f2a428c8477f7ea628f404a74826e0223","datavalue":{"value":{"entity-type":"item","numeric-id":2130581,"id":"Q2130581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5367066$70D34D70-7E58-4622-8430-9882C642E4EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9c0381aec861f5a199f46f1776607b0e02f2cdf4","datavalue":{"value":{"time":"+2017-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5367066$895E0C6D-9254-4552-A127-F695540911DF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c64d6a2e43dcad1b0231186cc946681c46ff09b0","datavalue":{"value":"https://arxiv.org/abs/1611.09626","type":"string"},"datatype":"url"},"type":"statement","id":"Q5367066$9C18954C-CE8A-4598-91C9-4CDB2A668D00","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367066$9A8583D9-8970-4FE3-A5A5-4C93FF977343","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0fe8d52c57e3c489fe69bcd0c6c85df4fe2a24db","datavalue":{"value":"6790164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5367066$E4615A80-0760-43CB-BC1D-431158D51DBB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9d82f51c7dcdf0aec1b17d666db45a3adedfed4","datavalue":{"value":"delimited continuation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367066$79E40BFE-BC9E-48C0-9168-FD3B41E3C0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9ab461b792863b2f0a038f890407a310fa15da9","datavalue":{"value":"dynamic prompt generation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367066$FCFACEEF-3235-4209-A4DC-AF43CC7ACAC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b6692564b9126396903952c44aa98b86a268b23","datavalue":{"value":"contextual equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367066$348984D2-CB91-46D6-9EC5-E7D08F765D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f0b6b561661f7ff738af74c31debb838e599d93","datavalue":{"value":"environmental bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367066$185EDFFA-D8AD-4577-B1B7-BB3D646756F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"accb30d5ec978d01697ffb1d2a5e1968202acbb5","datavalue":{"value":"up-to technique","type":"string"},"datatype":"string"},"type":"statement","id":"Q5367066$EFAA898E-C39D-4313-AF7B-709B3976E447","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":"Q5367066$5C1FC90E-2B6B-4763-AB56-FB395DF20C3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22165b347de98f710a4a7e2554e07d1a70ca1794","datavalue":{"value":{"entity-type":"item","numeric-id":5369474,"id":"Q5369474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f55992c8ed30cdb5bcc1088748aab497f3290f1","datavalue":{"value":{"amount":"+0.9975402355194092","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":"Q5367066$1EE6FBB0-2B73-44AE-B7ED-FECA50B9A8ED","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":"dcf71265275f22dac03f1e24eb44f841cf92527e","datavalue":{"value":{"amount":"+0.8802082538604736","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":"Q5367066$6965A3B2-533D-4E2B-B48A-9BD0F494D45B","rank":"normal"},{"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":"f85d4e6216f8aa0b24dd1591c96ec9faf1ab0b00","datavalue":{"value":{"amount":"+0.8132115602493286","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":"Q5367066$FF380C9D-AD41-45A9-9C5D-5E5D57C33675","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":"be6aef6b83d2498fe03052f26cb0f12264659e22","datavalue":{"value":{"amount":"+0.7928107976913452","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":"Q5367066$4A4FF727-DD14-4D17-B48B-4E89CE301AD1","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":"6db9b87d366786f55d7025e93403fcca3bc764c9","datavalue":{"value":{"amount":"+0.7868041396141052","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":"Q5367066$72E428C9-F7D8-460C-ADB3-334230666F41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5367066","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5367066"}}}}}