{"entities":{"Q3768427":{"pageid":5798333,"ns":120,"title":"Item:Q3768427","lastrevid":51870008,"modified":"2026-01-20T10:43:38Z","type":"item","id":"Q3768427","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4026858"}},"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":"Q3768427$D4137BE6-5927-475D-A096-E163A4A0ED5B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3e0d201872199501efed6be35bd0c0cd60ac8f1","datavalue":{"value":"0631.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768427$3163A7C0-FB8E-4623-A07C-1B63F3B6875D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34cb696ce5008e0ad8b0b39e02b98fb8b38cd33a","datavalue":{"value":{"entity-type":"item","numeric-id":194997,"id":"Q194997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3768427$35DDE26F-1D2E-44EB-AA80-3832415D7B49","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q3768427$D1B1C6AB-E75C-48C6-9959-EF4C1A3B4687","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768427$769D40BE-2651-43EB-BF18-D9AC8EFC7031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768427$E18A322B-F109-4C3D-A166-A81E9DF6AC04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db8cec339d4de5c29c6e05421099d7fb6d18a735","datavalue":{"value":"4026858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3768427$77002B27-D183-4556-8DD1-4E9AEA68CE9E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768427$2E98A26A-2879-45D7-9212-AEB3839D7EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768427$C6187665-70BD-45DD-9E19-FBEF585FD85E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e8ccf6e8b4afad6750658f0b962d68ccadafdab8","datavalue":{"value":"predicate circumscription","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768427$B30AF61D-5547-47CC-B94A-C923613D9764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ad898fce43911ca55eb5ed942bac1dbc1b2a14","datavalue":{"value":"non-monotonic reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3768427$97715AB8-5BF0-4DD5-B60E-DB51F9662EBA","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":"Q3768427$4A5CD957-8D8F-45CE-A20E-88572B2210C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9592a72ac2b165ba1ce86973f8be9425b6b99e2a","datavalue":{"value":{"entity-type":"item","numeric-id":1274695,"id":"Q1274695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9165791abe09929497603422dc6fab188447f55f","datavalue":{"value":{"amount":"+0.8328620791435242","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":"Q3768427$9FCF1EEC-E86E-41A2-8AD9-75A547CD1A46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad5b68b32e204531b31e589d64c579ea912385bb","datavalue":{"value":{"entity-type":"item","numeric-id":4012238,"id":"Q4012238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cb4db2ba8c209065d3ef36baeac1d51a5622327","datavalue":{"value":{"amount":"+0.8310970664024353","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":"Q3768427$BC228EEC-005B-4279-9FE7-676EC1603572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c980f95d6c9840aa7e7fc9a83eb044faf11f7a33","datavalue":{"value":{"entity-type":"item","numeric-id":4729762,"id":"Q4729762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b290c839e04a88e0d52613bd9e6b072908c2f2f","datavalue":{"value":{"amount":"+0.8300637602806091","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":"Q3768427$BA80F309-2130-439C-BB6C-D9D89A39C2E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf2fc1e64076781289449e30b283f8fb457ae5b7","datavalue":{"value":{"entity-type":"item","numeric-id":3808067,"id":"Q3808067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff4d13a76b1cd7ef980bfd182583fa26ce4c483d","datavalue":{"value":{"amount":"+0.8258155584335327","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":"Q3768427$CC115FD5-6542-4AA5-8A88-28A28E025701","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd3234deec24218a713dfb1f6b75ec8fce252df9","datavalue":{"value":{"entity-type":"item","numeric-id":578934,"id":"Q578934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a15448d15f96a6df17bb75b218f0728f4f2e45d","datavalue":{"value":{"amount":"+0.8111626505851746","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":"Q3768427$3ACDEA59-EAF7-42A7-A204-F00CFA8A3447","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3768427","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3768427"}}}}}