{"entities":{"Q2708307":{"pageid":2719046,"ns":120,"title":"Item:Q2708307","lastrevid":47599741,"modified":"2026-01-02T04:40:19Z","type":"item","id":"Q2708307","labels":{"en":{"language":"en","value":"Completeness of bisimilarity for contextual equivalence in linear theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1588164"}},"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":"Q2708307$F7E96ACA-C7BB-400B-A7B7-4E2B58BECA50","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b1ab713fff02f4fd6030c4f6e74da9dc27541638","datavalue":{"value":{"text":"Completeness of bisimilarity for contextual equivalence in linear theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2708307$3151F9BD-BBCD-463B-92C8-6D1074DDFA49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f660d53869d97fbe7448ed3daddc0239fbc25975","datavalue":{"value":"0970.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708307$DD02632F-A338-4AD7-9DC7-AF52B37AEA66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a40fb8ae99741e91d6a63c85400bf5c0ece51d8","datavalue":{"value":{"entity-type":"item","numeric-id":265796,"id":"Q265796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2708307$B7A3587A-E982-43AA-8534-559271C77B37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6c0c12789b1c65edf998b307fadc1a05e2a1e26","datavalue":{"value":{"time":"+2001-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2708307$6810A0FA-CA0F-45C6-BEDF-F068AD9D071E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cee54a64e73bb76c8f8f84e240b27a66fed4e585","datavalue":{"value":"https://semanticscholar.org/paper/b8a1af0a848270b1c69d945c7d629a7761805f81","type":"string"},"datatype":"url"},"type":"statement","id":"Q2708307$83F944B6-D554-4740-93D1-9D85086B84EC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708307$ACD40564-04C4-47AB-A62A-255F4A0553DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708307$CC1FA257-EB10-4B81-8A9C-B44DE78C98C7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"763dab489f7ca071f1fbf584a63cfc33de6712a2","datavalue":{"value":"1588164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708307$FC882A1F-958F-4992-91A4-B633A0F688AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2708307$2A66E4A8-AE25-48F3-BE2A-B32668CD4330","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":"Q2708307$C68A833F-0FB5-4BE3-B826-5F6C0885234A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"280f04a1f998fdf7b85708ba6fe7e4103a02d7fe","datavalue":{"value":"W1979699267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708307$935EE720-8F2A-4F76-B700-96E0CDF66273","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdb06cd55f6164733be84d0fd539b968e0d21045","datavalue":{"value":"10.1093/JIGPAL/9.1.27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2708307$90DA8B5B-9513-44A8-99C1-27853A75F9B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2708307$AA301753-10CD-4332-AB20-E9430A6142FB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e96f794f195212c52036e4aadb67f10ff32e1fd","datavalue":{"value":{"entity-type":"item","numeric-id":4222760,"id":"Q4222760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a43a32b491952aa87fce76de252ec26aaf236916","datavalue":{"value":{"amount":"+0.7796563506126404","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":"Q2708307$C50FAA6F-88F8-4FD8-875F-727CB71C2E76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccde78329dd62226881d737e7cbedd37102b6d9d","datavalue":{"value":{"entity-type":"item","numeric-id":5276135,"id":"Q5276135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c98eb5afb47d120e198d11028f3f576c80bc922","datavalue":{"value":{"amount":"+0.7739065289497375","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":"Q2708307$1672F1E3-A366-4C69-8F7F-8B0045551260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f176c942cf27e3d294c17277d98f39de75383689","datavalue":{"value":{"entity-type":"item","numeric-id":4508401,"id":"Q4508401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a89bff2dc23b4fdb5a57663a676cdada9fbfe092","datavalue":{"value":{"amount":"+0.7732182145118713","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":"Q2708307$597123A6-EB2E-4E3A-8A22-ABB0246F06C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23cb0ecb65a119c9d7fd6bc8a485baa7617b2694","datavalue":{"value":{"entity-type":"item","numeric-id":4870806,"id":"Q4870806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c80c0cf2f96e7ac80a824626c83e9a2d905c95a","datavalue":{"value":{"amount":"+0.7655960321426392","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":"Q2708307$950DD46D-69EF-41C0-84DF-7A882D295DCB","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":"2c80c0cf2f96e7ac80a824626c83e9a2d905c95a","datavalue":{"value":{"amount":"+0.7655960321426392","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":"Q2708307$7BA36B15-688B-4C0B-8012-16EF35F35D8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2708307","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2708307"}}}}}