{"entities":{"Q5145668":{"pageid":7175239,"ns":120,"title":"Item:Q5145668","lastrevid":53912945,"modified":"2026-01-25T22:25:00Z","type":"item","id":"Q5145668","labels":{"en":{"language":"en","value":"Consuming and persistent types for classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7299500"}},"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":"Q5145668$6BAAA8F9-18A1-404B-B436-F3D45E4E70B0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"958437563e927dc3752c9cdecb661411df5a0b1e","datavalue":{"value":{"text":"Consuming and Persistent Types for Classical Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145668$D95EF898-213A-4526-BF12-006ECCB1CBB9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"677629d95e244eaa29413c19bdeb84db7b6d487b","datavalue":{"value":"1498.03042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145668$8E6BE3D2-2D37-485A-9FC8-754D3053D1CE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82d0fc88bed53532fe508b227a60a2370e011cdd","datavalue":{"value":"10.1145/3373718.3394774","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145668$EF91C4F4-000C-4A28-B619-8871C2A62CAD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1dca62213c403be08a72765d5013cff559684e6","datavalue":{"value":{"entity-type":"item","numeric-id":654905,"id":"Q654905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145668$1C823E7F-F592-40ED-A062-C5DA362AC8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a62344981e430f17fd2fa45692ae95cb27cf497a","datavalue":{"value":{"entity-type":"item","numeric-id":1317203,"id":"Q1317203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145668$B964DBFF-90FF-4282-AA23-A96A2A88A315","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d6acabd1d03c7bf4038f1fe09f6b50384b32deb5","datavalue":{"value":{"entity-type":"item","numeric-id":5145612,"id":"Q5145612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145668$A780DDD5-96BC-4B75-A70F-F3DEA4C14A06","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2be4cfc06a63d907ae95fa44423b78da0f5c0eb3","datavalue":{"value":{"time":"+2021-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145668$3276C6E8-5169-40F5-974E-A3DC2DDAEF85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145668$8EEE5C0D-393B-44A8-959F-973F9F162A86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6d02d6e9acf1600e17ce37f71834ae185a636f7","datavalue":{"value":"7299500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145668$0593ACCC-9851-48D6-AE67-63DB2D253781","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145668$0B944F67-C8FD-4894-8D7B-02B729E8C2F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"604753b17500a459e913611bb135d665f32a2739","datavalue":{"value":"exact measures","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145668$31B5E79E-A043-4293-BA8D-E510633F2209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"153bf8c6121d63a3657d5b82d4c567e20ad75c2c","datavalue":{"value":"intersection and union types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145668$6F63BEC6-0EFE-4ED1-A162-EB6E18C728F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e377735fef4b0e5d31c97baa26e95cc6323e216f","datavalue":{"value":"lambda-mu calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145668$5E395BD0-422D-4BED-A18D-89CC7DD78BA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5145668$7CE8FAA8-A81F-4863-8BB2-8D7CFA85C8CC","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":"Q5145668$5C225F40-07B1-43D0-B8A2-3855130162BB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a848fc691f0e0d88e4d0be13623b3db4126e2e81","datavalue":{"value":"https://doi.org/10.1145/3373718.3394774","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145668$467C634D-99E9-445A-A1F7-8F25E0CB8540","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ebd240dfd181e36e65c35cc813883ca6d4378c99","datavalue":{"value":"W3031314371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145668$9B33BFB1-B6CA-47E0-A743-2BD3E31108EC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"cd89d8df8330b18459ec8bcdf02400a5819ae078","datavalue":{"value":"Q130829079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145668$61EEC6A0-27B4-422F-9A3B-06FD87EB1644","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65a7ad034b78d26f2fc4b0eac02a7301a20d73b2","datavalue":{"value":{"entity-type":"item","numeric-id":5111320,"id":"Q5111320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dee20118e8a64cf20223f589c275316b58a8001","datavalue":{"value":{"amount":"+0.7960073947906494","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":"Q5145668$27992CEF-F44B-4248-906E-5447E8FFC590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfe9a30d931504645a6968eee17261118652cd84","datavalue":{"value":{"entity-type":"item","numeric-id":5712307,"id":"Q5712307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2322c8e57035320a29631b20e27b61e882acce2","datavalue":{"value":{"amount":"+0.7466150522232056","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":"Q5145668$1081DD79-A68F-4F78-A1E6-7BDE1FC73939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6956d7da2b47b2b8591f3b093091a7c8687189e4","datavalue":{"value":{"entity-type":"item","numeric-id":1946673,"id":"Q1946673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20718830e4299f495f3584c480e25dad4cd0d639","datavalue":{"value":{"amount":"+0.744868278503418","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":"Q5145668$2172D9D1-9D33-4C33-AFC6-42A3183D7137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39208f8c9e9f74c27f37ffded3604a402852b56a","datavalue":{"value":{"entity-type":"item","numeric-id":4600774,"id":"Q4600774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c285039f1c5ebf8772b32300938fb0037b20a5e0","datavalue":{"value":{"amount":"+0.7386728525161743","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":"Q5145668$CBA7D942-2717-4DAF-A57F-5F2BABA5F69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8666ed9331dd0b79d5048e10e8d9eb901e034449","datavalue":{"value":{"entity-type":"item","numeric-id":5055999,"id":"Q5055999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec8e5128e0a16ff5bdfd1f2cb06f2a8e0f3c6058","datavalue":{"value":{"amount":"+0.7361446619033813","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":"Q5145668$5696A182-66FC-4B39-A2A7-680688742AB0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5145668","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5145668"}}}}}