{"entities":{"Q4542941":{"pageid":6572533,"ns":120,"title":"Item:Q4542941","lastrevid":47958613,"modified":"2026-01-03T04:44:11Z","type":"item","id":"Q4542941","labels":{"en":{"language":"en","value":"Fibring Labelled Deduction Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1779747"}},"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":"Q4542941$253D6070-9BFA-4F66-B381-C74A1A819E9F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bbf6f1035ed7ce7156e4d4a76bf06d5d02128920","datavalue":{"value":{"text":"Fibring Labelled Deduction Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4542941$8AB3E1FC-C217-4977-93CD-340C3506D034","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"82297be33bcb12c23931f6971dce7b0a1a90b8bc","datavalue":{"value":"1011.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542941$7599D485-FCF7-4717-838F-162B0D40509C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b45d72ed2ba2486377818ff4f18636ea6d5a4a","datavalue":{"value":{"entity-type":"item","numeric-id":549723,"id":"Q549723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542941$30472B71-66C4-4E7D-BA93-BA64367371D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd81c74e9dd6a65228b7fc9755a82f62eef19851","datavalue":{"value":{"entity-type":"item","numeric-id":682379,"id":"Q682379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4542941$B593CE0D-21B0-476A-B839-40D776799853","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":"Q4542941$C756B91F-D1A0-4CB9-BF47-476603F586AF","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":"Q4542941$A3692207-B9E0-4812-A567-9B1B55DF1E15","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9bbc9c127b1d81211c5164932dcbd7d39ee216ac","datavalue":{"value":{"time":"+2003-05-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4542941$E0C9BD67-128F-473B-A818-565E2A58FA77","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36d195ef3066cf125c089258f513d0f28dae991a","datavalue":{"value":"https://semanticscholar.org/paper/070177bfcd81430f39b0c5a7b0ea9d75966b5089","type":"string"},"datatype":"url"},"type":"statement","id":"Q4542941$C31577EE-D520-4E24-B941-83BB866C02A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542941$982B66F5-2DE7-4EAF-BC9D-38D5D3AA2059","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542941$E1E44EE8-2EAD-409B-82A6-C847C5F66573","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8e5c13995bf466dbeef31875e17f939b7ba5d28","datavalue":{"value":"1779747","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542941$F1CF0B3D-7FDB-405C-BF67-A816D5A56852","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54edd4c0ec844a0a0819bace05c3f49f1ce6e50b","datavalue":{"value":"fibring of logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4542941$EE8DF4AA-BF90-4B98-A421-4549D571A50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6b0cac515cdca1fd8e8a7b1987157f7cb9f1e116","datavalue":{"value":"labelled deductive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4542941$ED0983A4-7CC9-4C2B-AA2B-44AA809E3B77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4542941$94114AD1-FBA3-4F4B-A8D8-3DAE33643140","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bde08868d8aee058242e6585fdc6bdf4fe908d7d","datavalue":{"value":"general semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4542941$47E302B3-77CA-453B-9BF5-B960D9253CDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4542941$61BE410B-33C3-4B0B-B750-C896BA0F9C63","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":"Q4542941$4C12FEA6-5E40-4608-A157-DC6C2ADDE5A0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4dde375b8884ad186e2d40b6bb2d54d3a815d968","datavalue":{"value":"W2154319800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542941$20D9D518-6F2E-4539-AFB1-CA5A7ADD8E76","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"19c61cfea5da4c400676a6ef5e2591def9dd52de","datavalue":{"value":"10.1093/LOGCOM/12.3.443","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4542941$05810902-AE0B-4648-BB8C-A94855174C38","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":"Q4542941$DD29C1E0-AEB3-4B0D-B12D-541BFD0D2007","rank":"normal"}],"P1643":[{"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":"2970882d40c01fa7c8c5a7ab74f3df82c953388e","datavalue":{"value":{"amount":"+0.8362318277359009","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":"Q4542941$8EC987C0-9700-420D-912C-30828EE2D50C","rank":"normal"},{"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":"c82bde6e5bb839aef1f247e8368df70bd2111319","datavalue":{"value":{"amount":"+0.8335002660751343","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":"Q4542941$FC1DB3A3-A2D1-43E8-AF3A-A7D4BEFB2CFD","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":"c82bde6e5bb839aef1f247e8368df70bd2111319","datavalue":{"value":{"amount":"+0.8335002660751343","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":"Q4542941$88E13BFE-DA70-4CEA-8429-872B8F89B67D","rank":"normal"},{"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":"b2803744a9fbd8fd6b7c29f593585e6f94dac156","datavalue":{"value":{"amount":"+0.8314600586891174","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":"Q4542941$C5BDD901-BBDB-4F1D-BA81-62FC01025D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5672d33c061e5f43cfb747fb0b9b10a17ff07166","datavalue":{"value":{"entity-type":"item","numeric-id":2469685,"id":"Q2469685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"451984871944c4f8bb574c2bfdd024ed74399a4e","datavalue":{"value":{"amount":"+0.8314598202705383","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":"Q4542941$AFFA197D-4502-4566-9864-E071F7A12606","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4542941","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4542941"}}}}}