{"entities":{"Q4443409":{"pageid":6473008,"ns":120,"title":"Item:Q4443409","lastrevid":48218380,"modified":"2026-01-04T00:10:45Z","type":"item","id":"Q4443409","labels":{"en":{"language":"en","value":"Triangular Logic of Partial Toposes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2024830"}},"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":"Q4443409$DBC62BBA-B054-4670-A4B9-CF2734D4C1A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d96a2b340d0f807b0f38d58fb5cf7e891ac78f5f","datavalue":{"value":{"text":"Triangular Logic of Partial Toposes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4443409$DCB092BA-8B9F-4A55-9251-8650B4164B42","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4c31d6407c9e3ffb72e35cb57e47cdcaac32b91","datavalue":{"value":"1033.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443409$503AFC26-2CA9-45D4-8016-2873D3CC92FC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9d7820f9a03ed5c9a3cb45703fad30c545b87d2f","datavalue":{"value":"10.1080/11663081.2000.10510995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443409$19F08B4E-6A9B-4B08-8A57-0FDDAE96339E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"168c439337819df2c43af3b8a6f753e66040a513","datavalue":{"value":{"entity-type":"item","numeric-id":750437,"id":"Q750437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443409$92F66366-AA65-4B06-9EEF-B1BAE6FA7F19","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":"Q4443409$3580823C-FC6C-4557-A22C-CB68B6AAFDAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e74d2b308d681dfe8acc260d1b5c3eac5e616e88","datavalue":{"value":{"time":"+2004-01-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4443409$2000FBA5-FA25-4B19-8ADB-22B1AD97C6F3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443409$73F45011-0A73-419D-B7FB-BCA07AEC4781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443409$33DA1955-E39C-4B2A-8C6A-DDEF4E73F823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443409$5236E137-F847-4F2B-9993-79913F341D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443409$B3BA6FFF-6ED0-4D72-AA4F-AA68D5893386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"83bbf0b299346afb89579c3d6a26f4aedc76938a","datavalue":{"value":"05C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443409$79B85CDD-20DB-408B-A5BC-21DCDFE58A11","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"61b47f9d19a1522dc3140b6bc9a5702aa3465121","datavalue":{"value":"2024830","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443409$B0AFF80B-55CE-4B16-BACA-2955DE36ADD4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8895450946722b96a38a1012f687a834d596405a","datavalue":{"value":"triangular logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443409$690A1D69-D16D-4261-B1A3-3CDE350E9DC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e0e47f7059334b20aaee856b45d4663b364b3f0","datavalue":{"value":"partial toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443409$9BE6106B-610F-41D1-A0DD-48ABE9CBDB52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e7de1169841697b9bfd1987ac0150fc2b22039f","datavalue":{"value":"equational theory of partial maps over toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443409$1E764EE7-4B22-4066-84F0-E025324EDC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23eeb1edab89705fe0103871468edd80aa1f268c","datavalue":{"value":"visual presentation of proofs by nested commutative triangles","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443409$BE3D9515-685C-4C15-A7C5-3733BA8C9E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4b98b5353082f5ae3dd3eedbb2c57d8903e4ca5","datavalue":{"value":"directed graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443409$5408A27C-C55D-4E5D-89C0-2AD1452D4946","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb968c30f93efc86855751168fe668900e5112c","datavalue":{"value":"graph homomorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4443409$661FA93D-BB22-45F6-9D46-0F36B6BE5E19","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":"Q4443409$F0363BE7-12DE-4897-A2D6-BCBD3B29F05F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0e1d14128293802959a86792e0a7481f5eddb3a","datavalue":{"value":"https://doi.org/10.1080/11663081.2000.10510995","type":"string"},"datatype":"url"},"type":"statement","id":"Q4443409$57643A00-FDA2-4A6A-9579-C9AE260AB257","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fe48f106ad2a3421604bca548b5d2991a68345ca","datavalue":{"value":"W1979049081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4443409$7A342874-9421-496D-843B-B2A0CB02B7C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"127ee72d1d7ad2f1d389ea622790e729ce06b376","datavalue":{"value":{"entity-type":"item","numeric-id":3868784,"id":"Q3868784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443409$B34AADF7-8DA0-4926-BE5E-DC9EDC89BAA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443409$4C781128-31C3-43F6-A4D5-C3DB044CEB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443409$E03E4C38-6939-40A8-A969-FA21808F2C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6116305b1dd9a179388d6b1c1c65dc4d515e48bd","datavalue":{"value":{"entity-type":"item","numeric-id":674480,"id":"Q674480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443409$ED164FA4-4AB9-4FE2-B249-920368E5F602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"feda147a954cb5f8e4a79190985c7a781a1688a6","datavalue":{"value":{"entity-type":"item","numeric-id":4143484,"id":"Q4143484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4443409$A9938321-EB2F-4DF7-8458-672664EC27D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba219631a4d7189af74fe3d67cfca4b33728182","datavalue":{"value":{"entity-type":"item","numeric-id":3784070,"id":"Q3784070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec76399af489ea0264d9db83c2ca9d02cce845f4","datavalue":{"value":{"amount":"+0.7486860752105713","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":"Q4443409$1F8A72D1-B5BA-4D21-A597-80F91EC275AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9207457c353da36637f221fe4e0b00066752687","datavalue":{"value":{"entity-type":"item","numeric-id":4429196,"id":"Q4429196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f30aa0eb1d1729fa6ef8e49d4d170a2eefd32b76","datavalue":{"value":{"amount":"+0.7167704105377197","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":"Q4443409$F063517A-601B-4534-9936-13374E779CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf27fd8af29f59c9b9e5c0901341cdfaae0a5af","datavalue":{"value":{"entity-type":"item","numeric-id":866572,"id":"Q866572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62bb17c2d147402bbc2d77dfdf4fd2d5aef2a56b","datavalue":{"value":{"amount":"+0.705150306224823","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":"Q4443409$991E4E23-5BB5-44C1-8D02-56D6A942F6DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f67830f841681e5e5e056c9b6a09218749b9915","datavalue":{"value":{"entity-type":"item","numeric-id":1121368,"id":"Q1121368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfa703fc5e14277ea8d5f059e743a25e61ad4daf","datavalue":{"value":{"amount":"+0.7047003507614136","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":"Q4443409$08CEB25B-74EC-4AEC-9452-9C79609D96F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3305dcec8f319a4454e515b205cfd0b133cd81d3","datavalue":{"value":{"entity-type":"item","numeric-id":3067320,"id":"Q3067320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e4893acd752aa77b8b5c641e308f32e82e60520","datavalue":{"value":{"amount":"+0.6926730871200562","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":"Q4443409$661A1147-27F7-467C-96F1-DC8758F4A89E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4443409","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4443409"}}}}}