{"entities":{"Q4434616":{"pageid":6464215,"ns":120,"title":"Item:Q4434616","lastrevid":48196588,"modified":"2026-01-03T22:32:55Z","type":"item","id":"Q4434616","labels":{"en":{"language":"en","value":"Fibring Logics with Topos Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2002257"}},"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":"Q4434616$8475E9B8-7455-4582-B433-5A9E5DACD788","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e54387ef6d60910496be511cdd1d76f63b816c3d","datavalue":{"value":{"text":"Fibring Logics with Topos Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4434616$E698FF15-5E2F-44FC-A55E-6CCDCEBA2628","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"52c36d9494c2cf48e0d303280213413223175f3b","datavalue":{"value":"1034.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434616$332F95CF-E081-40D3-A860-2D4D15B06299","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"abb72aee385d3c375008fbb213dbc232938cad53","datavalue":{"value":{"entity-type":"item","numeric-id":186027,"id":"Q186027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4434616$FC734080-6CF4-48F3-A40A-A30E76ACBB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"285d9750983a099fd09d5b668a563562c82d80f8","datavalue":{"value":{"entity-type":"item","numeric-id":694497,"id":"Q694497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4434616$CA7B1352-CD23-408C-A34E-56506276CBF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6f777adcad6332a741f226656c48fe659c1cfa7b","datavalue":{"value":{"entity-type":"item","numeric-id":694498,"id":"Q694498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4434616$892E069B-8B9B-4F49-BD84-3DECE83865D4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bdcbbe6751005b5a25abaf14031c72afec06c29d","datavalue":{"value":{"time":"+2003-11-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":"Q4434616$677B8029-2FED-4396-816D-2BFCF3699B5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434616$C793F939-F057-4BD2-ACC0-DB094AC3666F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434616$DEC4A904-96F2-40AD-861A-A088ECCE8C3D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bd5d864d6645b4531c470b4dbdef5d1bb712ab8","datavalue":{"value":"2002257","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434616$70F6FD4E-2B1D-4B53-8C74-9EDDD925F5CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f346264936768a92306e42f086dac62aeb178e5","datavalue":{"value":"fibring","type":"string"},"datatype":"string"},"type":"statement","id":"Q4434616$C9139AB8-7D92-458A-AE14-65D7DC6B02B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4434616$CB5C3ADF-3D20-4990-BF49-94188B749776","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4434616$9D4A29A6-CD20-4A4B-9A7A-439BEA2E1C03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86883f625eb9ea1d0f9d5e4e00110dbc1e213e44","datavalue":{"value":"conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4434616$D4183DAE-2B3D-4D73-B29C-F96C5F8D6AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"955688f8f009946dc6794320a63f9fe18f43ea22","datavalue":{"value":"higher-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4434616$49EA556E-2A3F-4D3F-B6BF-FD7BAE42BBA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a17efd3df17fd0f330f0a2a3536cf207eb96c65","datavalue":{"value":"combination of logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4434616$3267DC76-B589-4276-8192-488EE5CB2A86","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":"Q4434616$5F6550DB-A7DF-4557-833E-680DFA75BADD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dad7289d1d1b566cde43a5260dce98e15f971091","datavalue":{"value":"https://doi.org/10.1093/logcom/13.4.595","type":"string"},"datatype":"url"},"type":"statement","id":"Q4434616$84E8EFB5-E1F7-498D-8BC2-C3F82ED4EBA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b77369f5b8350852d05afd538cde0d7c5b94d494","datavalue":{"value":"W2016979877","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434616$BE8FB009-369C-4D09-A060-0A1493B5EF0F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"42b5587e597dbaedc45cd3b334a317b22d0d8884","datavalue":{"value":"10.1093/LOGCOM/13.4.595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4434616$A0D6C047-2B7D-427F-9F96-19164A6B1149","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4434616$1A06B681-39C3-40B2-A686-D3744C980970","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28247f829035c7c4d1a6d3a9e80f6595414b73a0","datavalue":{"value":{"entity-type":"item","numeric-id":2732291,"id":"Q2732291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46da384ef9f2982c6c1c65cf6e3c4800d1969703","datavalue":{"value":{"amount":"+0.8698807954788208","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":"Q4434616$A6534273-4EA5-4ECD-BCDC-ABA34BDAD787","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48b3f3185786afeae3bf09860819bafbf7f8da07","datavalue":{"value":{"entity-type":"item","numeric-id":4779584,"id":"Q4779584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46da384ef9f2982c6c1c65cf6e3c4800d1969703","datavalue":{"value":{"amount":"+0.8698807954788208","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":"Q4434616$92C97ABA-5269-44BA-86E8-4BF62AF0F412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed3aac096f5523c7b293d2e5dece543fa5681165","datavalue":{"value":{"entity-type":"item","numeric-id":4242584,"id":"Q4242584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0a408bcedd3d7a7f6702c1f18e9d90cf38e8c65","datavalue":{"value":{"amount":"+0.8444342017173767","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":"Q4434616$A2CB1199-2527-4200-98D5-883A2A36520E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a27b53b18c40659d068ccaa736ec8119d496266d","datavalue":{"value":{"entity-type":"item","numeric-id":2782494,"id":"Q2782494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e99ec1a25b91f9cc263d75517fb9eaa11fcb780","datavalue":{"value":{"amount":"+0.8149594664573669","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":"Q4434616$F69FADD5-5D0C-404D-81E8-F522DB91BF2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f980d899e16eec01447e47e9096deea27d509113","datavalue":{"value":{"entity-type":"item","numeric-id":3128464,"id":"Q3128464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e99ec1a25b91f9cc263d75517fb9eaa11fcb780","datavalue":{"value":{"amount":"+0.8149594664573669","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":"Q4434616$8CE9BBC1-FCCF-4CB7-AC7D-C7DF70EF65D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4434616","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4434616"}}}}}