{"entities":{"Q885845":{"pageid":887693,"ns":120,"title":"Item:Q885845","lastrevid":65100258,"modified":"2026-04-12T00:19:00Z","type":"item","id":"Q885845","labels":{"en":{"language":"en","value":"Substantial and formal deductions in logics with vector semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5164810"}},"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":"Q885845$60BFBC27-0DC1-4451-972C-7FF50EE49813","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cf060ee9dcba5ddee8ef539187f3f2ca82b29ee9","datavalue":{"value":{"text":"Substantial and formal deductions in logics with vector semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q885845$1E03F58F-6E61-42BB-A6B9-37647E12E678","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f73a9eaf56b0bd8de236f85fc536f275a4e6f09b","datavalue":{"value":"1195.03027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q885845$EFCBA56E-DE3A-48A6-B516-F7C0CFB70E67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a3b6db81e1cc07bd7b6b187bf2d866a755ce6f8b","datavalue":{"value":"10.1134/S0005117907010134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q885845$AEA8F8B3-F349-45BB-9A1E-8E15E76692AE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"572b57622a9561c6b5da451527d00914c4b4c7a3","datavalue":{"value":{"entity-type":"item","numeric-id":885844,"id":"Q885844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885845$AA32115F-E150-44A2-9740-B5E778D60BD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"33359fd8a77e9cce0cfaf7c91dc047e11a0fed75","datavalue":{"value":{"entity-type":"item","numeric-id":109332,"id":"Q109332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885845$C43C06C9-4A74-4A2B-9A6F-E9E21B355300","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bab32af2be3d6aa1853ef23f80d5ca9e92477a30","datavalue":{"value":{"time":"+2007-06-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q885845$47F0AB19-4700-4BA5-A044-D962C2BAD108","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q885845$ADBAB5AA-82DD-4803-8FA5-A6D426FF174F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q885845$D5FA81DD-E5FE-47F1-92B4-69FF659B2A44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d0b16e7200cfb56d3bec85d25ba17234f3eb30d4","datavalue":{"value":"5164810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q885845$4F11FD08-FFFC-405B-886D-BB9247789188","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":"Q885845$1DECED7F-8131-40CD-A9A2-40248A5DA030","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ef8a33d690dfbf3c0ebdf0286b762ce84729aca","datavalue":{"value":{"entity-type":"item","numeric-id":5789498,"id":"Q5789498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885845$0E9656EB-15BA-49CF-B777-1782045A6682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42a256877e1af6bda487280e65c0766899a74c66","datavalue":{"value":{"entity-type":"item","numeric-id":5844635,"id":"Q5844635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q885845$FE9F4C8E-95E2-4FAD-BDE3-184C490BA465","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8eb38b34a32ad2f6f12b71d41df46c939b77d7b","datavalue":{"value":{"entity-type":"item","numeric-id":5269574,"id":"Q5269574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a4530432b9e8c41b52014217899cd5a1c4423bc","datavalue":{"value":{"amount":"+0.7375735640525818","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":"Q885845$C7CCB1C2-D854-4C02-897C-5C9CFAB2E67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ed67a206a30d5a391c2f62549da5ee4791b778e","datavalue":{"value":{"entity-type":"item","numeric-id":3141961,"id":"Q3141961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7dbe4a5ed7d3c4ee961ed042fe592f064402f74","datavalue":{"value":{"amount":"+0.7036365866661072","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":"Q885845$C45C6C65-5BB5-408E-8A08-C20808B0527F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d91cbddd96c541861adaf78fb8ba4d7d18f50ae4","datavalue":{"value":{"entity-type":"item","numeric-id":3481674,"id":"Q3481674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15a5bd249be1bd71c02001b86d0ab4bf9c02da84","datavalue":{"value":{"amount":"+0.7018469572067261","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":"Q885845$A6EF545E-5F28-41B9-8665-056BA04D5864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97d10c632976fe747229ff5880b4b0561efa5e00","datavalue":{"value":{"entity-type":"item","numeric-id":3374101,"id":"Q3374101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39d2b35e5723597253fe3d3308ab6d19ff2558dd","datavalue":{"value":{"amount":"+0.6946964263916016","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":"Q885845$31A2A08A-4F2F-42E2-9FE6-335FCA6B7962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6dd4fda486b96f22d2ee2045a7097d70e0ccb86a","datavalue":{"value":{"entity-type":"item","numeric-id":1344440,"id":"Q1344440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ec13fc3e155c624625519890127ebb43d48651c","datavalue":{"value":{"amount":"+0.6894323825836182","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":"Q885845$EC88FBB0-DD8B-4517-BB22-93DF9061B95D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Substantial and formal deductions in logics with vector semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Substantial_and_formal_deductions_in_logics_with_vector_semantics"}}}}}