{"entities":{"Q4007158":{"pageid":6036971,"ns":120,"title":"Item:Q4007158","lastrevid":55161814,"modified":"2026-02-04T07:01:38Z","type":"item","id":"Q4007158","labels":{"en":{"language":"en","value":"Axiomatic System, Deduction and Implication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 58929"}},"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":"Q4007158$B9ED9F72-8118-4B96-AFE6-61E72181F68A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"747eacdba4ee82d0041fdb0b323122b1796f35f7","datavalue":{"value":{"text":"Axiomatic System, Deduction and Implication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4007158$F4B3ABD5-2848-4CA8-ABFD-587F46182991","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1d826c8071d7d4a204dbc4180bc1d322421093a2","datavalue":{"value":"0756.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007158$D3188C36-F66D-4BDD-9FBB-7D3CE302F5D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"38e5feaca6a18ae5db8032e07273f94a7d6bf0a9","datavalue":{"value":{"entity-type":"item","numeric-id":229729,"id":"Q229729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007158$67480517-0B90-4E90-BECD-10A20553513B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-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":"Q4007158$80E18A08-88B8-4913-8A69-5A0F31007D1D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007158$EBBC27F0-ADCB-48DF-AFD1-E0E9BD611B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007158$C1DBA3AF-2044-4331-9E48-C8783457BB8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007158$A1AD5BC8-5441-4C29-AB1A-2FD4BA4D738D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007158$9F57A0B8-B908-4309-B010-9C5AE951BDBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a84e2a7e0f8624a69df518dbece35c841a60977","datavalue":{"value":"58929","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007158$BFD37825-6942-4B2A-B16B-14CF75177188","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97e9b68a25bf7c4fb71d43d64a9dc83ae32b951","datavalue":{"value":"relevance logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007158$74AA2F0B-7A20-42CC-A0F2-13F32145936B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b399e80d32f01f0e5ecb7d27abf0eef31abf6cda","datavalue":{"value":"deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007158$CF2F9B2E-810A-4D03-891B-EBE7FB474253","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42add9694273fcf9f5c36b120730ac4756fc4b97","datavalue":{"value":"axiomatic systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007158$F1909FFF-975E-4DC4-AD5F-8A5C8B561C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19ffe387100c9d49a3e2011c6542d8e65fcc50bd","datavalue":{"value":"implication","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007158$12A5D05A-67AC-4F30-9B4F-B50602DF87CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"626d328638f0e8bfd2c7f65d2308e670728a3d77","datavalue":{"value":"consequence relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007158$042EF392-E729-4A7A-BA05-286FE88712F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"727ce4ab00d4c620555444f016c1ab974a3d0ea5","datavalue":{"value":"minimal systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007158$87C932A2-228B-4A8F-83BC-DC641F4C7A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"874291999d0679540087a6492e03f40193955549","datavalue":{"value":"implicational linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4007158$036E05C0-0294-4A52-9ABC-715958459CCC","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":"Q4007158$6A8400F1-0213-4584-BE79-2C8DD257EB57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6459522a46693030d15310ef85e40d64834a30ac","datavalue":{"value":"https://doi.org/10.1093/logcom/2.1.51","type":"string"},"datatype":"url"},"type":"statement","id":"Q4007158$0192D5AB-B07D-4119-96F1-7C15FBC2362C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c6ec98c90380da4eb5fa3c4392c48ad57a37410e","datavalue":{"value":"W2017953886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007158$5356EF2D-5001-4C03-A3E3-2971B28164BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"718ce41a701ed5bed45f7551a0dbd61a91cb38f0","datavalue":{"value":"10.1093/LOGCOM/2.1.51","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4007158$E1223243-0B2F-4D03-B958-C955C9C26497","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4007158$453B173F-971E-4888-849E-73F6E5CD6B42","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f277739ebe82fe1199bb0d8d467361d5a409cfd9","datavalue":{"value":{"entity-type":"item","numeric-id":4698605,"id":"Q4698605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a6af2317d67f4e5b2b37cdfaa71d2e4c0417d24","datavalue":{"value":{"amount":"+0.7180918455123901","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":"Q4007158$96A66EEE-F6FA-40EC-8726-CC3621758D69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d09971581323988f2325c5cbffe9856ed6704d56","datavalue":{"value":{"entity-type":"item","numeric-id":4206709,"id":"Q4206709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bcad811aea944c3c3a96a38c1f6e8c6090b09c89","datavalue":{"value":{"amount":"+0.71297687292099","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":"Q4007158$AE1C0A67-FC2B-4D86-96D0-411D7CA1695B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5405a0c543ae60f2a5551ae64f4a7919cb6a3a1","datavalue":{"value":{"entity-type":"item","numeric-id":791512,"id":"Q791512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"831156952e7929c282e81262e3a976e359c5eaa6","datavalue":{"value":{"amount":"+0.7094418406486511","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":"Q4007158$7133CA5D-0496-49DF-BF29-382BB5274F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f623447831ae381ab1d4e14bd63c5e4d25ccb6e","datavalue":{"value":{"entity-type":"item","numeric-id":4461807,"id":"Q4461807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b796292eb3b00c0f701e234abb0fa312f54814c","datavalue":{"value":{"amount":"+0.7058828473091125","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":"Q4007158$F7A8EA04-FD72-4D53-8211-AE9AAFE6052E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33c635c1123474bb34aed2c45caf517dea9c0a37","datavalue":{"value":{"entity-type":"item","numeric-id":2720395,"id":"Q2720395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f17e826a6c3a5a52d137e3c3372e3ce31958d79","datavalue":{"value":{"amount":"+0.7043467164039612","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":"Q4007158$64318CF7-0138-49DA-B18B-32379D5F510C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4007158","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4007158"}}}}}