{"entities":{"Q2968415":{"pageid":2979140,"ns":120,"title":"Item:Q2968415","lastrevid":58090341,"modified":"2026-04-03T18:35:51Z","type":"item","id":"Q2968415","labels":{"en":{"language":"en","value":"A hybrid linear logic for constrained transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6694183"}},"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":"Q2968415$761FD1E1-0540-441B-BA5D-F0B54C5D4F17","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b37abec808aa20d45fc2137823300954bfb007f0","datavalue":{"value":"1359.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968415$F6AFDCC2-2FCC-4C11-9EE7-7301915522CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"20c32845a86517c3925e9fa1724cfe5786b42b11","datavalue":{"value":{"entity-type":"item","numeric-id":928658,"id":"Q928658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968415$9CA1A097-B48B-4D83-B96F-386156B50704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e18514c052906fdc7b4ca4d0942d5aaa597b9ba","datavalue":{"value":{"entity-type":"item","numeric-id":688726,"id":"Q688726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2968415$12737AF2-2895-4B93-81E4-DA389C1940C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"856edffdf82e86092e797d3b8ee58dc208c2c6a3","datavalue":{"value":{"time":"+2017-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2968415$C8CB3E66-4213-4C98-9D92-CBE469481CB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9e7c957feb7d63c32530989e8f9182889261d98","datavalue":{"value":"https://arxiv.org/abs/1603.02641","type":"string"},"datatype":"url"},"type":"statement","id":"Q2968415$DC6B74DA-4A17-4C77-90B5-1416A7F34E6F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968415$962DAD02-0A60-4A33-A099-CE13C78F5ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968415$5B8B401C-96BB-4E3E-B072-C1BC21205C55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968415$C7BAD6AF-7160-4A80-AD1B-F8117A7E75FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e25a80f7aa9b578c41a18295fa056ee9d2211b2a","datavalue":{"value":"6694183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968415$C85BED3B-0294-4F9A-9801-E284E8AE22EE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968415$4CF64106-3BBE-4B80-9B5C-E21461C783AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1368887f4acfbec2e1c0287c5ff5f6f23b1dc245","datavalue":{"value":"hybrid logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968415$7A3C1D12-1014-4BF5-AEE0-39E8CF5832FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a8b0abe70fcf44ae4bd177165feb61056cf2253","datavalue":{"value":"stochastic pi-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968415$B6E2D69B-82F1-427F-A0B1-856D0D361A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98f41781e04ce8b5a53d7eeddf045b92e5e84bfa","datavalue":{"value":"focusing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968415$6614E15B-9B0F-4296-813E-CFB7F4719ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"955ae0864b7877b34a072672137a835899d70acc","datavalue":{"value":"adequacy","type":"string"},"datatype":"string"},"type":"statement","id":"Q2968415$F408E6E0-B15F-49D7-A0E7-54F04837C0AD","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":"Q2968415$AE4C3945-ED9D-4AF3-AD3D-F9EFDAB761D4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b85bd25b92d91c37f28594cbc8dc082be988208","datavalue":{"value":"10.4230/LIPICS.TYPES.2013.150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2968415$18DB9F9A-DF55-498D-8D54-7EF3BEFD8E21","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb4c99657146f6c8caa1831cde1de9d4b29b90ad","datavalue":{"value":{"entity-type":"item","numeric-id":5236552,"id":"Q5236552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a85fa028f75cf312d4d7cfe4eee9a296a0819d23","datavalue":{"value":{"amount":"+0.7610113024711609","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":"Q2968415$2C5F1C3E-63FC-4B2B-AC10-594839C36556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bbb8cd863147beb295c3db490fd27853febeb91","datavalue":{"value":{"entity-type":"item","numeric-id":1398474,"id":"Q1398474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"568af9941071de34b2af69339e163e6e6071529c","datavalue":{"value":{"amount":"+0.7595144510269165","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":"Q2968415$921D4DF8-5975-4ECD-B212-3E1A0F2A8293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d07645af9996907161803a797e8c0c6d4eae8c34","datavalue":{"value":{"entity-type":"item","numeric-id":4222839,"id":"Q4222839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"777f1920f7f44dbcfeb5de1d81164e3fe64970bd","datavalue":{"value":{"amount":"+0.7551533579826355","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":"Q2968415$7DC0EE3A-946E-417A-A862-695F418EDED5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a7f9283ca264904acbdeb3709c52260f09e61ed","datavalue":{"value":{"entity-type":"item","numeric-id":2757849,"id":"Q2757849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7db6f2ec385bcc35f3a79317d090ebef5e4a399","datavalue":{"value":{"amount":"+0.7386634349822998","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":"Q2968415$DFE5076B-5EAE-467A-B729-0E29146E1956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc47658fbde05d76bd9a05e291da30b133402539","datavalue":{"value":{"entity-type":"item","numeric-id":4699356,"id":"Q4699356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcf445e1ca85cfe5746823eb6246afdcc282cf75","datavalue":{"value":{"amount":"+0.7348151206970215","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":"Q2968415$5C5FB265-FEB6-4B6D-BCCC-D91FB7DADACA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2968415","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2968415"}}}}}