{"entities":{"Q2171265":{"pageid":2182008,"ns":120,"title":"Item:Q2171265","lastrevid":54404549,"modified":"2026-01-26T18:38:53Z","type":"item","id":"Q2171265","labels":{"en":{"language":"en","value":"Default reasoning using classical logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7591265"}},"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":"Q2171265$0540123E-EFFD-4C1A-9129-797DB5F3E86A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d0b9d748d11b77d2dfbde06038bb7fd0c69d0ec5","datavalue":{"value":{"text":"Default reasoning using classical logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2171265$D808F77D-3394-47CC-9FCF-6D1A42910C5A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2bcae67292f76ca423a7b0b620a28ecabaf9f937","datavalue":{"value":"1506.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2171265$901BC4DE-FD21-408C-BE7B-283D4BD22CA6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9f0b45f9f63ec81fe6ec7915ea4d77c40e45966c","datavalue":{"value":"10.1016/0004-3702(95)00095-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2171265$63D8C3D8-4FD8-43E3-A19F-8A46067044EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ebc16da0076a87e7f942c6c122af0f909000e36","datavalue":{"value":{"entity-type":"item","numeric-id":1380413,"id":"Q1380413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171265$9BE322F8-FB8B-4FE8-A26A-7EE1B49FC6FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"460eb0ad62dfb02500155a265d74683a6914d8f6","datavalue":{"value":{"entity-type":"item","numeric-id":513335,"id":"Q513335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171265$0D73BA40-DE0E-4A31-897E-23D55E2E7E9F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171265$E3F6E920-31AD-48D7-B8B4-4B57F821E6D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7678702b9c02727a1f0c88d72abf9470af5cdd7","datavalue":{"value":{"time":"+2022-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2171265$97581AF0-370E-47C2-ACCA-7D46F5FE3FD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2171265$F1DB6B54-9AAE-4791-BD1C-6279FDD5BCE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2171265$0B43D6F6-D494-414E-8DF6-789019DFCA86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2171265$53A11D43-F0B2-497B-AC23-71027B715364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2171265$B05E985B-1276-45A2-80C9-B41A70360ED0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"431232f80ce9046686d8666553c25f053f738c5b","datavalue":{"value":"7591265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2171265$CAC287A6-70A0-482F-961B-37E2CA2F83EA","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":"Q2171265$E2E25E5B-7062-4D29-8EB5-2D0C1B536D29","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0fe046cc7c2f97de759f9933708f7f2f65bcf7d","datavalue":{"value":{"entity-type":"item","numeric-id":1924819,"id":"Q1924819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171265$0656456D-67F8-4455-A53B-AF4A19AB60A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed90d0c0056d316802c6bc988ad5f4b9ca02612c","datavalue":{"value":{"entity-type":"item","numeric-id":3792211,"id":"Q3792211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171265$5B16F92D-6044-4AA0-9EF3-EC2BFF7D7734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"afc61a2037feef2b958c658698dd68bdb6481612","datavalue":{"value":{"entity-type":"item","numeric-id":1102137,"id":"Q1102137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171265$012ADBFE-8608-46A4-8D0E-456B4A4294D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc5bdfe9e8ce1cefa466590964d38f16789200ff","datavalue":{"value":{"entity-type":"item","numeric-id":1116363,"id":"Q1116363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171265$FCAE6381-F50C-4F68-BCB4-C2F50594B7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f217a03352cffc36561a374c3fe3e37d7c69edbe","datavalue":{"value":{"entity-type":"item","numeric-id":2638808,"id":"Q2638808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171265$0B0B46B6-6A92-47AA-814D-1BEB11BDDD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d470e6c08c7d2bc40187c19447d3686ec0e28865","datavalue":{"value":{"entity-type":"item","numeric-id":1099647,"id":"Q1099647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171265$72AE24C4-A3DC-4013-9BEF-7FCBF6921DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e16ccc44158a6dc49553f3901bf271b63b61c6f","datavalue":{"value":{"entity-type":"item","numeric-id":4207881,"id":"Q4207881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171265$4131AC0A-BBCC-4737-80EE-8461B6EC2235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e807cad96e78d6ed80e9767e538b1f542dbf4d4","datavalue":{"value":{"entity-type":"item","numeric-id":3771663,"id":"Q3771663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171265$60614819-D0AC-447C-94B5-8EFC98A93E23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9de76924445cefc84acc003270ad0e5b892b3","datavalue":{"value":{"entity-type":"item","numeric-id":3983043,"id":"Q3983043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171265$1D2B4A42-4A2C-452D-A162-B739A2B7C042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a4e41c0c01dd7e35ba56a81e027a6a48826ec1b","datavalue":{"value":{"entity-type":"item","numeric-id":4018170,"id":"Q4018170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171265$EFABF0A0-9DCC-4CEB-869C-9B0EE9D3BA7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09beb0344c5f8c044554764d6ce151998549bf67","datavalue":{"value":{"entity-type":"item","numeric-id":1182166,"id":"Q1182166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171265$2F6D09C1-31F0-4E93-9C92-A6981B6768C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"262e0fc0c9acc0bb64d9975fe151b6db2ee24cd7","datavalue":{"value":{"entity-type":"item","numeric-id":1104771,"id":"Q1104771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171265$2F8421BE-1CB7-4FF6-B4AC-8EC0B0411C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06cc9a8327d453984ec7032053ea2656c70a83e2","datavalue":{"value":{"entity-type":"item","numeric-id":3486549,"id":"Q3486549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171265$5D6C5CC2-502A-4850-A946-2D1D3EF961D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc6a0ac8d28dd200088519fb914ea78bd50eb1e9","datavalue":{"value":{"entity-type":"item","numeric-id":2557565,"id":"Q2557565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171265$3879C4D0-056D-4062-8A2B-747B2383A04D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3c6d88506c0d71e7cd9dea1498e89139430a65","datavalue":{"value":{"entity-type":"item","numeric-id":1060866,"id":"Q1060866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171265$99088446-FB04-4264-9145-0E9C401A1A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01d6649d4853baff3b254e51c9979c2133405503","datavalue":{"value":{"entity-type":"item","numeric-id":1140434,"id":"Q1140434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171265$8700BC74-C1B7-43C6-8C80-415BCBA1EC67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3043584a63fc36f34b1f253742062e5fc8b4f9b1","datavalue":{"value":{"entity-type":"item","numeric-id":1102126,"id":"Q1102126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171265$974A154F-9EEF-4814-9BFC-AF4F8A5ECDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171265$F724AC0F-3FD0-4B0A-BE2F-C13FFC5282D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bba15cf4a9d2c986ffe8184ac3a6d051fff29cb","datavalue":{"value":{"entity-type":"item","numeric-id":3335007,"id":"Q3335007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2171265$1804BE19-5439-413B-BD8B-F952929BF3D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31d8f01b62ea33bc5409711fe7c2df4e4e7b05a6","datavalue":{"value":{"entity-type":"item","numeric-id":1606113,"id":"Q1606113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28a8aa9ce80545540d1658d060560edbf73b971c","datavalue":{"value":{"amount":"+0.836574912071228","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":"Q2171265$0F64AB6C-478B-46FF-B25B-29A48BDEB7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10d0ef2e4ecc8703484d1c5f84564ff588a9eeb9","datavalue":{"value":{"entity-type":"item","numeric-id":3637157,"id":"Q3637157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde43c39fac3e34e2b57b01d94ecd3238756c1e1","datavalue":{"value":{"amount":"+0.8263684511184692","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":"Q2171265$0B1D2F0D-FDA5-461F-93FD-FB073D7C8AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e868277f9977984959c321fea38ec0f04f507af5","datavalue":{"value":{"entity-type":"item","numeric-id":5425398,"id":"Q5425398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c011ca9da44cdb3c5360770bd00f1f6720b92cd9","datavalue":{"value":{"amount":"+0.8217240571975708","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":"Q2171265$990D4053-A39A-493D-80FA-AA254DE22FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75c16c3321b34337bdae801cc87765e8b09bcb10","datavalue":{"value":{"entity-type":"item","numeric-id":1344885,"id":"Q1344885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e54668f41fd32d3312bcb44b6bf79540de8d3a2","datavalue":{"value":{"amount":"+0.8183473944664001","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":"Q2171265$051B1B97-C8F8-4482-B600-660BC6568380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fba64328f3da153bdc283716be23ad38fe863e1b","datavalue":{"value":{"entity-type":"item","numeric-id":4028783,"id":"Q4028783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e54668f41fd32d3312bcb44b6bf79540de8d3a2","datavalue":{"value":{"amount":"+0.8183473944664001","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":"Q2171265$B59724D8-7BCF-4ED5-8480-9A39D3C99F0F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2171265","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2171265"}}}}}