{"entities":{"Q6940470":{"pageid":21146427,"ns":120,"title":"Item:Q6940470","lastrevid":84102629,"modified":"2026-05-10T03:13:33Z","type":"item","id":"Q6940470","labels":{"en":{"language":"en","value":"Deductive systems and coherence for skew prounital closed categories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8082572"}},"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":"Q6940470$5C5A3392-9D84-411D-B4DD-93B33A5A1260","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"22dd8a8783ab5f97c6fe55a3d3f2701711533d5a","datavalue":{"value":{"text":"Deductive systems and coherence for skew prounital closed categories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6940470$79A1FEFE-6A6A-42A4-93DA-73ABF29EC750","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f11890b335338dae035e30971ae28166e9ca94b0","datavalue":{"value":"1569.03162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940470$18AD0FDA-3C75-454D-89FA-8096E1B71DD3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3edb0e1c6721530d648d38068ada6cccb0dc9ef7","datavalue":{"value":"10.4204/EPTCS.332.3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940470$F7CC6773-84D5-41DC-B470-DF18D85C30FB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7482be5e12ba704886d8c8b688d0ba3cb204197d","datavalue":{"value":{"entity-type":"item","numeric-id":235624,"id":"Q235624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$119D8349-98D8-4719-BA80-03349B402FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c39a632e645d6ba105bdab27ef952da1f8327439","datavalue":{"value":{"entity-type":"item","numeric-id":1675788,"id":"Q1675788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$7A8364A7-1ABA-4D29-ADB1-3682E4CA9746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05f377508bb60773fd982917157c68668b1c0938","datavalue":{"value":{"entity-type":"item","numeric-id":2133465,"id":"Q2133465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$824A2E84-CC97-49C3-B5E7-998E2239EB50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fb3c2642bc08f401365e4a6aafa09d756f14110","datavalue":{"value":{"time":"+2025-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6940470$49EA2711-E14A-4224-A46C-C31C3725EE01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940470$7D99D1B7-86A3-4595-A729-BDE23F90D98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940470$A91F4D7C-3906-4797-841F-E97AC5B38BF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"afbc7dbae75e8b6912499f8e0b414e65fdd0d9b8","datavalue":{"value":"18M45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940470$A2651C2C-3BAD-40F8-A5D0-302C73CFEE8E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30b7cf5357c74d7912090836a827926152a5b12a","datavalue":{"value":"8082572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6940470$D318DB4A-46F1-4578-9DD6-C31ABC0A4FD4","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":"Q6940470$17156FCD-9A20-4891-A841-B0DC1DEE4AAD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"30ae6e3d0e9b1029b96a95d3b1de51aba93cb706","datavalue":{"value":{"entity-type":"item","numeric-id":5425310,"id":"Q5425310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$53467AE3-DB5E-4323-9F2A-7DACD7B4898F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da6f93665c2e557c57ca467a92e979922ef9ed2b","datavalue":{"value":{"entity-type":"item","numeric-id":3971583,"id":"Q3971583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$C9504203-37A5-46C5-B744-B84E27E9A2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7cb3093a2facd758e8e5efacce4a1e6e068d684b","datavalue":{"value":{"entity-type":"item","numeric-id":5177334,"id":"Q5177334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$2E35A31B-FAB3-4AD6-A7B8-EF5952E26C2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa1e1e1a7f2285ef58a648d10db096ce5882504","datavalue":{"value":{"entity-type":"item","numeric-id":5057474,"id":"Q5057474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$B44DABE9-E170-415D-9BBD-AEEA3D599D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42bdbea0160e788f4fb95a24a8a29ffb0eadc069","datavalue":{"value":{"entity-type":"item","numeric-id":4018167,"id":"Q4018167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$87669D59-F0F9-4AD0-9B5B-37376A3A3C91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2266224524b59688f3f5f36049c5d735368d3f","datavalue":{"value":{"entity-type":"item","numeric-id":3848220,"id":"Q3848220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$C4349435-21A6-48D5-8868-6922AA611B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3021d90eca077841517bd64fc171b2a128b003a","datavalue":{"value":{"entity-type":"item","numeric-id":4283230,"id":"Q4283230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$81A06E21-46FF-4ADF-9020-BA4E3458D035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86e18106c52e4150b3ad9ca296e13f3c74e0036c","datavalue":{"value":{"entity-type":"item","numeric-id":2012168,"id":"Q2012168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$939A316D-4309-405B-B132-DD5E47E2F5A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e317abe9fffee248b9ecb22bddfbe1d2b81a8984","datavalue":{"value":{"entity-type":"item","numeric-id":1647335,"id":"Q1647335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$515A58D6-9D55-41A7-876E-D2D57DE40D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63dee936ab3c2003c00fdde770483f24a8a1a19c","datavalue":{"value":{"entity-type":"item","numeric-id":5586461,"id":"Q5586461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$041DDC2B-3B53-40E9-B281-0C388B63783C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c313607c5b1e0df9ac4308367c819e2105df73cc","datavalue":{"value":{"entity-type":"item","numeric-id":2555556,"id":"Q2555556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$348B4B08-7A06-4893-A7BC-FDA7D54D0446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a74fd76e2d9e94e09e493d795b400a0e721b82","datavalue":{"value":{"entity-type":"item","numeric-id":2544617,"id":"Q2544617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$9926EE73-EAEB-4C63-B406-9A52F5F4C0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67d4dd3644e100b3a9bdb7f932463c1e039cd8a7","datavalue":{"value":{"entity-type":"item","numeric-id":2919770,"id":"Q2919770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$98413419-D6C5-49E1-98CD-3307B374739B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a001bea59f4f49bf4906b79254c069c38b37e44","datavalue":{"value":{"entity-type":"item","numeric-id":5566549,"id":"Q5566549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$BD5BC740-93E6-4B5C-B136-B75F20E857B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ea1f9ce4b97118e415f2d676a91d117e24427a5","datavalue":{"value":{"entity-type":"item","numeric-id":5595187,"id":"Q5595187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$081403A1-8C6A-45D4-95E0-6E41729D1CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164b04eacce1c6bf12e9bf6d617f42b221e235cf","datavalue":{"value":{"entity-type":"item","numeric-id":5655525,"id":"Q5655525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$93097532-BFF7-4893-B30A-2E0B3F18CB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540ed27ea355ebe0450e53de6a86ead29b974567","datavalue":{"value":{"entity-type":"item","numeric-id":5642701,"id":"Q5642701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$1E5B441B-2FD3-48CA-9ACA-65F4149C8CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f5bdf8c2590c9613eefeb94dc771a22ff48499c","datavalue":{"value":{"entity-type":"item","numeric-id":4092159,"id":"Q4092159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$19E5E2F8-B9C5-4992-BD7F-AE83AEF8B28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87a70b7a445eff353577b4380fefda4e022353ad","datavalue":{"value":{"entity-type":"item","numeric-id":5655527,"id":"Q5655527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$0270FE6F-34A8-4558-880F-EA3DA25A169C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b94df431cbb743089944989ee253bd3dc14bc57","datavalue":{"value":{"entity-type":"item","numeric-id":2884476,"id":"Q2884476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$9844A792-72C0-4BBB-8422-AB11A9273F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35beedec8bb1ed1b5add1ce8b9fc9a85b0574a08","datavalue":{"value":{"entity-type":"item","numeric-id":4077995,"id":"Q4077995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$1560057F-FFBF-4012-943E-A40A9147A50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8ebc0f6209cc7045ad31ca451c20be9f64638c4","datavalue":{"value":{"entity-type":"item","numeric-id":2524056,"id":"Q2524056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$C503D639-227D-4BA9-8EBF-16DFDE8FDE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98c17fefc3bf7c4e7c64821785423560055c9954","datavalue":{"value":{"entity-type":"item","numeric-id":1147133,"id":"Q1147133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$6D39F56C-6874-4CCA-AD38-F2F163D812F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$526DEED2-0D61-4355-8B0B-D888A28FF223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39f6f0b9c9babfe17850440b99e86f8de8e551f1","datavalue":{"value":{"entity-type":"item","numeric-id":4079790,"id":"Q4079790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$E865E29B-15F4-44E9-A499-CCC1BC27F266","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77a045b2d0227e534aa3b20c3783f27dd186aae4","datavalue":{"value":{"entity-type":"item","numeric-id":2376553,"id":"Q2376553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$8DB39768-77F9-4878-AC90-3869BE459D55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16e26d0c108b9180bfc0f5a20cad358982b6e8be","datavalue":{"value":{"entity-type":"item","numeric-id":2265425,"id":"Q2265425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$4AE0B6E0-6E96-44E6-AB6E-1EDB9991B2F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b219ba863492022768abad5a30354cc8e2f59a","datavalue":{"value":{"entity-type":"item","numeric-id":788719,"id":"Q788719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$32A730BC-EF6F-495F-8378-30F04314C902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b127a2ffd1fcbbeac06e83d274abbbcceeb0621","datavalue":{"value":{"entity-type":"item","numeric-id":456777,"id":"Q456777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$23DA76CA-28C5-495C-90D3-64018E6AD49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17fea2cadcea1d9df9a09b31cf450f2b3df855d9","datavalue":{"value":{"entity-type":"item","numeric-id":1891252,"id":"Q1891252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$79E75566-EDEB-450A-A91B-28BC45D8F849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1278648853a0ffc36dad4779bd9786f303072440","datavalue":{"value":{"entity-type":"item","numeric-id":2134838,"id":"Q2134838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$A3FC4275-8413-43C1-B62F-5C728B0C4A7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a244e80ae532589469c24ae980da417806934a","datavalue":{"value":{"entity-type":"item","numeric-id":2133479,"id":"Q2133479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$0B8B4DA0-7F0C-408C-84DE-D3FCA1CEEB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa19d45127427927ec930c6ce8f8170b9db93184","datavalue":{"value":{"entity-type":"item","numeric-id":5712317,"id":"Q5712317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$F33CD97F-FC45-4EF9-9F13-AAA06C73B376","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dccac46d7afc253b9dac9ca67f570afa80cc25c7","datavalue":{"value":{"entity-type":"item","numeric-id":5145371,"id":"Q5145371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$55F6C910-8344-4FA9-AD76-C2A378728234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f5905cd8c9e0d8c6187ee37e10508db999ed4dd","datavalue":{"value":{"entity-type":"item","numeric-id":4625697,"id":"Q4625697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$39D36F03-BE8B-4A0C-9977-6C8E3EC8117F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c90b2e0ced1298041d18e0c665831758c400276e","datavalue":{"value":{"entity-type":"item","numeric-id":4052084,"id":"Q4052084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6940470$81E29034-A622-4DCE-9BF2-1516BE8EA8E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Deductive systems and coherence for skew prounital closed categories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Deductive_systems_and_coherence_for_skew_prounital_closed_categories"}}}}}