{"entities":{"Q5423982":{"pageid":7453556,"ns":120,"title":"Item:Q5423982","lastrevid":50202338,"modified":"2026-01-13T12:30:10Z","type":"item","id":"Q5423982","labels":{"en":{"language":"en","value":"On the axiomatisation of Boolean categories with and without medial"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5207781"}},"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":"Q5423982$E52B4E04-F563-4381-9AFB-339389F9419C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6819114eecdc8b564172bae991b90cb7defc6254","datavalue":{"value":"1122.03066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423982$AC8C62F8-ABB4-419D-8B9E-C0109A35931E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47e9ac37086b3bbcbf1225cf6575ab3c2b196e0c","datavalue":{"value":{"entity-type":"item","numeric-id":714730,"id":"Q714730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5423982$8FAE346E-AE9F-49E5-B2D8-15B4D87FF6CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"87a96649daacfeeba0041267c016b2297b06f3bc","datavalue":{"value":{"time":"+2007-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5423982$5F1B9B61-2B11-406E-BB1C-EA3F3BD4015F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"40ac7922afc4fecbd0fdaffcc4c7178d380e4893","datavalue":{"value":"https://eudml.org/doc/128034","type":"string"},"datatype":"url"},"type":"statement","id":"Q5423982$98DDE591-58A2-4A5B-BBF2-A9B48002B250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"caa3701b065e98c246f224baddcbdace4dd840fb","datavalue":{"value":"http://www.emis.de/journals/TAC/volumes/18/18/18-18abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5423982$8C350496-2408-44FA-A4AE-A92B85FD3CE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423982$4658D0DA-637F-42E2-AB1A-8115F1871223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423982$2820B472-1482-47E9-99BC-46A292D0398D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423982$17B3318B-0B4D-4176-A02D-58E4EC0D2089","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423982$0673A531-4696-4BCE-820F-F51B7458F16C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b0e949de58ca6c32b1266db98d012bd65bef312c","datavalue":{"value":"18D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423982$3062AF49-9A1F-46BD-BAD6-F35763A4DB5D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ee9e8412a9209eaf6d0fa3ced73b8c0c4d5f220","datavalue":{"value":"5207781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423982$2C1769B0-6299-4F7E-B9BC-C60938F2D57E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"169984fbb32aa6e578c27606fd484905e7bf6ee5","datavalue":{"value":"Boolean category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423982$5E7D52DB-8678-4763-8FDF-66048F7CE186","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"174b8b2ba42b2678482e9cda14e125c18a716169","datavalue":{"value":"\\(\\ast\\)-autonomous category","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423982$FABE0708-1A82-429F-BE65-2950933B37AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423982$6B7874C4-74D0-43E5-8081-A50E1A267494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423982$2E926658-CAD2-4D78-988D-B3FFB4DBB511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d82d54321dd9799ec54c6e2eeabcd189cda5e80a","datavalue":{"value":"proof nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5423982$04E6B308-8B99-4CC5-97B0-DC512E951749","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":"Q5423982$BB738A4D-9629-4B22-9A4A-8ACBDEAC0272","rank":"normal"}],"P1633":[{"mainsnak":{"snaktype":"value","property":"P1633","hash":"a42850f9bfa87b2736b21055c686a592dc170919","datavalue":{"value":"bafkreicbgwxbzgzaid45pai7pywfijpc6mxvaliysui3ilsy3vqbxmqlz4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5423982$EB6B5998-1125-4A61-A430-F770CE38F714","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1aa401530e3afa6107283e7baf30024ac0b085c4","datavalue":{"value":{"entity-type":"item","numeric-id":3376920,"id":"Q3376920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fed9d131a2036bae28972d047afb7ec797a13e58","datavalue":{"value":{"amount":"+0.7313121557235718","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":"Q5423982$A17F2E6C-E473-4B52-9651-8A6D2FC4B45D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f5bb9c8418679fd0f1628de2db9a11ade220f3e","datavalue":{"value":{"entity-type":"item","numeric-id":2503320,"id":"Q2503320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"418575724709d056db3d4824fb92720837d2a71f","datavalue":{"value":{"amount":"+0.7199184894561768","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":"Q5423982$6FC7D8EA-50EC-4C28-9298-B59084A2707F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9148a0a6142cc381cf6060c27ecaa5bd75d867cb","datavalue":{"value":{"entity-type":"item","numeric-id":3625678,"id":"Q3625678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13b370ad6b655bda8c08674da9b5c9d899c812a0","datavalue":{"value":{"amount":"+0.7093991041183472","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":"Q5423982$BB11B62B-8A70-4903-9AE1-F2B330681198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71d5ef3313ffad92ab63539330c5ac640d3c666b","datavalue":{"value":{"entity-type":"item","numeric-id":5411254,"id":"Q5411254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8daba17b630b27a87393cc1490a44b69701de50","datavalue":{"value":{"amount":"+0.7066927552223206","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":"Q5423982$24406249-9096-49FC-B503-4CB027E0A27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a60e99a994d6c6a951885880af7617d4fe310cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3161701,"id":"Q3161701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"204813a3865a49be15be6e7068003931ed052a39","datavalue":{"value":{"amount":"+0.7063755393028259","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":"Q5423982$4483A7F2-D07B-4F47-812F-F96B7DF7EF38","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5423982","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5423982"}}}}}