{"entities":{"Q4518180":{"pageid":6547773,"ns":120,"title":"Item:Q4518180","lastrevid":47535316,"modified":"2026-01-02T00:26:07Z","type":"item","id":"Q4518180","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1532780"}},"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":"Q4518180$4581DF83-FE8F-4EA4-A1C7-1087779FFDE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0032c264b9b831d690e2c2a887e26ca8cc44eae8","datavalue":{"value":"0957.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518180$5D0A2051-7431-414C-AB1E-2D65F940B60A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"feef6310e9a7abd8922f3d5b209e0db21d4d48a4","datavalue":{"value":{"entity-type":"item","numeric-id":214076,"id":"Q214076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518180$DAA4151C-2AEC-4C67-B960-8AB50DD6E689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"998e099bc63249f3f2d90e1e99c7f35f84a0af6e","datavalue":{"value":{"entity-type":"item","numeric-id":4518179,"id":"Q4518179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518180$1FFFC943-FAD1-4D36-AB3F-14966AF657E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec5ef4ba41a274ed2242ca8453d7ecd7a310bb1f","datavalue":{"value":{"entity-type":"item","numeric-id":293814,"id":"Q293814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518180$B7F116A4-6F2D-420E-94CE-8F6D83A30602","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f06e3965919c6d8e09cf93fa6be5852ecd89988e","datavalue":{"value":{"time":"+2001-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4518180$F776C8F0-72BA-4E5F-86C2-1B1BFD897258","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518180$3A77AF44-0180-4851-8C9C-2CC70D0F3414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518180$02E2712E-1202-4FC4-8550-7241837C2B9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518180$35D2392C-9D0B-49BF-A166-07916FB9B24F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518180$82276EE1-D757-44C8-BE3F-719677078047","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4adcc0070c8c995f3bbcaec3fd4eca3809d9400a","datavalue":{"value":"1532780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518180$8234EA2F-9054-40EF-B2F6-9048210D05ED","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0ae1cebd8e145dfdedf7f7810a34639026c54587","datavalue":{"value":"nonmonotonic truth maintenance","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518180$F673B884-9554-4424-855D-96224F9D0D6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71df45fd99690bbb53c862594b145dd989a58d8e","datavalue":{"value":"nonmonotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518180$A39E6094-2AE1-4A68-9824-B35A3010A094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be4d7d308a77c6e69888c39f4f69b6ccb4c706b1","datavalue":{"value":"stratified truth maintenance","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518180$D63395DB-B2D4-4E5C-9595-454A0432E57E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ccbb379639caa160933b607895d37a156d01a7d","datavalue":{"value":"prioritized justifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518180$D26B36EA-B661-4278-8D13-96D7FA6673EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8bf549142b710f01581b24fd28cbb67614316cd4","datavalue":{"value":"theorem prover","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518180$1432E906-C0B0-4F8F-95A2-069852B4FA13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dce849667602fd7de12b331c50194046cb9e8427","datavalue":{"value":"prioritized nonmonotonic logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518180$06C2AA47-1524-47E6-92D6-C8133D8C4805","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":"Q4518180$BE03D997-5262-4AA3-BD6B-61FEABCD768A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3db6b6cb5ad3bebddaf7e876be490f0ad2a2a69","datavalue":{"value":{"entity-type":"item","numeric-id":4357779,"id":"Q4357779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac80ed96d95bf7f8357fbde5161ebeb71e1582b3","datavalue":{"value":{"amount":"+0.8892990350723267","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":"Q4518180$0E1C03D1-E713-40C4-9340-7D8E0E39FF4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"055eb2e1f08096cd8720ba722876ed4c791ef462","datavalue":{"value":{"entity-type":"item","numeric-id":2638808,"id":"Q2638808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08ebbaa61cebb0c69fbba5d5afc1323dfb46df01","datavalue":{"value":{"amount":"+0.7907580137252808","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":"Q4518180$6240C1C8-3B2B-4C86-82D6-E5CF899598E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7915e819ad618376769ea2fa0f38571b6333f174","datavalue":{"value":{"entity-type":"item","numeric-id":3975143,"id":"Q3975143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d00b74f8eec79ccd3a959aee18aaff8c9bfeb70","datavalue":{"value":{"amount":"+0.7801616191864014","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":"Q4518180$B0713DB8-D981-4A4A-9043-EEC2FB10615C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7efa8a4477ca5c7a5307c26e22f53dd279fc197e","datavalue":{"value":{"entity-type":"item","numeric-id":4275255,"id":"Q4275255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d00b74f8eec79ccd3a959aee18aaff8c9bfeb70","datavalue":{"value":{"amount":"+0.7801616191864014","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":"Q4518180$9ADECB6C-D36B-4596-83B0-CB8ED3B754C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2581ee295e5bb03873c2cd8bfd4676aaeda78a37","datavalue":{"value":{"entity-type":"item","numeric-id":1188542,"id":"Q1188542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2c0db23bcd40fbd63f715c8afe58c82763fc6c9","datavalue":{"value":{"amount":"+0.7628912925720215","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":"Q4518180$C4BDC80E-109F-4303-A99B-47F0F748AA4B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4518180","badges":[]}}}}}