{"entities":{"Q7004097":{"pageid":21527556,"ns":120,"title":"Item:Q7004097","lastrevid":83031647,"modified":"2026-05-07T02:37:20Z","type":"item","id":"Q7004097","labels":{"en":{"language":"en","value":"Linear logic in a refutational setting"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8020805"}},"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":"Q7004097$2049992A-400C-4B16-93FB-B2D713E6993A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d94aa43f4104aae848db1b263abfe77fa49b9f8b","datavalue":{"value":{"text":"Linear logic in a refutational setting","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7004097$A33D8C32-AD78-469A-B941-39A389D76A66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"59d2980bb2d2721df4adaaf87f24651e420c1ffc","datavalue":{"value":"10.1093/LOGCOM/EXAD048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7004097$C47F6806-0CE3-4CE2-9358-3E688568E2A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"210df2385c3290f4a126d253e8192b4d267a247c","datavalue":{"value":{"entity-type":"item","numeric-id":209450,"id":"Q209450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$53FAEB47-0161-4F89-BE90-8DE765D1CED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4bdba2590022c90a202dc79d5f2fc1152466ada","datavalue":{"value":{"entity-type":"item","numeric-id":472803,"id":"Q472803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$F275FA4A-A59A-458F-84F1-3476B5F90286","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5f7eb22a3904380777df510def911bb4e3eb3352","datavalue":{"value":{"entity-type":"item","numeric-id":2106872,"id":"Q2106872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$465AD269-1F1A-47CB-8105-86CEA6737819","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$B285CD58-1E2B-4CE9-9A12-532858D5E4D6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2e6932eced7a8e5ec128f3e4abcdda6901995d2a","datavalue":{"value":{"time":"+2025-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7004097$ADAA57CF-2EA7-4EB7-B73D-31DEBA5ACDD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7004097$0E5304BB-275E-4985-B0F9-6C25A4A00ED8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d558ff98a8ec57b50dce000bf6e05ca77c73da06","datavalue":{"value":"8020805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7004097$01942DDE-6AAC-46F9-A9C6-D30DA902178F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4800a447544c8057fab8e43a7ef099d64dfe967","datavalue":{"value":"multiplicative-additive linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q7004097$E8F1B19A-D5B1-4584-8591-E6FF0DD07394","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4377c9d3bd930c7d42c94a07d8682f487a2ccab","datavalue":{"value":"refutation calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q7004097$9ED35383-AF75-4B66-B20B-1D516B2BA3E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3d1cc822e1c26c4cdd2ac493c7178a1c51841e7d","datavalue":{"value":"hypersequents","type":"string"},"datatype":"string"},"type":"statement","id":"Q7004097$A9955200-4A95-462A-A7DA-1F1EBBB19417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70a1d4f18b2008c9d3221ea75422c83bcf89060e","datavalue":{"value":"fractional semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q7004097$745BECCA-0A35-4C5F-B826-8E3BFEDEC0BC","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":"Q7004097$F8C79E1C-A229-4A8E-9540-E461EC3ECF42","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$474B9BB2-0160-472D-B821-4E2070BB619C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cda7894320e7cceb051de7be6b2d78736146ac52","datavalue":{"value":{"entity-type":"item","numeric-id":1354077,"id":"Q1354077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$B3BD3494-90FE-4F4E-92FD-F28137A87F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9b1e9ac8d47dc7a8613ed81efd36f64094d8f43","datavalue":{"value":{"entity-type":"item","numeric-id":3837723,"id":"Q3837723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$5EAD926D-47AD-499A-A6CC-200F159C4AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0766a7492cd5748706edf0fecd8cb2e432ebb13f","datavalue":{"value":{"entity-type":"item","numeric-id":4644486,"id":"Q4644486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$6B1DDB43-41C1-47BA-8E8D-1F54A48B4429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d13be93326fe439d9ba63c1d8fc97ba3bcf3655","datavalue":{"value":{"entity-type":"item","numeric-id":3893911,"id":"Q3893911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$C9F129B7-8180-48E5-8DE8-6CD237BF687B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661db247b27cc82dd9a6b929292eb7e1bf0a5cce","datavalue":{"value":{"entity-type":"item","numeric-id":5504120,"id":"Q5504120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$E17ED083-0A7D-4A4C-9C5A-516823A2F7B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea08311e5cede8e103fdccb0049502f7fb72a285","datavalue":{"value":{"entity-type":"item","numeric-id":1264140,"id":"Q1264140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$A5CB73BD-2EEB-4BBF-B2A4-4710CB5BE81B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c981e1f87c605bc2771b1a302028511e8fc3dd72","datavalue":{"value":{"entity-type":"item","numeric-id":4842966,"id":"Q4842966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$C0A1A905-E6D2-4844-AEA7-12336638754D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37d7510aab77c7b5ee1e68e954e229c8b45db575","datavalue":{"value":{"entity-type":"item","numeric-id":3172800,"id":"Q3172800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$B9BF4F9E-17F3-4F85-B9F2-1079D327F75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$4B624E32-1EAD-4293-B25E-D5F74288337D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8282ae76075de46eda753bf93260923ef326c373","datavalue":{"value":{"entity-type":"item","numeric-id":6601769,"id":"Q6601769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$53162A75-E01D-44FB-8C02-FA749EBA8544","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eb9a13a12f6ead53d5e4eb13f6bc48e3490bb07","datavalue":{"value":{"entity-type":"item","numeric-id":5277740,"id":"Q5277740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$0A5D351E-F02C-491B-AB72-E578110D4008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afd561cdaaa1e209868cdf7103b4a9c2b22003d6","datavalue":{"value":{"entity-type":"item","numeric-id":1035706,"id":"Q1035706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$EC780212-2F57-486F-B83B-F0791BC75ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e86ad8ae4e461f5088fe9d2268a1c7a617e9cfb6","datavalue":{"value":{"entity-type":"item","numeric-id":5946340,"id":"Q5946340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$F9D9A5CD-E133-4D62-A76C-63776653F475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd230c3dc0f7bde6a3d6be8318d7fa4cba37166b","datavalue":{"value":{"entity-type":"item","numeric-id":4933251,"id":"Q4933251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$7032F1E1-9061-4F69-AAB3-1F45BBBCFA61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"923c85c7df0ab10565455e360168d7957984eaab","datavalue":{"value":{"entity-type":"item","numeric-id":4716049,"id":"Q4716049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$1A307B16-4DC0-4729-8709-937122A67068","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b557ba22f033313fc1b288821f5dd881be2de00","datavalue":{"value":{"entity-type":"item","numeric-id":3389493,"id":"Q3389493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$0AC37695-6DB4-4806-934A-40B003BB942C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c401b49f4bdb65291b19eae6aaf6479ddc6e69f1","datavalue":{"value":{"entity-type":"item","numeric-id":6200467,"id":"Q6200467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$CAA5BE90-E87E-4416-8FA6-479C5A86E979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"727533a3d0d816797bcc34128bff8fa0002535b8","datavalue":{"value":{"entity-type":"item","numeric-id":5883190,"id":"Q5883190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$5A84CF9B-CF25-47E1-926A-4115B6A6C7F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4923f1a5bcbdfab74abb15ee109aa341c713371f","datavalue":{"value":{"entity-type":"item","numeric-id":3024915,"id":"Q3024915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$A4238D53-CF4E-494B-AE78-52EE47E13114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f64488fb0ce072a82d9f1e4167c4b9dc442117a","datavalue":{"value":{"entity-type":"item","numeric-id":4611693,"id":"Q4611693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7004097$E085D513-15B9-4981-A37A-43C47A1FE619","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear logic in a refutational setting","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_logic_in_a_refutational_setting"}}}}}