{"entities":{"Q5460205":{"pageid":7489764,"ns":120,"title":"Item:Q5460205","lastrevid":50348999,"modified":"2026-01-13T21:09:48Z","type":"item","id":"Q5460205","labels":{"en":{"language":"en","value":"Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5270771"}},"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":"Q5460205$54367912-EA98-4BC1-BD0D-E8DE82FCED0C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dcc711bd16b062ab16bbc86c2d448531edff0881","datavalue":{"value":{"text":"Heterogeneous Fibring of Deductive Systems Via Abstract Proof Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5460205$FD99EDFD-894C-4E81-9F43-A9393C6E6416","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4540bc7dc37c08668aa3f1e399d6443bc4b91c02","datavalue":{"value":"1138.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5460205$5682444F-FD8E-4E1C-8676-B9D079A09C52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"019239a5b99c9161ce4389de57414c8f40f605b4","datavalue":{"value":{"entity-type":"item","numeric-id":340573,"id":"Q340573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5460205$C250C651-5970-4117-80E2-BFB0CEA3B8F4","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":"Q5460205$126FD5AF-CB89-4DA7-B077-D52F47CB1034","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":"Q5460205$2CA44E37-9CEE-4441-8064-308F026BF8A1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0c85f5b96b986df789b8d4fc9e866a9d7e884a6","datavalue":{"value":{"time":"+2008-05-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":"Q5460205$86A3A656-70DF-4482-BF32-83D05668587E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e9b2742192d61eb155fc813d3146776e557aa649","datavalue":{"value":"https://semanticscholar.org/paper/b56c67216a1c05029abf9a6b16eb6643e5eb6763","type":"string"},"datatype":"url"},"type":"statement","id":"Q5460205$B6B1AB51-FEA8-4813-B26D-386028F6FE69","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25dae832a7b5192741ddf2b14ab8d2cca2e6e6a4","datavalue":{"value":"03B22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5460205$87C7DDE0-A23A-4FBC-8D33-54AD991AF701","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8b1185ac22fd4f102403e0f62ac086714facd0a","datavalue":{"value":"5270771","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5460205$FBBAD8A9-1216-4AE6-9BEE-218FE5BF8364","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b873c7c22e358cadfb4cdd9d8f623d28471ae36","datavalue":{"value":"heterogeneous fibring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5460205$C2595985-FBAE-4037-8328-2F920AD50A4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcce1e8667401714c7b6456c0f6dc2bcaf973ec7","datavalue":{"value":"abstract proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5460205$81B6CE16-85C9-4374-B193-C5594098CB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a61ae933ec27f1466f7c7fbee93644abaeec54e","datavalue":{"value":"preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5460205$0B3F4A71-3447-44D8-AE2C-5B39562C0898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a17efd3df17fd0f330f0a2a3536cf207eb96c65","datavalue":{"value":"combination of logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5460205$25BE4F24-57F3-482A-B09E-B30DBE55BA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03a1e5de95fba240eaaf2cc85581d287fa73251e","datavalue":{"value":"consequence systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5460205$614F62C8-A921-4FB4-9506-87CD4EE1322A","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":"Q5460205$9C32FEED-E00A-489A-8BCC-4185607C5F59","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"37e19dc508af2cbb679b4eef1b6f1bc4d0c21703","datavalue":{"value":"W2062673832","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5460205$7DE64B71-E6D5-4E38-9318-E3E2DD9728FA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"adee7b65aefbb2e9114b722da2461eaa21bf158c","datavalue":{"value":"10.1093/JIGPAL/JZM057","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5460205$E56C0C25-D71D-45C6-AFC9-0BA969A05022","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5460205$828BE683-B7A8-4D1C-93EE-FD44046ED078","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":"415d9c39500d274e5b74d62db42566bd2a00f5b3","datavalue":{"value":{"amount":"+0.8190037608146667","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":"Q5460205$DEC2BF16-031A-4702-9E8B-276976208117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"913c88cda5d42cd479e9ba95c8f2d057ac2dcf5c","datavalue":{"value":{"entity-type":"item","numeric-id":4542941,"id":"Q4542941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e517d4884b9a1bbd9769b0279500ba9132d0a166","datavalue":{"value":{"amount":"+0.8053712248802185","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":"Q5460205$DD9D4D09-D065-4571-B01C-F4941A643E2F","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":"4eacd4738e07950feae5aef87dba97ba2e52e00d","datavalue":{"value":{"amount":"+0.8023579120635986","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":"Q5460205$4FA7802B-32F4-4835-A249-ECECFA02D482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b91dc0a19254670d46962b06ec9e3b0dee6e8f70","datavalue":{"value":{"entity-type":"item","numeric-id":5450571,"id":"Q5450571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4eacd4738e07950feae5aef87dba97ba2e52e00d","datavalue":{"value":{"amount":"+0.8023579120635986","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":"Q5460205$FAC96248-72E6-4F09-B0C0-FE024C26B02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef08a63502b114ebc3bcd451cb77370650f708b1","datavalue":{"value":{"entity-type":"item","numeric-id":3656775,"id":"Q3656775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85530a4fbb2c0a5b87c9bec59f1d01234908fb84","datavalue":{"value":{"amount":"+0.7911504507064819","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":"Q5460205$967CB1C5-B8C9-490D-AD8E-62009001F851","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5460205","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5460205"}}}}}