{"entities":{"Q361861":{"pageid":363628,"ns":120,"title":"Item:Q361861","lastrevid":61286010,"modified":"2026-04-10T22:22:53Z","type":"item","id":"Q361861","labels":{"en":{"language":"en","value":"Importing logics: soundness and completeness preservation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6199436"}},"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":"Q361861$23033010-02CE-476E-A024-FDB8727FEB6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc535f6a620260560ea4cbe2b32286ec3104b921","datavalue":{"value":{"text":"Importing logics: soundness and completeness preservation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q361861$CF05A08C-1D38-41E7-B19F-80411C980B0A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36d9e453c4cdba246fb2a22c7085e9306d849473","datavalue":{"value":"1345.03052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361861$6F2CDF16-1429-4120-AC50-869681B653C7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361861$81BE8664-19EE-4739-8E66-DF2634869908","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"108ede7b32300394ff9a1f5dd35fef9c8cf60c54","datavalue":{"value":{"time":"+2013-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q361861$704F7FA5-F403-4358-8D5A-E7EA91A6817E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361861$BB95F9B3-C242-4775-921E-4FE30C49FDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361861$870E2F3D-B479-4BA4-BC0B-21D4AEAA21E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361861$98E33817-05F2-4FFF-8A97-661E9766238E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d8d182d15a1632c3227395a300c11e0d7826f0e","datavalue":{"value":"6199436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361861$BF4E1747-D210-41B4-8E47-9901AA6E9EC2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"107d5e82ca5d1fa5d16e203c6d55c0cd1ef524df","datavalue":{"value":"combined logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q361861$6F84A0C6-287B-45F0-AAE3-73C5DB70C5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3671dc8e940b33fa8c8c6afd9c89bd8ed178059c","datavalue":{"value":"importing logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q361861$9F5CE8A9-F483-45A2-84FD-C4B086C88CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"deb04591480345bc2df6f6b60910c3396f54791b","datavalue":{"value":"modalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q361861$C2A388BC-47AC-44B9-96BE-B12646978704","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9ebb9fe39175d37955954de82a278d4a6b9c9ce","datavalue":{"value":"completeness preservation","type":"string"},"datatype":"string"},"type":"statement","id":"Q361861$EC9E3EFA-CC58-4024-8C1A-B6924F15816A","rank":"normal"}],"P16":[{"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":"Q361861$2ACD24AE-F1D9-4D77-B0F1-359F30B867C9","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":"Q361861$A7D17017-C42C-4313-B4BB-32F249DB769E","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":"Q361861$145D75AF-9559-431E-8CF7-D2311829B853","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":"Q361861$4D865FBA-F564-49DF-AD7B-624417F2E4C3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4997406bc32fe5f10a47d629b95563ae6368067b","datavalue":{"value":"https://doi.org/10.1007/s11225-011-9363-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q361861$A36BD342-8A7F-451E-B4A1-B1CE0787D923","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f59c413e8280e244327206953606bd112173bb9c","datavalue":{"value":"W2041021428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361861$BAC88D15-FC3E-40E9-8AFA-0E41956F12EC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361861$4F4C37BC-0C5F-4C7C-A466-774B8BD9F5CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"797020f33bcb505e6b7d4ea91449a8c0b95864c3","datavalue":{"value":{"entity-type":"item","numeric-id":2373709,"id":"Q2373709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361861$D11D4D96-AC7A-4A6E-A1D2-89C78D0BB8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abc76c66bfcf5a9707744435b43897d8290a44f9","datavalue":{"value":{"entity-type":"item","numeric-id":5465437,"id":"Q5465437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361861$FD72A626-3DD7-4E18-9CB3-4DD603240F06","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":"Q361861$DB8DA268-322B-442D-A68E-4741CFE95482","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a1f133cb4e11e69137791744259d5e9f2be7473","datavalue":{"value":{"entity-type":"item","numeric-id":4545015,"id":"Q4545015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361861$D347CF7F-4614-47C6-AD53-0C6AA6270B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3356fc56efb50f08c99d5aa0116066168b772a02","datavalue":{"value":{"entity-type":"item","numeric-id":3128464,"id":"Q3128464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361861$BA456645-7D70-4B73-ACED-28881B8BE6A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361861$FA952410-A791-4127-9FA8-F63EB7F16E9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914f7110d6763b79f2d837055a1fde3267b5efba","datavalue":{"value":{"entity-type":"item","numeric-id":2495653,"id":"Q2495653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361861$6703A9F1-3164-4FEF-BB6D-986793BBEBAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd2a5fa90792db6d1d1efe8b61362509ac100aff","datavalue":{"value":{"entity-type":"item","numeric-id":694499,"id":"Q694499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361861$405A2669-B6F4-44CE-A7EA-2F181A963558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c405a3e3523f7976ab1db45fee1bc2fe7504763","datavalue":{"value":{"entity-type":"item","numeric-id":3656774,"id":"Q3656774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361861$515164AD-6D78-4716-A6AE-4497D71784EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"334936aa136fd6e6bb0d4a8a36cd728182312d7d","datavalue":{"value":{"entity-type":"item","numeric-id":4236210,"id":"Q4236210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q361861$C2E1C623-755E-4A75-90D4-3FCD4FB36476","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f791484188af74b6170d206fbb5d84267168134","datavalue":{"value":"10.1007/S11225-011-9363-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q361861$381948EE-D181-47DD-B541-3CCB6D3F2C65","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29182c05e06dfe34db0932fcc8a3a3c10f742ab2","datavalue":{"value":{"entity-type":"item","numeric-id":694499,"id":"Q694499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9a8a4f238e8dfb15c17987d74855e05784055ad","datavalue":{"value":{"amount":"+0.8626170754432678","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":"Q361861$D49197C9-1443-42B7-AFA5-A0DD75A48590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2dddfbfb1394e816cdc8d3e73d108aad106e4a8","datavalue":{"value":{"entity-type":"item","numeric-id":2259004,"id":"Q2259004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6bfa4b55033095c372353924b19e4d2ca434847","datavalue":{"value":{"amount":"+0.766042947769165","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":"Q361861$9433A3A8-7770-4F7D-A7BB-69ACF171E404","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c1e10ff7f713ed33efdcba9029c509468cdbace","datavalue":{"value":{"entity-type":"item","numeric-id":4373557,"id":"Q4373557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a037ec3ed7be5e9c29fa4949c15ab202743ade7","datavalue":{"value":{"amount":"+0.7217175364494324","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":"Q361861$9FD7A78D-5C50-4DB6-A578-0FF4513E9A2A","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":"d891149c3fed11528ae229173c57179aa93703d0","datavalue":{"value":{"amount":"+0.7159932851791382","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":"Q361861$1194504B-AF5C-4F3C-8A66-BF568B68718E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ee679dc8306a060b0fecf845d95f9ef13bec5a99","datavalue":{"value":{"entity-type":"item","numeric-id":4202952,"id":"Q4202952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d891149c3fed11528ae229173c57179aa93703d0","datavalue":{"value":{"amount":"+0.7159932851791382","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":"Q361861$8382ACB9-62C8-4F7A-88CF-6DF1484AC202","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Importing logics: soundness and completeness preservation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Importing_logics:_soundness_and_completeness_preservation"}}}}}