{"entities":{"Q2904066":{"pageid":2914791,"ns":120,"title":"Item:Q2904066","lastrevid":51523007,"modified":"2026-01-18T15:19:33Z","type":"item","id":"Q2904066","labels":{"en":{"language":"en","value":"Bi-approximation semantics for substructural logic at work"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6063276"}},"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":"Q2904066$CC2786F4-FB3D-45EC-961E-DF8550785F97","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eea65a40c46a84161dee9260c4e4d5535199a35b","datavalue":{"value":"1254.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904066$4F7D996F-9C90-433A-ACA9-5F714BC6941E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b302ef45d2faab4be5cd3a672c01a16afc2c9ad","datavalue":{"value":{"entity-type":"item","numeric-id":306838,"id":"Q306838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2904066$BA295D50-0727-4F8B-84F1-EA4267A3CF35","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d93f02b005a91d75e1fb36333e97807bdd2c51d9","datavalue":{"value":{"time":"+2012-08-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":"Q2904066$C3DE71BC-005D-497D-8847-503F8410A4B3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904066$ACBE3D23-8266-4B26-A98E-6BBF81A09ED3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ea48216ca1135c62a9f7d44b84422cd95683fea7","datavalue":{"value":"6063276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2904066$86D15324-2DC4-4B6B-AACC-28A454186F3A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ac708e1379c6cfe62fd9484982f19da4e2246a9","datavalue":{"value":"bi-approximation semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904066$822AEB20-CF7C-463B-A89A-DBB62F73940F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"546a300dc5ae3c7df63371bd729904863ba48c7f","datavalue":{"value":"two-sorted relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904066$A3320394-A7FB-4A7A-94C4-A5004BBC974F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"458f4441264824e819e4812bf500b7b1d40794b3","datavalue":{"value":"lattice expansions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904066$2D23172B-A891-40D3-8FFC-3DCCCC78B95C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2904066$F41E3417-D9BF-42CF-9E1A-7F8878B10ABB","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":"Q2904066$D21D9B06-2118-46C9-B7AD-6892B30012CB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f556b970de009ee59c24dc68164f90cceb7357d1","datavalue":{"value":{"text":"Bi-approximation semantics for substructural logic at work","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2904066$CA147F5C-C168-49F9-8081-B28C970FF86D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1457f5ab0b84242bc2d767e22861d186bd08037b","datavalue":{"value":{"entity-type":"item","numeric-id":306839,"id":"Q306839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fffd48463a44d1ce97e846c0021c68d4d4e0091","datavalue":{"value":{"amount":"+0.7710459232330322","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":"Q2904066$FA3CE028-9732-4F07-9A4F-E158CFDCCB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"658a946495a3a1d6e02a3708614b8807c2a8c08f","datavalue":{"value":{"entity-type":"item","numeric-id":4928772,"id":"Q4928772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fba463c318998e624f093dbb7422847f16683f6","datavalue":{"value":{"amount":"+0.7528616786003113","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":"Q2904066$2CBC74A5-2D80-496F-B2C7-282F1F5B33A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11565d66e69f997ba23d0c882c6d1872ef0cef98","datavalue":{"value":{"entity-type":"item","numeric-id":5419897,"id":"Q5419897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a53a2064ccbf0bb9a3e93d699b66249a7c96abc","datavalue":{"value":{"amount":"+0.7475067973136902","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":"Q2904066$86FC668A-F8A6-4F12-9A31-1814D0AA698C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d04f0ac087b246e173848a29c356ce224347ab69","datavalue":{"value":{"entity-type":"item","numeric-id":5871537,"id":"Q5871537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e27ffeafe1abd3a6a0e5c39ca9ddb1dd8f75fe61","datavalue":{"value":{"amount":"+0.7273312211036682","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":"Q2904066$3B0E12FF-5AEC-42BE-8F9C-E933E9219DB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db8908d07d74648e9bce6d3148e1103ae9bee81a","datavalue":{"value":{"entity-type":"item","numeric-id":1863750,"id":"Q1863750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73d2521917048819c562fda6113ad9bcf5dac680","datavalue":{"value":{"amount":"+0.7178621888160706","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":"Q2904066$6045EC91-D024-404C-A26B-70A82749727A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2904066","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2904066"}}}}}