{"entities":{"Q3128464":{"pageid":3139180,"ns":120,"title":"Item:Q3128464","lastrevid":46719705,"modified":"2025-12-25T11:26:03Z","type":"item","id":"Q3128464","labels":{"en":{"language":"en","value":"Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1000481"}},"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":"Q3128464$8591E7AA-45C0-4EF8-A7F0-08A478953DAB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"543dd0c5b50e6361c5df6fcc23bdfdaeee2c1172","datavalue":{"value":{"text":"Fibred semantics and the weaving of logics. Part 1: Modal and intuitionistic logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3128464$6FF2C55B-AF0D-45C3-B340-F2023FE66CE4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd3b2d54775bfeb284f8ea2b951d8f0abebc6815","datavalue":{"value":"0872.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128464$BB5452E6-6FF6-46AB-A8C2-D12D686595CC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3235045ef35171708dd2f9601c5fcaf64be52e6","datavalue":{"value":"10.2307/2275807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128464$C292C0B2-5C71-434C-9C30-08249E2FB85B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128464$16992021-53D2-42C5-B1C3-55E5A956A138","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f2a8f79f9673602e1d5cc768966b9622b5169311","datavalue":{"value":{"time":"+1997-10-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3128464$C3B9BADD-6A4A-48E8-A0D3-032818F5052E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128464$CF442668-920A-41BF-A257-1575174708A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128464$6120DBD7-3FDA-4679-B8B4-D72BB5940E8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f3152f1d01b714bd5c5d482a16f31a33677a49d","datavalue":{"value":"03G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128464$FB838C56-8BB0-4C1B-954C-E28495A2D4F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128464$13BDDD11-2698-4DD9-BAA2-39E41D66896C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128464$462F836B-20AA-46DA-9E92-567B60C7175B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128464$3AE8269A-783C-4079-B68D-2C63FB7A7BEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"906bac413b88afe6d593f01c172e1fa4c7c50252","datavalue":{"value":"1000481","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128464$BE7BEF71-505B-45A8-8886-9F4E0A168DC0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5be9b1656f4cb1890f743f99de7eba7a563dc33c","datavalue":{"value":"combining logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128464$7A7C9795-F36C-4FFD-B9BF-DF3721344AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128464$9874BE40-EFE3-4317-916B-73F6382D7C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128464$885C0239-2642-4F9B-A1E0-F3B921E2CD1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"593894aea21faf93a77a9a4270aafdca3e6da26c","datavalue":{"value":"superintuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128464$7C38BAD4-A91A-4A0D-B75A-900F16989DBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128464$00D077CD-354B-485F-BCA1-C1F6DF86B425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a66d3ee11fba014c84b9eea56b7e951362a6ddac","datavalue":{"value":"weaving of logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128464$1E3E04BB-D3C0-4F24-BECF-C8149ABBA8B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"667d703af7ca2e1b8ff23111637d7052f2851aa0","datavalue":{"value":"fibred semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128464$4E90C5AA-4DE3-4BB0-835B-77387E761232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a186fe60865125c7e79cf46e3bd47c9956c52a4d","datavalue":{"value":"recursive axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128464$E8FF3B99-0271-42D6-BB2D-3666DEC1C5C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128464$DBFBC14D-51A3-4C99-8CE6-1E7F7531E25F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc481c9956349136fb46ebae74b8442d2d25b871","datavalue":{"value":"finite model property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3128464$75CBFC43-9FB8-4100-9B62-915777EB7DE4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"948b6f0f3f509c2346164de6f1b86ce0f916ab70","datavalue":{"value":{"entity-type":"item","numeric-id":232653,"id":"Q232653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128464$FCD175B8-2CCF-416B-8501-D1573F8E359E","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":"Q3128464$3098A9CF-1649-46B1-A02D-1F463E9D4686","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"668e15f82f1d1d796dc995c1eba8f9a1860d5972","datavalue":{"value":"https://doi.org/10.2307/2275807","type":"string"},"datatype":"url"},"type":"statement","id":"Q3128464$F3DD27FA-423D-4E9A-914E-21A363F39CAA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7824eadd37f471b444a9050b1fbffafe0d78c737","datavalue":{"value":"W2022355674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3128464$BC15E9CB-BA9A-408A-B2C1-D1F628F7C102","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4b01c430c91cec5f0c7619c27c486ede0808e55","datavalue":{"value":{"entity-type":"item","numeric-id":1096613,"id":"Q1096613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128464$9C878C27-AA51-46D2-BE93-1CDA45B0DA2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8fb17ed69b21f2df7d6e0b17aaee1907be48957","datavalue":{"value":{"entity-type":"item","numeric-id":1105194,"id":"Q1105194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128464$561C22BC-5AD7-4A4B-9A2D-2D07D9800575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5823f862e0778527b8ffb195b979f07ae97fbd20","datavalue":{"value":{"entity-type":"item","numeric-id":1103607,"id":"Q1103607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128464$EAFEB2A7-3F2B-4D8A-85AC-123A26CAB853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53e0c1a4e478a32752a62b530cc2a5255baa77dd","datavalue":{"value":{"entity-type":"item","numeric-id":1244216,"id":"Q1244216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128464$EDC459F5-8596-44D9-AD9A-CEE7FF767BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4760a59608fda63bd7abcfa1f697197d62b4d0ac","datavalue":{"value":{"entity-type":"item","numeric-id":1096612,"id":"Q1096612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128464$C7BC8BB3-F629-491E-BF63-B356E5D9B1DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d8e0c5cc3575d6be27e025fb497f951125e4854","datavalue":{"value":{"entity-type":"item","numeric-id":3984418,"id":"Q3984418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128464$186836E6-3267-4761-A178-01B7091AA927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04c95b2120f2667fd164e113196945ce09600483","datavalue":{"value":{"entity-type":"item","numeric-id":4007156,"id":"Q4007156"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128464$9EDC63BE-2FA6-48F7-A8B3-06F34A2231B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a66ff41fbcfd81f3126133c415e30a6cabc423b","datavalue":{"value":{"entity-type":"item","numeric-id":1099162,"id":"Q1099162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128464$D6A20639-98CD-4D17-8A64-BEA7AC179E99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"958a040e091661b15eedf53ec690abc9e5b16350","datavalue":{"value":{"entity-type":"item","numeric-id":1314287,"id":"Q1314287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128464$8B7AE818-568A-4276-A2F0-92D5A39FF6E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"26651eb44736bccdd9116d5c165190dd746d76fd","datavalue":{"value":{"entity-type":"item","numeric-id":750417,"id":"Q750417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128464$E826A776-B845-460A-A1CE-7943057ECE3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1870fed3e50fb56569d7f793685df9c42e57f784","datavalue":{"value":{"entity-type":"item","numeric-id":4218020,"id":"Q4218020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128464$5552E20A-E4E7-4E17-8FB4-DCCC4BA5FE6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92320f0c90b76da49ddbe0115a2253c0dfdfa223","datavalue":{"value":{"entity-type":"item","numeric-id":757342,"id":"Q757342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128464$8FC43977-AA15-4046-8288-83D1BAF518FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e807ca0d12053bab51b75bb8a7e28c523159aa","datavalue":{"value":{"entity-type":"item","numeric-id":3246315,"id":"Q3246315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3128464$3085B72D-02B7-4274-96D0-7AF0447D73B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"457fcd108e6ee18d4a945ceac4b1d14513f8a0e9","datavalue":{"value":{"entity-type":"item","numeric-id":4217280,"id":"Q4217280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebed843080d5a5ca997755f005e7bd23ceacd5ed","datavalue":{"value":{"amount":"+0.8899685740470886","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":"Q3128464$55000528-8B08-4E07-ADAD-1FA7EE7DDE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"45d8b4edd157c291ffb92e6552045e153481a845","datavalue":{"value":{"entity-type":"item","numeric-id":4385435,"id":"Q4385435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e5d00d117bc06ad8530efda19385db7693254f3","datavalue":{"value":{"amount":"+0.8771450519561768","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":"Q3128464$44CF2913-B367-4E5A-A703-F39A62E4DC61","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":"d3f39c05d6657331d7ba724259488f2a409766ee","datavalue":{"value":{"amount":"+0.853501558303833","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":"Q3128464$8275A6D6-019E-4AAA-9013-71556FF58B73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3128464","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3128464"}}}}}