{"entities":{"Q5375874":{"pageid":7405448,"ns":120,"title":"Item:Q5375874","lastrevid":92325227,"modified":"2026-06-05T01:26:24Z","type":"item","id":"Q5375874","labels":{"en":{"language":"en","value":"An independent axiomatisation for free short-circuit logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6937674"}},"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":"Q5375874$26125C05-C245-4493-A227-C91046B1C3B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"90955570d8bb186631759e10060bb06f7f821d95","datavalue":{"value":{"text":"An independent axiomatisation for free short-circuit logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5375874$9CF477EA-6616-438B-B43D-192F093A7EE0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"593de1f42210f62f2935e6ce17e97f2661afbd24","datavalue":{"value":"1436.03178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5375874$78BE0342-2139-4B97-8410-8703381C3657","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"02ad0f2d41c208d0c8ab92abdb035e201a7a98ba","datavalue":{"value":"10.1080/11663081.2018.1448637","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5375874$854E4A88-FF99-4A06-AF32-C88E042B4594","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9602bef9505b2e60be78a89c5c30dfa6fcd5c5d","datavalue":{"value":{"entity-type":"item","numeric-id":190307,"id":"Q190307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375874$134CB343-EED7-4983-84CC-36DCBBBE4357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"942986f73694a446bd3f2abbf96dfe38a222aaec","datavalue":{"value":{"entity-type":"item","numeric-id":5375873,"id":"Q5375873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375874$992242CC-EEAF-4697-8DAD-45AC1B1D97DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375874$01AD0A6E-7929-4FCD-B2B7-9E3D2B96241E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b659f459f103c6c1eb03033eb788f40be26f86f","datavalue":{"value":{"time":"+2018-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5375874$470A26AA-DB14-4457-AE49-35E0364E57CB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e79def0572c319a6fece2d8c3eae739956f9e642","datavalue":{"value":"https://arxiv.org/abs/1707.05718","type":"string"},"datatype":"url"},"type":"statement","id":"Q5375874$6445C832-8D21-43C8-BC07-7FE248EAC705","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5375874$A634751A-F43B-4AC6-9792-BCFC080A8A02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5375874$1B16D4B3-4670-4699-B470-4D409817B064","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"854d7f4a227d7278ba1f7e63c385c883232f6a25","datavalue":{"value":"6937674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5375874$B3E9D4B2-3ECB-4045-AE58-C5B3D44E2245","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a6484e7e2f26a93555d13cfb9bf138878591693","datavalue":{"value":"logic in computer science","type":"string"},"datatype":"string"},"type":"statement","id":"Q5375874$E0F4FCE8-8821-4031-A92F-B43C39F80FF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf666add3e3bec5fada9c8d8bb3a06a07354729","datavalue":{"value":"short-circuit evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5375874$1322CDD9-64F6-49D6-BCDB-8EDC4136DAFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca16da62ea017bd0d4e6caca2cad8f4a237195be","datavalue":{"value":"non-commutative conjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5375874$16E84EB1-3068-4EEE-8647-8DE917D4E795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39f61760e7191478fde7d714fe4874f3be9a2c94","datavalue":{"value":"sequential connectives","type":"string"},"datatype":"string"},"type":"statement","id":"Q5375874$237F03E8-7869-4B10-8089-AA6AEE04DF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43976fd38afdb40c4983496d0798b11318f0f852","datavalue":{"value":"conditional composition","type":"string"},"datatype":"string"},"type":"statement","id":"Q5375874$37FA88D9-DAF1-4549-8EBD-591C665C7504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acb930fb9a4b4a4d50c2c8565f744a5c71042408","datavalue":{"value":"side effect","type":"string"},"datatype":"string"},"type":"statement","id":"Q5375874$7EE7D690-43E3-43BA-AFD7-C17B522B1174","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375874$DD19AD57-87A8-4142-9CB1-8B06855F0441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"82659ddd3b24a7f3c51a78eb5f25cc1e5d64df69","datavalue":{"value":{"entity-type":"item","numeric-id":17116,"id":"Q17116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375874$680BF5F8-D3B0-4B31-B9CB-68D04EE642DA","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":"Q5375874$9F3BB5EC-4794-4F2B-9777-40ABD792F4F8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bfb11d9390fa97b4b436cea5493f8fb4c78bd4af","datavalue":{"value":"W3104025423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5375874$AF93410D-2F2A-4426-B832-B053C9FCFC35","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4172be285e3f1f606764a036de7e6fc1796dd99a","datavalue":{"value":{"entity-type":"item","numeric-id":5458057,"id":"Q5458057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375874$FF593402-589F-49AE-8F44-D7C559E466EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94a5630615c5bfcd88c3388bd81dc58f309f56c","datavalue":{"value":{"entity-type":"item","numeric-id":4868228,"id":"Q4868228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375874$A5F4843E-4859-40D7-840A-B4529441B493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13135fa50c92369f5593c5c60b5fb964b14c4c04","datavalue":{"value":{"entity-type":"item","numeric-id":3474270,"id":"Q3474270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375874$FA8FB717-301F-4C18-829D-37E43162661A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbfe5f5c014ed879af913e16f473e120106120e8","datavalue":{"value":{"entity-type":"item","numeric-id":2946640,"id":"Q2946640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375874$70D85095-BC46-4039-997A-B272A704F983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31fc2d6c12194a91e2d0d63d82a8d1e8212142e8","datavalue":{"value":{"entity-type":"item","numeric-id":2894547,"id":"Q2894547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375874$27E2D5F5-2553-4053-B954-BAFAB0215112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2361e875f1e9893de1ad91aee7181dc8c304396","datavalue":{"value":{"entity-type":"item","numeric-id":3449625,"id":"Q3449625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375874$40A67A90-C725-4B81-8714-7B4BF8D29DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375874$04B4875D-7B81-4F54-96BB-7C64EE9239D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e47b8c90d45ee285590b1a168a8503851fe5b134","datavalue":{"value":{"entity-type":"item","numeric-id":3925859,"id":"Q3925859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375874$430E8DE9-6A9B-48E1-B2CD-806683802CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0e3a179147832b2b1c96869b8d44ccac54dac91","datavalue":{"value":{"entity-type":"item","numeric-id":4343990,"id":"Q4343990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375874$2C023ADB-6DD1-40AD-9F0C-9781D877FE45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d60d2968e6361eac02e05e7a6dff7861f1d8105","datavalue":{"value":{"entity-type":"item","numeric-id":3676116,"id":"Q3676116"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375874$A16E3A32-287B-4979-B56D-C6DF05CAF4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375874$AFB7F269-B831-42B3-BCE0-F0498E1BEABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fae0c501ace458f48de52006447b1a8ae3a41806","datavalue":{"value":{"entity-type":"item","numeric-id":4413693,"id":"Q4413693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375874$A19B254B-4689-45D0-A9CB-1E4CBA5123B8","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"64bc17ab6f39e42d424e8a6cb4368056def16d5e","datavalue":{"value":"Q129975444","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5375874$80BBBE55-0ED5-4FA0-8F28-B740C3E5F607","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5baa5dbfef65a3c1c119c404b94497a6ae05b075","datavalue":{"value":{"entity-type":"item","numeric-id":5862001,"id":"Q5862001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e7973feb8b397257e3f8fd1da876237e1451b44","datavalue":{"value":{"amount":"+0.8746435642242432","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":"Q5375874$0BFBA818-BC72-42A2-93F8-B186A5485B35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1bef421d98ee9f735b7647c8df54a254d2eb0bc7","datavalue":{"value":{"entity-type":"item","numeric-id":2894547,"id":"Q2894547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da30cf9730c1e069a6dbdacc816a035ded8104c3","datavalue":{"value":{"amount":"+0.824715793132782","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":"Q5375874$211CA2BB-5397-46DB-B145-46D1D2CBA293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52674fa6fe68f2084037b5b78f4e5e5399ac0988","datavalue":{"value":{"entity-type":"item","numeric-id":3336678,"id":"Q3336678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38421b228da61a3511e0584b4dcbcc977dee3334","datavalue":{"value":{"amount":"+0.7218497395515442","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":"Q5375874$BD032572-7C69-4A2D-ABEB-C3787A511E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee801dd68db4b13d117c4b0294c50334277a4292","datavalue":{"value":{"entity-type":"item","numeric-id":2946640,"id":"Q2946640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62fc2e454b4a4aab5ce7b685c36fd75c1b434768","datavalue":{"value":{"amount":"+0.6910542845726013","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":"Q5375874$4F23983B-D380-44A3-992D-7CC86DAECE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"254f76943589c9dda59dc0a2d5e0b99576bef7b0","datavalue":{"value":{"entity-type":"item","numeric-id":4327833,"id":"Q4327833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35418a75d48d817c758e6aaa31c7b927896f0db8","datavalue":{"value":{"amount":"+0.6854103803634644","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":"Q5375874$6B21BB8D-EB02-40A3-AC39-6E6CBB38BF39","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"c39a117a349789e54237c0a3254f5a10c0a6517e","datavalue":{"value":{"entity-type":"item","numeric-id":6830565,"id":"Q6830565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5375874$7B620361-7C3D-49E9-BB30-D329F8C5C5A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An independent axiomatisation for free short-circuit logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_independent_axiomatisation_for_free_short-circuit_logic"}}}}}