{"entities":{"Q6159929":{"pageid":13294790,"ns":120,"title":"Item:Q6159929","lastrevid":40889601,"modified":"2025-04-13T19:49:45Z","type":"item","id":"Q6159929","labels":{"en":{"language":"en","value":"New Minimal Linear Inferences in Boolean Logic Independent of Switch and Medial"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7700619"}},"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":"Q6159929$2CF5CB7B-8186-4550-9542-D19CF21C7659","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c255adfc712bad9b4346c358d68a6d24be790f29","datavalue":{"value":{"entity-type":"item","numeric-id":1694470,"id":"Q1694470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159929$457E5291-DCBF-44C8-89D3-FAD24F8A82BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"37edaafb19d92810fec7ea13021cb18973961f70","datavalue":{"value":{"entity-type":"item","numeric-id":6135759,"id":"Q6135759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6159929$0075B43D-B8B0-432C-9EA2-74217E8C2D68","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3088b6e1c2b1fc23f329cc708e78f720e11947f4","datavalue":{"value":{"time":"+2023-06-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6159929$E2E2F0A6-E5FC-441A-9016-C1FECB12279C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159929$5AD25AEA-3790-4A87-A345-C6BF2DFAAA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159929$8C7441E8-5933-429B-A1A5-BA4AD2BAF892","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159929$7202A401-8272-4DBC-8C48-30DCC8904DCE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7aa8898d489c86f609d8337462c4c3fe12b4688","datavalue":{"value":"7700619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159929$8BE9A67D-29B3-409A-A4B4-76D8A5905017","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159929$90AE16E4-87D9-4359-BF55-A1042C8B8552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f27778c99715f6b31efcf6a5f91713efcc35aca","datavalue":{"value":"linear inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159929$00DC23E6-A45B-4242-B682-CAD6AF336F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159929$315F52F0-F71D-4BAD-94AF-B9DF6388E845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159929$AE4DE112-9D37-479F-82B9-C3ADFA7C5D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6159929$850FE6C6-FE28-40C6-B0DF-38C69026B9D2","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":"Q6159929$A716F525-B3BF-4790-8407-A2689B5937E5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0fffcc6938496d0661ad5c3ad9663d4074cee8ff","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.FSCD.2021.14","type":"string"},"datatype":"url"},"type":"statement","id":"Q6159929$DD621CAF-9F38-4FAB-A824-BB1D641BFC18","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83749997c4eff23ae0ccd4aac981022119f58ba2","datavalue":{"value":"W3183446349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159929$210946F0-D2CB-4AC6-AE1E-29B6D64ACB0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7c39e451b5a51f5a9f8219d4cca877e945e4a4a6","datavalue":{"value":{"text":"New Minimal Linear Inferences in Boolean Logic Independent of Switch and Medial","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6159929$D81C1D13-3597-400F-B02F-C618949E6AEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"110dd1c0aab665a3dc7dc5cec1f45bdf1eb5e784","datavalue":{"value":"10.4230/LIPICS.FSCD.2021.14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6159929$40C4AD7E-320F-465C-B44E-17689FE58208","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de9d34a4c69f2ad0588b649d7a133c79d51d6e57","datavalue":{"value":{"entity-type":"item","numeric-id":1866867,"id":"Q1866867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"784a3be22350fc10bfebb9104ce8ebb363ca6b01","datavalue":{"value":{"amount":"+0.8484597","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159929$441D8FB4-A968-4EC9-8BF0-8454B7D79D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"35c0762817d5fd5ab38a8c4f615cd5a32f97711e","datavalue":{"value":{"entity-type":"item","numeric-id":5411446,"id":"Q5411446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"459f6fb407ffad708438cbb5e21bd2b2eb7c4701","datavalue":{"value":{"amount":"+0.84812266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159929$809DED03-B164-4955-8A8B-8BF5489031B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9b5d7f2271e38687fabd60ebc1bda396f1adc1d","datavalue":{"value":{"entity-type":"item","numeric-id":416985,"id":"Q416985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35f45dad42e47f33b8409050c947838d1912de25","datavalue":{"value":{"amount":"+0.8418317","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159929$AB30C1B0-285E-48BC-B5BF-20CF69B7056C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6bd31595ca5f507c57d6f184d929ce969509956b","datavalue":{"value":{"entity-type":"item","numeric-id":5263773,"id":"Q5263773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62195394147d25bf13adfed1451b4aa34a8e55d9","datavalue":{"value":{"amount":"+0.84180564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159929$A4A93C6A-CCB8-465B-91CD-7277A78B21AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07dcdf6c64a75f52c3346e883ec6bc39c4fbcbce","datavalue":{"value":{"entity-type":"item","numeric-id":5175308,"id":"Q5175308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e3db058e7c7f130ff4e823917a0dce00743b2db","datavalue":{"value":{"amount":"+0.83880055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159929$17A045BD-90A5-4D0B-BD58-404C6950B97B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf23de50ad63f4c255a66d5f2624a35b46bd89cd","datavalue":{"value":{"entity-type":"item","numeric-id":2513252,"id":"Q2513252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeb781f443c4a0399f45177701661ba4657b0ffe","datavalue":{"value":{"amount":"+0.83784854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159929$7836E4CC-C500-4341-A6E2-AFBD59B0F1F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92a005fe2c3905822c80fe8562d2185bf1e4d6e7","datavalue":{"value":{"entity-type":"item","numeric-id":4448378,"id":"Q4448378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b533e027d6450e62f5eb97977ff2f870623253d9","datavalue":{"value":{"amount":"+0.83677894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159929$FEB8A8CB-6149-4133-96AE-4839F4CE4978","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"272a17cd3d18aac66a4edcff007c895a93a5802f","datavalue":{"value":{"entity-type":"item","numeric-id":3483289,"id":"Q3483289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e81694c164ba31f46410623d8c9d61bf9f416e8","datavalue":{"value":{"amount":"+0.8356168","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159929$CE77779A-5F21-446C-9DA9-F10BEBF612DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa9ea9ea97bb7846260f757a95f58448e4f70cf2","datavalue":{"value":{"entity-type":"item","numeric-id":2974793,"id":"Q2974793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a395a1665a2e749f2b58f85ded5c4e7a8672f18","datavalue":{"value":{"amount":"+0.8341918","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159929$4A3EF6D0-68B9-4854-AD17-BE378910B0BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77e5e26d6f0a65a9c74b13d6aa10811fd9906448","datavalue":{"value":{"entity-type":"item","numeric-id":5263827,"id":"Q5263827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad0f50ff082ed284655bd1f8fae47024d7844e62","datavalue":{"value":{"amount":"+0.8317369","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q6159929$7C6BF94E-3161-4DD0-BCE6-68ED5DCFE02F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6159929","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6159929"}}}}}