{"entities":{"Q6091179":{"pageid":13225486,"ns":120,"title":"Item:Q6091179","lastrevid":57344145,"modified":"2026-03-30T14:06:56Z","type":"item","id":"Q6091179","labels":{"en":{"language":"en","value":"Deciding contextual equivalence of \\(\\nu \\)-calculus with effectful contexts"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770330"}},"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":"Q6091179$9381A0DF-C6D8-4753-844E-A6142906D51A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b948cc57b725d58c06f3332c776f22b26cff4e0","datavalue":{"value":{"text":"Deciding contextual equivalence of \\(\\nu \\)-calculus with effectful contexts","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6091179$0E0F1085-F48E-4DD3-995F-2C44F017F80F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e9a7bf20bf33b91c8cc2e4e43e6baaa8ab61f7eb","datavalue":{"value":"10.1007/978-3-031-30829-1_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091179$FC6E2D3E-65CA-4950-B220-CE0DA598C864","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f4c63b7742bce0ebc681b1f9a00a9ad96e83d07","datavalue":{"value":{"entity-type":"item","numeric-id":225065,"id":"Q225065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091179$DD9D9B1C-3F47-4D14-A6DE-1F197ABFD3AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e0832f544dffd08fd3e830a309d037a114ba169","datavalue":{"value":{"entity-type":"item","numeric-id":1652963,"id":"Q1652963"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091179$C925108B-B68D-48BC-A7AE-D68EA5ECC961","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"22a9c79c052371b28eb607c823f8a45dba05af0b","datavalue":{"value":{"entity-type":"item","numeric-id":2147991,"id":"Q2147991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091179$F017B4C2-CEB5-45F0-AD12-9D875427951F","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":"Q6091179$6E7CD238-3C08-40A5-AA41-E458C1933068","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":"Q6091179$0F7C5F28-EB57-435E-A8DC-D724523F3A07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091179$23D2A67B-4567-4D26-91AD-43DCB4156CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091179$C62F1335-D51A-4177-B45B-7318728D057C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"44f51cfeb019ffac4defb0fc3152f707cabe57ab","datavalue":{"value":"7770330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091179$3C2D70ED-89FF-4DF0-BDEE-6B79E8160A2F","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":"Q6091179$4CE29F17-9D84-43C5-AE78-DDE0DEB180A5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"249cf68e081e2f39a670cd5478e51961ff7404b0","datavalue":{"value":"https://doi.org/10.1007/978-3-031-30829-1_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q6091179$64E7FB97-7BE8-4870-823C-94C4DF6F763B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"42b68bcd22254adf8a2002d847b306bc268483a7","datavalue":{"value":"W4366503988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091179$8D974549-7D5A-4F03-B1F4-732218F62593","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"882e318ac9b6bbd79e82dcc1ce3fe340042f5778","datavalue":{"value":{"entity-type":"item","numeric-id":699761,"id":"Q699761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091179$17130706-8EC1-45F8-9CFF-2432E0B9BA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091179$CE554229-7999-4825-B577-BAC6B0C0531A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"613e4d69f14433d42f0d67718fafac6d8024e31f","datavalue":{"value":{"entity-type":"item","numeric-id":2233464,"id":"Q2233464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091179$26337053-C705-488B-A369-7C80C9C8789B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20c4b79829f8fd84af3b54b011e9baecc4634b7f","datavalue":{"value":{"entity-type":"item","numeric-id":5428848,"id":"Q5428848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091179$E16C258D-1637-4ADF-905E-5315D30A14D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2917306c947a718b506029629905c39e0e968377","datavalue":{"value":{"entity-type":"item","numeric-id":5262939,"id":"Q5262939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091179$6D72BE83-7F79-4290-9712-A3B36BEF00DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd81c8a200ea578a3d6841993e91647c8a6f8297","datavalue":{"value":{"entity-type":"item","numeric-id":2200839,"id":"Q2200839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091179$72815B9E-2D5E-4A83-88AA-1A3095926BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5583e5c752f6e319df38e82d83799f2bcbd1ad81","datavalue":{"value":{"entity-type":"item","numeric-id":3608419,"id":"Q3608419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091179$085A4EF0-5D19-41F1-AF9D-1AFF29D6EF0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f66cc4b433a7230e47e5f58d1ea220d0e92f4725","datavalue":{"value":{"entity-type":"item","numeric-id":5704015,"id":"Q5704015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091179$4E049240-1C47-4905-8C01-99A79B6B3D9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce730ee7a5403b7df2b306c982f584f0979db721","datavalue":{"value":{"entity-type":"item","numeric-id":3000592,"id":"Q3000592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091179$3D949862-4CEE-454D-9B58-4ADC66A3A244","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a35bd77f57c5d7ba62def00af47fed185e633e","datavalue":{"value":{"entity-type":"item","numeric-id":388212,"id":"Q388212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091179$FF7D53D3-A25A-427C-98E7-98D87BBC5F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af0a3a4f8501131ea862bb824b9c30f1b989fc8a","datavalue":{"value":{"entity-type":"item","numeric-id":1650867,"id":"Q1650867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091179$7D9C2C89-E3C2-4B95-9B8A-91743246A5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66257d76632b86525de5e8f5c47c6c6cf781ec1c","datavalue":{"value":{"entity-type":"item","numeric-id":4255509,"id":"Q4255509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091179$A3CC2608-C826-40FB-AEDF-FF78CF745951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb1c457b5fb25731307ea2faa08113b118b77d4a","datavalue":{"value":{"entity-type":"item","numeric-id":4236205,"id":"Q4236205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091179$055D2DE4-5F74-4D4F-8BCC-095963B4FDF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1cb571752706c0bf4628a52352a1a7f232000b9","datavalue":{"value":{"entity-type":"item","numeric-id":2566026,"id":"Q2566026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091179$7602A9FE-978B-4583-865D-DE233175B0C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f9a991a2c760ee7428a40bd667df868cd32c9f9","datavalue":{"value":{"entity-type":"item","numeric-id":3184753,"id":"Q3184753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091179$5433F57D-0912-4AA3-AE62-CAA7ED6252E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d720f0c7d01ab48ba569f9365b68151360f293d7","datavalue":{"value":{"entity-type":"item","numeric-id":3401132,"id":"Q3401132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091179$C3385C3F-99F1-43B3-B7FA-461CC7D77BF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a6a0a3fcbdb92fa0986e1790283356cc95a61a0","datavalue":{"value":{"entity-type":"item","numeric-id":456473,"id":"Q456473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091179$8F8F59F5-DA4A-4D69-BDD6-8CB95435B45A","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":"Q6091179$55CDF8F1-AD18-417C-8004-E45DEBF11A20","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6091179","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6091179"}}}}}