{"entities":{"Q2784794":{"pageid":2795532,"ns":120,"title":"Item:Q2784794","lastrevid":47774746,"modified":"2026-01-02T16:06:29Z","type":"item","id":"Q2784794","labels":{"en":{"language":"en","value":"NDK and natural reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1733009"}},"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":"Q2784794$8E1AB4AC-6EA8-4B75-9AC9-2FECD5A6252B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"acd105b96407bd87dd5b737044ae5ffe1ded5187","datavalue":{"value":"0990.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784794$EBF3880A-8144-4CC1-ADE4-6A3E82EB36DC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e3301a6b980c5e366145dcc00594aa89b08fc93","datavalue":{"value":{"entity-type":"item","numeric-id":1058512,"id":"Q1058512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784794$78A3E113-64B5-4BC4-869A-21650E313396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73d9d02996b9df5a49d4c95e6d6e91fa90929243","datavalue":{"value":{"entity-type":"item","numeric-id":2784793,"id":"Q2784793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2784794$8571C381-C086-4E6B-AE57-E000429ECB5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da39a7fd1a76a539516fc1c6fcfdf3ed355f9814","datavalue":{"value":{"time":"+2002-07-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2784794$E368E7B0-5575-481A-9D67-F0FB0A369DB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784794$40195A63-C0B8-4AE2-9121-B3AC570F8F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784794$6E8209D7-CA86-4590-B215-8CF7AF65803D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf535b10efcfc97b103452353f9871a425a3de62","datavalue":{"value":"1733009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2784794$F858116F-94F8-425B-A5C9-EE3CF4F8E5A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784794$B119E714-39AF-4C48-8B72-8A7250C95448","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a250535976c55d0d83f766a663ca018f553759e","datavalue":{"value":"first-order predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784794$6627231E-2556-49AE-9B39-EDB707A9CBE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5b48a430a9e75a3a2dc919ee7c8bfce0f6a7846","datavalue":{"value":"conversion algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q2784794$2F1EA5E6-8250-4967-9D7F-21116EA900E7","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":"Q2784794$606293A3-E8F5-4876-82AC-80E0FD18CD6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"98f9e9c16730916c6724cca248e16e11f749bc68","datavalue":{"value":{"text":"NDK and natural reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2784794$A7342B7C-8B08-4C2A-BEA8-32E184C1515E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b692ce3de9122d8fcb53989f11735e3ac2ddea6","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd67006f875e9e2e4b3210362ef5b69f84eba9e7","datavalue":{"value":{"amount":"+0.7703925371170044","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":"Q2784794$25903752-560C-40B7-A458-B676239336CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4369ff79a108f5e22c0a0b6f7e932f476cb1d34a","datavalue":{"value":{"entity-type":"item","numeric-id":3680812,"id":"Q3680812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98727a261f5086ea718912d9e075165240c172d8","datavalue":{"value":{"amount":"+0.760945200920105","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":"Q2784794$F1DE41C0-4F46-4433-B83F-4982F6D648CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44c2f64a6b4a61cc51aab7c09e2f2edd5d67249a","datavalue":{"value":{"entity-type":"item","numeric-id":3691668,"id":"Q3691668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b72be2fcac668d899ded38f0d4c11e75ec21fa00","datavalue":{"value":{"amount":"+0.7500095367431641","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":"Q2784794$084B15D6-9F13-4CD9-9C83-66ACEC776125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62c2eb7db2c35f65e4ea2fabb5bf93e64d9f1829","datavalue":{"value":{"entity-type":"item","numeric-id":1577339,"id":"Q1577339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5bf6542f3c9d1e57005f9df11bc4621ecc26cd50","datavalue":{"value":{"amount":"+0.7444974780082703","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":"Q2784794$8C71BB34-BCDF-4690-8BDF-0A49D445FDAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21aa2fc351b7bd12bae8a271be1dcd96021a9397","datavalue":{"value":{"entity-type":"item","numeric-id":1577346,"id":"Q1577346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4e047f8a71a9aef4b9964642ac1dcafa106de5a","datavalue":{"value":{"amount":"+0.7433755397796631","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":"Q2784794$FA570C40-5542-4768-89FA-A8EED528759A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2784794","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2784794"}}}}}