{"entities":{"Q3995436":{"pageid":6025270,"ns":120,"title":"Item:Q3995436","lastrevid":43039628,"modified":"2025-07-17T03:39:44Z","type":"item","id":"Q3995436","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 44853"}},"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":"Q3995436$E322DB91-F9D7-4DCC-A90B-DDF9D0FAC55A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f8c6c593081148d3d374b9e1c58aea6473e45507","datavalue":{"value":"0705.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3995436$448D0813-D428-4379-AFFB-B13AA7973CF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4f64992dbeef321276c91b04bb85fa175c4114d8","datavalue":{"value":{"time":"+1993-01-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":"Q3995436$DA577960-1B7C-46EF-8FD4-F979AF5E9084","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3995436$3D273045-5E9F-4663-9287-A1ED21A4956D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3995436$FA184F55-7D67-45F8-97FC-AE10AD5732D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3995436$072CA0CB-2084-4F96-A92E-75E6EEC57278","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0cb91f5cac46b22f2ee790e6c25c089a20db1a29","datavalue":{"value":"44853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3995436$AA5C6582-9BC6-4468-BC45-AC2BF5704075","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b97fab7d610f8c1d5ec32767cbe0ba0d8dbbe87","datavalue":{"value":"Deduction systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3995436$52B982F2-ECFC-4E45-B253-9F0F60D6634F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"716036f9c770a47ec609d1e6cd7b18b459df64f5","datavalue":{"value":"Artificial intelligence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3995436$D68C33E0-171B-4DBA-9AA9-3BB96E18F19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"478e932174223ceb7a45639cb365a2ea9fa797a5","datavalue":{"value":"resolution. equality reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3995436$C6CFF437-B70B-4F46-B45B-B4A8E0F12824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3995436$BE8A3173-FC7F-4E46-83AB-5E01679C09D5","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":"Q3995436$507A5094-22FD-41E9-80A9-AFE574FCE5BA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d13b54a429270949b14cea230361d7872c614e","datavalue":{"value":{"entity-type":"item","numeric-id":3780486,"id":"Q3780486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a0618294bb7d2805e539b87a644ad071a22866e","datavalue":{"value":{"amount":"+0.8855502","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3995436$3F3663CF-8F71-454A-AF81-E1DC37571A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cef67ff772386761d55db7fcdd78cb42200085a","datavalue":{"value":{"entity-type":"item","numeric-id":4770326,"id":"Q4770326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9cf0a3f2fcd3239b1da3e066923ebafae1d19ea","datavalue":{"value":{"amount":"+0.81876147","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3995436$53FCBE2F-EC6B-4E76-965E-C946FBB6D9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"261ed2286d4afa98f5ba7b5009f57cdb4e812d5b","datavalue":{"value":{"entity-type":"item","numeric-id":5187872,"id":"Q5187872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1470f6771192f937482227916f9d764c6720bfa3","datavalue":{"value":{"amount":"+0.80955905","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3995436$3FA32B6D-B9D6-4DA7-8D34-7309B7D4A2BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07f169779cb9c9a6504b5d75eec4490240f03409","datavalue":{"value":{"entity-type":"item","numeric-id":3995644,"id":"Q3995644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a27942f4d810d799ab2bb10b5652448031ee44bd","datavalue":{"value":{"amount":"+0.79283786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3995436$CE4AAAED-B3E0-4362-AC63-72B90330BC83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fa2dce0f08c4bddb1910ae32102a49966f18f49","datavalue":{"value":{"entity-type":"item","numeric-id":5339296,"id":"Q5339296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cfdd05d6bcd5e481d2538f8a593eb3649dc617a","datavalue":{"value":{"amount":"+0.7859477","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3995436$B0D45EE2-8B16-449A-81F3-268F131BD7EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"846518e82e327de42457d88ccc0e279434e6ff55","datavalue":{"value":{"entity-type":"item","numeric-id":5567888,"id":"Q5567888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"026887b06b8ef4d5c8001e35e9c15f4bcf7b4050","datavalue":{"value":{"amount":"+0.78312844","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3995436$7FD8D43A-1B0D-4D6E-A39A-4AC640D14748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b67e49453741aa27db645dd4efe5845d8b462ba1","datavalue":{"value":{"entity-type":"item","numeric-id":5514603,"id":"Q5514603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"873b63913741c6f11e79e15cac2adb49eba9da1b","datavalue":{"value":{"amount":"+0.7769301","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3995436$5528CD97-8C60-462A-8CE4-EE79CDB88C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"579aa0da17c822fa2e347d6ea372965e3f07c2c9","datavalue":{"value":{"entity-type":"item","numeric-id":3219757,"id":"Q3219757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a4a001df2aa268ddf0e953a7d140252267094af","datavalue":{"value":{"amount":"+0.77589226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3995436$D98A4ABC-0752-45B4-A1AF-5365CF06B8C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3995436","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3995436"}}}}}