{"entities":{"Q6115850":{"pageid":13250157,"ns":120,"title":"Item:Q6115850","lastrevid":39709234,"modified":"2024-12-30T17:35:44Z","type":"item","id":"Q6115850","labels":{"en":{"language":"en","value":"On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7725403"}},"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":"Q6115850$C3EF1C06-E4E7-4773-BD46-D24BDC36EA6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"70bd085cd20869fdba4fd9477b7bae2ece54706a","datavalue":{"value":{"text":"On Boolean algebraic structure of proofs: towards an algebraic semantics for the logic of proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6115850$7691D78B-1E93-4004-9E68-B025B9F538BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfc8bcdc0a6cbb2bf92927d78022f9cbc7a86f1f","datavalue":{"value":{"entity-type":"item","numeric-id":2075928,"id":"Q2075928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$FA001BC0-ACB0-4814-A828-0884097AD389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"01720929bc0e9c7898e5e15d3c8d2a09ecc071ce","datavalue":{"value":{"entity-type":"item","numeric-id":331047,"id":"Q331047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$8DE12E75-707B-4C2A-A89F-43F483E00FA2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$F13D964D-E3E6-46FE-AA7E-A45E22F6263C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9dae15c90b98a92864cf67eed8eb0b97ddf8177e","datavalue":{"value":{"time":"+2023-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6115850$5D1DEF34-D327-4516-8159-1D020CDE20C9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6115850$D83E6B3A-4ADC-45A5-A968-60A8D530A00E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e111cb4160e8ce76e89a1a54682d543e4c80c2f7","datavalue":{"value":"7725403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6115850$F8394ADA-1F5D-4D91-BFFB-7D52BBEC4030","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e2e21a984526b8024b04acd04fd80cbaaf58f4b","datavalue":{"value":"logic of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6115850$00AF2ACC-A924-4C1C-BD52-14D210B66EE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6115850$107287D2-C1C4-416A-A03D-3CB74BBA700D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6115850$1EF5D44A-4F7A-403C-8AE5-5B2D6ECC5668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4b9dc8ad3d716500945f24344bc628ac3e6598e","datavalue":{"value":"representation theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6115850$36467BF5-459C-4EBF-86F5-BAD29792E903","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":"Q6115850$79C9F052-B71F-4DDD-ADFB-EB1586A7681E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fe9bbe0631617c5f4c36ca9ad8ae0d013ae159d9","datavalue":{"value":"https://doi.org/10.1007/s11225-022-10033-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q6115850$D4222262-841F-4AF0-BA68-C960E03BC9FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"66421faba8c539fbd2b18892d317bdfcde8a97b6","datavalue":{"value":"W4318618651","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6115850$5ADBC3B4-9DE9-43D7-B9B9-4444EBB12CD1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e1a6ebb360b6bfc3a111b832b5231ca5c9153b7","datavalue":{"value":{"entity-type":"item","numeric-id":2732527,"id":"Q2732527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$36C5396D-3D27-41C7-B38B-44708AB27406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29b811656f4ebb283e6c749d10483ecd50472fcb","datavalue":{"value":{"entity-type":"item","numeric-id":454364,"id":"Q454364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$FDB4B930-DAD5-4E67-B643-94D4A41D9C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17b00ab191b866943c5176f743d50485259b50b8","datavalue":{"value":{"entity-type":"item","numeric-id":5376691,"id":"Q5376691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$C0D7BA60-4845-497C-8BD6-459B357F9321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baf04d020887fd3396a524a73ea7ad8c15d88b95","datavalue":{"value":{"entity-type":"item","numeric-id":2068392,"id":"Q2068392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$C30E2B37-FAE0-4483-8AC4-6822AED77E21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b1d674f193b85628d63059c8c1b42abeb9370a4","datavalue":{"value":{"entity-type":"item","numeric-id":5019288,"id":"Q5019288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$49E25F84-D139-4E88-A49E-1804FF6CCA31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$8A801F7F-7691-418D-A670-F9852BEF4346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13e773aec4f521324ba6a5c3d61497aff90ed176","datavalue":{"value":{"entity-type":"item","numeric-id":2904046,"id":"Q2904046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$68D13E31-8CB6-4DD2-B4D0-C0A27018D5CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$13F690B6-B40E-4463-BA4B-24FFA12C06D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd8f331c208304cc5d06815c844f99cac7d33a64","datavalue":{"value":{"entity-type":"item","numeric-id":5014046,"id":"Q5014046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$156D6B80-128D-44D8-8585-2D1FE32C085F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1dc9f77118731d07defbe2b73ecd4ccb123bd5e","datavalue":{"value":{"entity-type":"item","numeric-id":703832,"id":"Q703832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$F70D1645-65DA-4B84-B10E-092E11948BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7731549773c563f98cb19264a7023a9f36ffcd04","datavalue":{"value":{"entity-type":"item","numeric-id":286591,"id":"Q286591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$F4E28729-C25B-4FA3-A13F-BDAF83ECA3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a09e47cfb1eabb448e1b169302cf2454f9f3611b","datavalue":{"value":{"entity-type":"item","numeric-id":4644569,"id":"Q4644569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$44F1297F-F3C6-4252-B9DF-05C3FB0D58CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b47288a4f4726e1175e2a1930f0dd70ccb616bb6","datavalue":{"value":{"entity-type":"item","numeric-id":331048,"id":"Q331048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$32B7DD62-DF44-48EA-B24F-8DE470BC7318","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb918ec41763146dcf435966b2e1f08f3f5225c8","datavalue":{"value":{"entity-type":"item","numeric-id":435202,"id":"Q435202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$1AA46DB7-2737-4E03-8DBF-453018FEB45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b3b2827002bc8d3e5b4e924d1e5ea74c5a2eb5","datavalue":{"value":{"entity-type":"item","numeric-id":5232011,"id":"Q5232011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$2C9D748D-7B57-4F45-9BFC-4B28700BE699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"033c9a4ba162c779bcd530ab24e5c745d1460f23","datavalue":{"value":{"entity-type":"item","numeric-id":2303608,"id":"Q2303608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$ABB8AFE2-E762-4B87-B915-37EA57FBC111","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dfbfd3fd8285c1b250d4a94e1be2061d1444016","datavalue":{"value":{"entity-type":"item","numeric-id":4376067,"id":"Q4376067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$BF7C0479-9A38-4D58-892C-E3F2C7DEA30E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"917601c08dabc79ffff24f54083ae1060b0ea824","datavalue":{"value":{"entity-type":"item","numeric-id":2419910,"id":"Q2419910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$6385E3D9-A050-4684-8223-E1F20A738372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6beebf62b33274d0f9036886a415bab3f328d6d","datavalue":{"value":{"entity-type":"item","numeric-id":2193971,"id":"Q2193971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$96709C50-DB16-4125-A25E-B101BF7C51CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0689d0efd89701cb8f047c3259dd18320f99ce04","datavalue":{"value":{"entity-type":"item","numeric-id":6111085,"id":"Q6111085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$B8004871-B795-462F-9B19-EC40B291EDBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15f11ceb5514ec5bd86502a209c3d99f51fd2b1e","datavalue":{"value":{"entity-type":"item","numeric-id":5092557,"id":"Q5092557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$7AEB62C3-C366-4D0E-A240-5F522D5955BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45f1f11f86b64fd3e4db850ce73850fbd928ed38","datavalue":{"value":{"entity-type":"item","numeric-id":4917994,"id":"Q4917994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$1DF3E950-7463-43FE-9C14-5BFE545FF124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dd6d62ee7bd93b1e3442c4d7e244666926e16de","datavalue":{"value":{"entity-type":"item","numeric-id":3434705,"id":"Q3434705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$A624EF92-3BED-43D1-A379-55D2AEC401FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6e4bb587953113c7b6d83a6c90d7e92849fc8b8","datavalue":{"value":{"entity-type":"item","numeric-id":5014055,"id":"Q5014055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6115850$FF51CEBD-E6B2-4249-827E-4EBC2E2082EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db160e92f0196976f13233162d6976dab8ec5c7a","datavalue":{"value":"10.1007/S11225-022-10033-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6115850$98FA1C6C-CA60-499E-A6B3-357DF5EA7135","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6115850","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6115850"}}}}}