{"entities":{"Q2946341":{"pageid":2957061,"ns":120,"title":"Item:Q2946341","lastrevid":58081794,"modified":"2026-04-03T17:46:49Z","type":"item","id":"Q2946341","labels":{"en":{"language":"en","value":"Finitary semantics of linear logic and higher-order model-checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6482740"}},"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":"Q2946341$B6CEC447-8313-403C-A8A8-BC41EDE94792","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b976a00c5e41ff0e814e66003552afb0f8b23403","datavalue":{"value":{"text":"Finitary Semantics of Linear Logic and Higher-Order Model-Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946341$DCFF7B2C-56A9-4059-890C-939436EE9BED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fd80c12684cf0c073fb8e1480adf83dfd05588bc","datavalue":{"value":"1465.68179","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946341$F95FBF07-8369-4A95-9520-677403921B16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fdbc7a53bb9c7302aa3a586c47465aee39989f75","datavalue":{"value":"10.1007/978-3-662-48057-1_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946341$7C414442-A47A-4753-A808-07DFD633D16F","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":"Q2946341$8AD8120E-2D48-48EC-9D01-DC4EC20D084C","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":"Q2946341$996172AB-F559-4FB6-A1D7-3165BBFEED34","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a57296659600bcb8b20b3ceae35ad825f335714c","datavalue":{"value":{"entity-type":"item","numeric-id":2946320,"id":"Q2946320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946341$E406BEB1-B755-4A14-B981-06EDA0C7B03E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa7ff53be2613fa456ce1e6e1f910cf5f7f773a1","datavalue":{"value":{"time":"+2015-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946341$6172CBF2-4952-463B-A185-3F108E67E97D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"90145f2aeceee34590f94fd0ddbfd9ca027e15d5","datavalue":{"value":"https://arxiv.org/abs/1502.05147","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946341$D01ED8BB-A47D-4A4A-BEE8-81B376C7CC1E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946341$A3875830-8BD2-4E94-A1EC-265297E4FD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946341$2BCC1D5B-9C41-4677-ACA0-292C03E11723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946341$771C7931-D7F7-4FA5-9F34-D5385086CF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946341$43863183-979C-4166-A429-5F7AA6E9F386","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99ffe107fbec4ef420003f39a0ecbe850c1a67e4","datavalue":{"value":"6482740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946341$4BDFAFAF-7E83-468E-902E-829B2447D0C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebf4f6f2283066329ae52ca5a071d4d20f367f14","datavalue":{"value":"higher-order model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946341$4FE8BD29-B276-4782-B7C3-78242C65B7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946341$1469FEDA-2CDE-40EE-8D6B-3BD574E9EEA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d083787e5b9d94f3db595823f9cff1c8584e905","datavalue":{"value":"selection problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946341$57F8BD84-152E-4F28-91A1-93C4A1C68845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b014dea40cf2d8fa925fa95ad50a1eb11a4f334","datavalue":{"value":"finitary semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946341$FCC2C99B-4CB1-45E7-8457-C6BEC9520318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946341$775C4E3E-E75E-4F17-863C-E74ADB8AC50F","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":"Q2946341$55076B81-40F3-4FBB-A225-470774C4D5EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1e2a1706646cb6a0f010f738c1a7cfcc4f68c993","datavalue":{"value":"W1795516371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946341$437725C2-8E05-4CE2-AD37-3124B8F3B1E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d53ec596017a36983e3e8a836f9f5e306712cd","datavalue":{"value":{"entity-type":"item","numeric-id":672122,"id":"Q672122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946341$8EF41D7C-3EC9-4CC5-A941-ECA2C3DDBCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"236777dbaf4cb224e1142212cf3986ded5142113","datavalue":{"value":{"entity-type":"item","numeric-id":2986793,"id":"Q2986793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946341$3C6B91BD-D951-4FCE-9BA8-436C166A1D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fcc0343de839be7c5c59920ec739c50db8afa672","datavalue":{"value":{"entity-type":"item","numeric-id":3221961,"id":"Q3221961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946341$597B4DF6-B115-481D-A8AF-A01915392E10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b754b4ffba74b447aa78b1d933a6c549223f47e","datavalue":{"value":{"entity-type":"item","numeric-id":2948550,"id":"Q2948550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946341$DF3EB8A3-AACE-4F94-950C-0038DA31642E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44a9228e2a8a9ecc397608c3c54840958f59a3cf","datavalue":{"value":{"entity-type":"item","numeric-id":5351962,"id":"Q5351962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946341$D9581DA3-0CA8-48A9-8E22-5C7C7478BF02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d1aa905e95be265c244d30c11bb90a000f72c9","datavalue":{"value":{"entity-type":"item","numeric-id":4738227,"id":"Q4738227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946341$E3563F07-721D-4750-AA8E-2EAC8C2FCEFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e265a0aa8cb92d21367d8a7ed6101f17d6553fc3","datavalue":{"value":{"entity-type":"item","numeric-id":3075441,"id":"Q3075441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946341$50FB362B-F2CE-46FA-A5B3-B1BCEA13F29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec8047bcca7e43d3b64f55a847c6c65354dc25e6","datavalue":{"value":{"entity-type":"item","numeric-id":5351960,"id":"Q5351960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946341$6F44E191-D078-4156-9AE1-5141EB8EB521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b648f8228198461e8f53391f1f3021378e1f2262","datavalue":{"value":{"entity-type":"item","numeric-id":5111914,"id":"Q5111914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946341$889401F0-B530-494E-B9C3-B1412CA5D3C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53755b471d1496fecb38526cbe58694a40062461","datavalue":{"value":{"entity-type":"item","numeric-id":5351962,"id":"Q5351962"},"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":"Q2946341$4FC2E2FD-8DB4-422E-91F2-E7885AF5CF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f6c40c48c15de4bebaba55c9d164e30abd42a89","datavalue":{"value":{"entity-type":"item","numeric-id":2948550,"id":"Q2948550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3f05baa7ab35aa50fe72eff4be2cbcc9515937","datavalue":{"value":{"amount":"+0.7617602348327637","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":"Q2946341$6C9D28DB-7532-4AD7-BC91-ACB7008D36CE","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":"5ea48c6240ab277f241b77ef13e58101eac5da95","datavalue":{"value":{"amount":"+0.7415605783462524","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":"Q2946341$F14506AD-7006-426A-9AC0-C8366DA6264F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c95d89062711ee600ca5496b3368ceddbb7727d8","datavalue":{"value":{"entity-type":"item","numeric-id":5492896,"id":"Q5492896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c832132c6188d711091f2bff8f4f0e098312259","datavalue":{"value":{"amount":"+0.7393365502357483","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":"Q2946341$11B5861D-1DAB-42DC-890D-2F9A300844B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b143ecc5518b188b309bae202f417aee6fc7d5cc","datavalue":{"value":{"entity-type":"item","numeric-id":3617724,"id":"Q3617724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d394808e0efe69a32eee98bb652a69bc1ccaf1e","datavalue":{"value":{"amount":"+0.7335680723190308","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":"Q2946341$5FE8DBDD-4A38-4D07-81A2-BA67F50358C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2946341","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2946341"}}}}}