{"entities":{"Q5176934":{"pageid":7206506,"ns":120,"title":"Item:Q5176934","lastrevid":94485227,"modified":"2026-06-05T06:56:23Z","type":"item","id":"Q5176934","labels":{"en":{"language":"en","value":"Higher-order representation of substructural logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6411503"}},"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":"Q5176934$584A7690-1728-406C-8E14-8DBCF7EB3307","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e583cc50003fecadab329c966527409d7685a0cd","datavalue":{"value":{"text":"Higher-order representation of substructural logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5176934$1D13B9EE-A088-4336-BC9A-D405132C727A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b54db382bdc3070de1342b60bb28ab1e39e93f4","datavalue":{"value":"1323.68461","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176934$360DC4AD-1352-4684-9BC1-E8388AFD9CDE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8f57d8f24513c3769192ad3a7a18c7883e162516","datavalue":{"value":"10.1145/1863543.1863565","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176934$09E29594-8EE5-4FA4-8C35-F61290BE7C93","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fbb79b50629b932bb23ebc740d514386b48edc3","datavalue":{"value":{"entity-type":"item","numeric-id":1629961,"id":"Q1629961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176934$BC9FE9E1-66B0-4BFC-AF37-636BCF9815C1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ad4e875ccd1e6c6f86462b1107e4f6725f974a8c","datavalue":{"value":{"entity-type":"item","numeric-id":5176922,"id":"Q5176922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5176934$84519D4F-98A0-465B-A451-03A8D6E871EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a4f9d2095479a9188a341ba64fac456535929036","datavalue":{"value":{"time":"+2015-03-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5176934$0F81CE0D-14C5-4CB1-B621-086917BF6192","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15fca9913e56c33978c049cade8baacac1868c99","datavalue":{"value":"https://figshare.com/articles/journal_contribution/Higher-order_Representation_of_Substructural_Logics/6606116","type":"string"},"datatype":"url"},"type":"statement","id":"Q5176934$3EE3A3A5-7872-446B-8EEA-612AC9EE863C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176934$64BF1417-D408-47B8-8021-62A048635BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176934$BE87894A-EFA2-480D-BC43-A6CEBDF06B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176934$38BE61AC-50A4-44E0-BE06-F7557C99B79C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176934$C5A67BC5-4582-4113-873C-321D20EFDD01","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"406ce495d07f68b5959f8b85aa6c48235244971f","datavalue":{"value":"6411503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176934$A9EF74DC-6C81-4D17-881D-8411E70988E8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176934$DE55138F-CA9E-44B9-826A-26D0D9007CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176934$88A285EF-4CAA-4A0F-A553-F88EDB66E77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"012d8b7999cc6b22228ca3c9aec4aaff197c8fb1","datavalue":{"value":"mechanized metatheory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176934$F578F3EB-FB59-46F7-87BE-8F7388AFDB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5176934$3486481D-CFD3-4ADA-9C6E-12FDA4AA8CD0","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":"Q5176934$DC5027B2-1D17-41E3-901E-E7A2D531AE9A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d6f81c44649b3b116033a1a70cd3e9c904194338","datavalue":{"value":"W2065563147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5176934$2489A33E-7C4F-4654-BA48-B51280F15FB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bc30a8dea1385d145bf3ab7fd31ab21b42b802f","datavalue":{"value":{"entity-type":"item","numeric-id":1577344,"id":"Q1577344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0beaac0f088081abf90cec9107fae692636e727a","datavalue":{"value":{"amount":"+0.7743446230888367","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":"Q5176934$006DAAF1-168B-4459-A783-80DB7900A306","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dacbd805b7b44902c13309d5bd3b30627095ad8d","datavalue":{"value":{"entity-type":"item","numeric-id":5738952,"id":"Q5738952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97a4bc91f9e6d5f827cded70a007fa55c4b78b05","datavalue":{"value":{"amount":"+0.7671437859535217","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":"Q5176934$C7FDA24B-18BD-4283-B44D-9C6C2684FBA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ec72963811c750fe6cf7e84d4dbc9b225ea6fed","datavalue":{"value":{"entity-type":"item","numeric-id":1326777,"id":"Q1326777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43bd6022bc9d5b79dd76d72aac5832223269bd55","datavalue":{"value":{"amount":"+0.7667468190193176","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":"Q5176934$D2CAE41A-D4F5-42E0-9D1E-E6C57A52B076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4338586671c8a8cd53bcb1649860ce66dca8b896","datavalue":{"value":{"entity-type":"item","numeric-id":5111322,"id":"Q5111322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43bd6022bc9d5b79dd76d72aac5832223269bd55","datavalue":{"value":{"amount":"+0.7667468190193176","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":"Q5176934$DD16B51B-ACCC-4D74-B475-6E2CCF7EC75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b75590232e3192300cf7d05455774af1c6a88083","datavalue":{"value":{"entity-type":"item","numeric-id":3523179,"id":"Q3523179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db279363627b2f1587c4cc204655956b2fc4c69c","datavalue":{"value":{"amount":"+0.7603512406349182","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":"Q5176934$B5BFBE40-0975-42C7-A664-6B67442425AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher-order representation of substructural logics","badges":[]}}}}}