{"entities":{"Q1868337":{"pageid":1879079,"ns":120,"title":"Item:Q1868337","lastrevid":69375387,"modified":"2026-04-13T06:34:54Z","type":"item","id":"Q1868337","labels":{"en":{"language":"en","value":"Varieties of linear calculi"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1901401"}},"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":"Q1868337$25956887-E860-4672-9A13-D3B21BC4C8BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8eb40ebf5c90886149d7205ab5363823da64e82c","datavalue":{"value":{"text":"Varieties of linear calculi","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1868337$9D58948C-AE31-4213-9D13-175D371F5FA6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3920a9039ad54e96b08d94744fe4954558083e18","datavalue":{"value":"1016.03065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868337$FCACD206-CCFA-48EF-9262-4DD3D0F88D5E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cb58a905d362c4748ba63b4e8c8c59b0bbe6ab00","datavalue":{"value":"10.1023/A:1021264102972","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868337$9D32A842-E2A6-4840-AABF-CBE5AAB4DC0C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7f07ec51ef78a8fa09e4f3e464a2e7da011da3","datavalue":{"value":{"entity-type":"item","numeric-id":283114,"id":"Q283114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868337$0FF65BCA-6AAC-4E4C-ACFD-6797BEEDE25D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868337$439946A0-35A8-4429-9D6D-2EDA45ACA465","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae7235402c0b574ed2e2213feb9e21452b645cac","datavalue":{"value":{"time":"+2003-04-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1868337$B3FCEF4B-B84E-4582-BAB7-2710C13244FD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868337$3D07A66A-1F3B-40A6-8500-110F1276FF91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868337$111FF116-89C8-421B-A314-994B36835E75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0789305fdacb66b18f19112ca20928d234a2c780","datavalue":{"value":"1901401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1868337$95AF1B3E-81DC-418F-A783-8ADDB0F6D2E6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6e8f9f484a79c23f3bb9b4cb20f148f7e375f42","datavalue":{"value":"general rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868337$BD828DC9-1183-4FF4-BEB2-12D7D4F1E249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7baf89f917d55cf40b0c6e30ca6ab78a82319466","datavalue":{"value":"inversion principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868337$6583C0BC-0281-41D5-9876-8D230BC9CB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868337$F6D88F27-78F2-40D7-8BEB-A085C4A03868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868337$14852FC8-DC26-4DDE-838E-8224C7FAE4C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868337$ACF106B0-1926-499D-A679-C5B591A393EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc379d4a5dc59b94051dc9693c948e5879618dfa","datavalue":{"value":"intuitionistic linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1868337$EDEC82DC-F9D7-456C-AAE7-6661F581DF5B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a22c015b3b24c1ab8096c704eef7d553cb9e52fc","datavalue":{"value":{"entity-type":"item","numeric-id":25578,"id":"Q25578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868337$FFD5467F-19C3-4BA2-A6E7-874F060E4D6B","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":"Q1868337$FE333E23-75D5-42C8-B5E9-0019ECDC5D6E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a23ef1a0e753d0b5a8d87fc14eb3b1fb9c5bd2e","datavalue":{"value":{"entity-type":"item","numeric-id":4700536,"id":"Q4700536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868337$3D2DEEF3-DC90-4C8D-B736-322B1FCF218D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3974826730c6cd32f5a0b39902b286982f03f9f","datavalue":{"value":{"entity-type":"item","numeric-id":1275625,"id":"Q1275625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868337$503D62B5-2288-428F-A545-554095B52CB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"106507d2ad7198eda87b14657c5af01d30112965","datavalue":{"value":{"entity-type":"item","numeric-id":4474830,"id":"Q4474830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868337$ACFAFEBF-B36C-4DF0-BE9A-64787206318E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967c49333514bb16993591341675d1365fe80f48","datavalue":{"value":{"entity-type":"item","numeric-id":4397029,"id":"Q4397029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868337$BB124D54-04AA-4D46-9EA7-8FC8C113417F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44cecbbae9a22bacdf260e9386571dce3ff51e34","datavalue":{"value":{"entity-type":"item","numeric-id":1407574,"id":"Q1407574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868337$6D9008B1-9B60-41FD-A5E3-EC8BEE9680F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea3e2b13f94cfcbd2779246485d014cc60d2ea10","datavalue":{"value":{"entity-type":"item","numeric-id":4328835,"id":"Q4328835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868337$8829AB3C-6AD1-467A-8408-08895C4329AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75f370fbebbb2e51b7d4b057611e7c503bdb90e9","datavalue":{"value":{"entity-type":"item","numeric-id":4939407,"id":"Q4939407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868337$F6771C7D-1466-4390-BA94-0AE8A3DC4D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d75b4ae7f1eae9c5b1b3598231bbf9c4eac7731b","datavalue":{"value":{"entity-type":"item","numeric-id":1407508,"id":"Q1407508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868337$8CB7B43A-46B5-4A96-80D5-7EE45D05BE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868337$678D28EB-8854-4496-9911-7327697AB85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02e642d35b27f6202fe5a95f273070d49f953ce5","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868337$61DAB978-8C94-4820-A3FE-D6443278B742","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"652d70412e741600b08d0b2cede4a9cacadf16ad","datavalue":{"value":{"entity-type":"item","numeric-id":4495851,"id":"Q4495851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868337$79B9E7AB-DC1B-4C17-A419-32EE5F4DDE27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6fbd749809973b582e07791018a08ce57c0efb2","datavalue":{"value":{"entity-type":"item","numeric-id":4877107,"id":"Q4877107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1868337$3278361F-AEE5-4CFB-81D2-0AE808E427C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3720fb551bf8c8dd2bf3f28b889da5130af7cdc","datavalue":{"value":{"entity-type":"item","numeric-id":4281466,"id":"Q4281466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3735392f760a220a2b723a53d7e5fdb0608d7a52","datavalue":{"value":{"amount":"+0.7972337007522583","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":"Q1868337$2B980E1F-4E7B-404B-9D1A-B1D387DF4073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb6a476188de8f6a6152cddc852440b8687001e","datavalue":{"value":{"entity-type":"item","numeric-id":4933303,"id":"Q4933303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c550a72034953407a57ac0c3e5fc01cedda06fa","datavalue":{"value":{"amount":"+0.7972336411476135","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":"Q1868337$AD21F1DE-1328-40FA-9DC5-56AF3BDF5639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a1c1bb59fd9363bdacd386fc7141e51a81d0525","datavalue":{"value":{"entity-type":"item","numeric-id":1407574,"id":"Q1407574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48557e5666262900cca5845229b5b52ed94de73a","datavalue":{"value":{"amount":"+0.7950243353843689","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":"Q1868337$F4187E8A-BF2B-46B1-8725-323757EEDE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e8c22854c84567dec9ded8ca033bb9de29312b1","datavalue":{"value":{"entity-type":"item","numeric-id":908909,"id":"Q908909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bb21442df833319a355449670e2e2bce956548b","datavalue":{"value":{"amount":"+0.7934050559997559","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":"Q1868337$840F15B6-41EF-4FE7-860D-F3166EB7E362","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aa1009ce93a2784ce6a9644d44a57fd852fa559","datavalue":{"value":{"entity-type":"item","numeric-id":4656555,"id":"Q4656555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6316b7097c6ffcfdce789725e97aa927179f4507","datavalue":{"value":{"amount":"+0.7800642848014832","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":"Q1868337$44528006-A684-495B-83FB-0F3B362855C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Varieties of linear calculi","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Varieties_of_linear_calculi"}}}}}