{"entities":{"Q5351962":{"pageid":7381536,"ns":120,"title":"Item:Q5351962","lastrevid":100961381,"modified":"2026-06-05T23:33:19Z","type":"item","id":"Q5351962","labels":{"en":{"language":"en","value":"Relational semantics of linear logic and higher-order model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6767600"}},"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":"Q5351962$9C3F88BA-F70F-48BD-A542-AFD4666F0FDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a75e6ce970b4fab3aa8120b661cc83f2b770776","datavalue":{"value":"1373.68287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351962$4B7B1CE9-3C13-4B71-935E-6B5DDE8C3260","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8585acf488394d94859dd8a321d9964f21e34279","datavalue":{"value":{"entity-type":"item","numeric-id":829825,"id":"Q829825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351962$7A49DE60-3A04-479F-8AF1-08B60CB987C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4c50fe9376530cec8a3eb57fe20f53896f97fa2","datavalue":{"value":{"entity-type":"item","numeric-id":345706,"id":"Q345706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5351962$BB843C63-7DC3-4556-A5A8-D8CC35FF59DD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98ec418c891dba68be18e8fdbc46de88ff46e2e4","datavalue":{"value":{"time":"+2017-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5351962$2486B62A-1CD8-41A5-AAAE-223328FFAB65","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"665adba0b79beae16c7de251193a3bb4a4b50b20","datavalue":{"value":"https://arxiv.org/abs/1501.04789","type":"string"},"datatype":"url"},"type":"statement","id":"Q5351962$B1A8B985-3C2D-4D10-A61E-9DBC79410593","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351962$8799E498-E871-4070-9B87-6B70B0B8392B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351962$D1A80485-DC1A-43A3-BD09-78806AC99883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351962$B60253C3-6F67-42F0-A226-ABE6613F69AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351962$D911826B-C00F-420B-A141-0A69A09DAC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351962$E5FAE26E-4722-4361-93A2-D3062EBAAD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351962$EEC1BB4D-746A-4FD4-A95A-8FA62995F7C6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"218e1bdf1454e252ca8e9a32c8854e8d17d7277a","datavalue":{"value":"6767600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351962$985BC741-AC30-42EB-B82E-C536D4DBBE35","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac3cc7a75bf0ad5989ecefe46cd91f62465e070a","datavalue":{"value":"higher-order model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351962$B38395A5-5FE9-4359-B2D2-0BD68F2A2525","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351962$6E4FD723-EF7E-45AB-9A9E-2DE13371A79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351962$C8A0B22B-9370-45D9-B4CF-19B36E71BB95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351962$3F414CC0-5361-4407-A074-7ECCE86F9122","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f0b1eb2aaac8bad5ee7c46a88d39e4b0e6b60944","datavalue":{"value":"parametric comonads","type":"string"},"datatype":"string"},"type":"statement","id":"Q5351962$EB1DF9AB-21DA-4FE4-8841-8036E9E6C74B","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":"Q5351962$807E6E15-C2EF-455F-B259-C7A36DCA7FE6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a40a2200b6f7fd56ef52912336ae76ed90165235","datavalue":{"value":"W2962716594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351962$A945BD15-EDDA-4FE6-AEFF-79718A5DBBB0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2b7f9a049c92079150e7871659d42054cd79906b","datavalue":{"value":{"text":"Relational Semantics of Linear Logic and Higher-order Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5351962$AC47A46E-967D-4134-BB8E-7CBB85F8CD71","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19302236b76c799c76ee125443dc73bc64f76071","datavalue":{"value":"10.4230/LIPICS.CSL.2015.260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5351962$545653CF-BAE1-40EF-AC13-26EDFD901A94","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1e178926fc92f486a2a504cb00ed403f4b8a9ab","datavalue":{"value":{"entity-type":"item","numeric-id":2946341,"id":"Q2946341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b208cd693cc223ff5da2d71edf624daeb9bf2e94","datavalue":{"value":{"amount":"+0.8316691517829895","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":"Q5351962$98D1CD6E-E25C-46AC-83CE-35F378963662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"844001343b1aafc8257ab150df1241ac2335a609","datavalue":{"value":{"entity-type":"item","numeric-id":5370859,"id":"Q5370859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df907eedfbfac365b16770cd0bdcefd0f6e7eec7","datavalue":{"value":{"amount":"+0.8168706893920898","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":"Q5351962$DDCB6EB3-0627-4755-83B1-573140440B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9c8c3fe9b3eae0c510cba1cd10b65226a7b8a7","datavalue":{"value":{"entity-type":"item","numeric-id":2937780,"id":"Q2937780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af7fbafd1222349ecb768e4e897025718a5318fd","datavalue":{"value":{"amount":"+0.7615587711334229","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":"Q5351962$AA3DD30D-584B-45B7-9FF2-60EF655EADB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae93799b1f638a99cf0cc7abc5aad262ecfd13a6","datavalue":{"value":{"entity-type":"item","numeric-id":4635787,"id":"Q4635787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f474efdac365fc595f351b6cbbae3b253e04e8bd","datavalue":{"value":{"amount":"+0.7539703845977783","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":"Q5351962$83890A04-F45E-43F5-80C2-B8A59258B12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1982d9b548ac797cdd6204653effa1199bfdbfb","datavalue":{"value":{"entity-type":"item","numeric-id":2958519,"id":"Q2958519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0df80dcf74c225645d0b90aec2e7ed4bde28f999","datavalue":{"value":{"amount":"+0.7528839707374573","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":"Q5351962$1887E97A-4138-44BD-87B6-48FEBD76360B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relational semantics of linear logic and higher-order model checking","badges":[]}}}}}