{"entities":{"Q4903809":{"pageid":6933388,"ns":120,"title":"Item:Q4903809","lastrevid":51643085,"modified":"2026-01-19T05:35:22Z","type":"item","id":"Q4903809","labels":{"en":{"language":"en","value":"A procedural interpretation of split negation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6130988"}},"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":"Q4903809$147D92D3-D827-4077-A6F6-F5D8F459B5CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3664fd58a306469a1b7cc027e3f78056e633576","datavalue":{"value":"1275.03094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903809$CC2F560A-DA46-4E6F-8526-76EFD9265623","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"09280877557b8b97e11e8949f0aeded7647ef679","datavalue":{"value":{"entity-type":"item","numeric-id":833029,"id":"Q833029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4903809$69B96E48-D272-4837-89F6-6FF33D7CAD19","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1539a9b191aecf3f119041e1abcfc9ffbe841e2","datavalue":{"value":{"time":"+2013-01-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":"Q4903809$EA073FC4-FEDA-4ED4-ACDB-9B900BD8144E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903809$C5C5DB15-A26A-4DF9-AFC8-45CD54D3C499","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7849a5bb1b30f5456e6a966bff846a21c96fb9c0","datavalue":{"value":"6130988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4903809$D9720A55-DDCE-4650-ADED-E0DE4887C55C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6e23565a69f8dc62dc1bdf9cdcdd1011ef29530","datavalue":{"value":"procedural interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903809$2C829E62-D6E4-4453-BE9F-55F28F84D73E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf83ae4f467b2bdaa4f6d62518a4d248e92d1aca","datavalue":{"value":"negative information","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903809$A4B6E1F2-13D2-466A-853A-00A27D5F15F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdb7711b5a10f8f080e95544472d62ce59881944","datavalue":{"value":"split negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903809$B3F1510F-92EC-492B-A4D3-167207E5328F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b6d871994eaa271bfacb6b06b6d6003c10f9bba","datavalue":{"value":"non-commutative logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903809$CDEF26AE-701E-4C01-A8A1-C5EAD919F865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903809$B31D83A9-BAA8-4B37-9F58-25CD6915A9F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0902b234dbebad675d51a6369fa61136bdd1b588","datavalue":{"value":"Lambek calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4903809$4DF29A78-7F2C-47A4-B20D-9340E1EE8D40","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":"Q4903809$7697107E-ABE7-4E01-8124-7969D37A2385","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3a45420c61d2fda46781b95a9ba9d0e97834e41","datavalue":{"value":{"entity-type":"item","numeric-id":5323799,"id":"Q5323799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"311a837829079cd9b99e949d1ee48e1a17e9eb20","datavalue":{"value":{"amount":"+0.8171242475509644","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":"Q4903809$ED5B68F8-783E-4A08-85CB-3397CC650195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f349e3e491db4b1bb4272bd41aaa11cfab1cc7a5","datavalue":{"value":{"entity-type":"item","numeric-id":3305426,"id":"Q3305426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88e2571152cae3033f94ff31d9ea7d69c437455a","datavalue":{"value":{"amount":"+0.7161444425582886","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":"Q4903809$43CA4A59-E9FC-4E7B-A1C3-0858F91B734F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9c28068448cc63f83492dd660702628258744d6","datavalue":{"value":{"entity-type":"item","numeric-id":3820058,"id":"Q3820058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a34cbe9dab8f125815f2e10e0a7df9bd37684b9","datavalue":{"value":{"amount":"+0.6566376686096191","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":"Q4903809$CB14A1C7-7EF3-46C0-B4B5-B4991A9DE22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcedea129b09724ca891154e9e12d52eedadd20b","datavalue":{"value":{"entity-type":"item","numeric-id":1310268,"id":"Q1310268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"638afc11df03f7a9aed834316a66ea81bb5edfa2","datavalue":{"value":{"amount":"+0.6549188494682312","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":"Q4903809$95745101-60FB-4F06-A6F3-F809507E2B63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"261bc6e035bfb4354c8edcc230f9d311914c8eda","datavalue":{"value":{"entity-type":"item","numeric-id":2715519,"id":"Q2715519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c6304c07446f6cb72d658a12f6301798e3c3772","datavalue":{"value":{"amount":"+0.6548566222190857","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":"Q4903809$13325EC7-444C-4B7E-A805-C59D870EA45F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4903809","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4903809"}}}}}