{"entities":{"Q3714489":{"pageid":5744395,"ns":120,"title":"Item:Q3714489","lastrevid":50586482,"modified":"2026-01-14T11:50:52Z","type":"item","id":"Q3714489","labels":{"en":{"language":"en","value":"An algebraic approach to the formalization of some deduction techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3943066"}},"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":"Q3714489$5703D51D-BD67-4BF0-96DE-19481BA13722","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c30320eb852de768e0c79a45d8907b552b69a74f","datavalue":{"value":{"text":"An algebraic approach to the formalization of some deduction techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3714489$494C8D91-02E3-4DC1-A6DF-3A58D177304E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3376add5652b36c047c949b9906e8fbce1df9de8","datavalue":{"value":"0587.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714489$4871F114-FC73-4D93-B03C-C3D0CF98F70E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a59d3b9757e502288671f4fe249cd72bfd4e9f2c","datavalue":{"value":"10.1007/BF01075129","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714489$A97A29DB-A65C-4E97-B8B3-626761C1369A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99695ddadc16515df4f5c4d7c88447e67fef4ae5","datavalue":{"value":{"entity-type":"item","numeric-id":1364067,"id":"Q1364067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3714489$95150968-B0BE-4871-BCBA-4960897D5FAB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c2f2504956ff395a23643134114da7c6c64448d2","datavalue":{"value":{"entity-type":"item","numeric-id":3026191,"id":"Q3026191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3714489$0E15688F-09AE-4E6E-B1D5-0EBB9BCF51CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3714489$E2DE2C86-ADB5-4819-A388-92F0CBDC67F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714489$8080C64A-322F-469D-B426-9D701A5BDAEF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"460c5db442bdc9247b0c57f1b399f9f1ce5b2b04","datavalue":{"value":"3943066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3714489$51772BCF-CF2D-456A-912B-575888CDC3C0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ebba389d84a30a45e5a8153d76f4abbbbd991fe","datavalue":{"value":"computer-aided proving system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3714489$B9B0B816-E0E9-435A-A0DA-27B983512343","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":"Q3714489$583103BA-078B-41FF-93C8-215E67BE5AFF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5afbf744a209bae591f2001b963f84ed85dc6a7","datavalue":{"value":{"entity-type":"item","numeric-id":3848243,"id":"Q3848243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3714489$17EE716D-B8CC-4329-A1FA-9571178B09EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae3fdaa398e6ee8974c31383c4dd1da52d87e5c9","datavalue":{"value":{"entity-type":"item","numeric-id":3352534,"id":"Q3352534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dae55f369019ce16b91776ca8095fc4dac84d1d","datavalue":{"value":{"amount":"+0.735561728477478","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":"Q3714489$5E1239D6-AABA-4939-A232-A12FA79DFB16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b69d387c210ac0b16fdb7d240cff647e1a0c7b9f","datavalue":{"value":{"entity-type":"item","numeric-id":2737323,"id":"Q2737323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94c46987642511964d8ac8757857dc79b6c610d2","datavalue":{"value":{"amount":"+0.733270525932312","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":"Q3714489$D8897866-ACEF-459D-A079-854D378B9521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aad8297a8824053af8085ec89c6701450ccaf9d6","datavalue":{"value":{"entity-type":"item","numeric-id":1817160,"id":"Q1817160"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc3bd65d7a007491c2e8f5bf257ef5f2deee73f7","datavalue":{"value":{"amount":"+0.7296656966209412","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":"Q3714489$3C2DEB21-7C4B-422E-AF33-CF701A940CE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ed72e897520893d9b7421050ea5c9cf94fb6374","datavalue":{"value":{"entity-type":"item","numeric-id":3757913,"id":"Q3757913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e57a6bf05f7ca9978b9d340ef40bad77bb8b6e12","datavalue":{"value":{"amount":"+0.725577175617218","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":"Q3714489$53770C61-C183-424C-8059-FEEAC749A6F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b03883927d6d0e525f659609548447e11342cdb3","datavalue":{"value":{"entity-type":"item","numeric-id":4471536,"id":"Q4471536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9442d0c5d7f5f5fcdbbb18aed472073b4f9b0399","datavalue":{"value":{"amount":"+0.7155380249023438","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":"Q3714489$257E7626-EBDB-4E1A-9AFE-02E1F2D1172E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3714489","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3714489"}}}}}