{"entities":{"Q5061416":{"pageid":7090992,"ns":120,"title":"Item:Q5061416","lastrevid":47799859,"modified":"2026-01-02T17:42:26Z","type":"item","id":"Q5061416","labels":{"en":{"language":"en","value":"\u0421\u0438\u043b\u043b\u043e\u0433\u0438\u0441\u0442\u0438\u043a\u0430 \u043a\u0430\u043a \u043b\u043e\u0433\u0438\u043a\u0430 \u0432\u0441\u0435\u0445 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0439 \u043c\u0435\u0436\u0434\u0443 \u0434\u0432\u0443\u043c\u044f \u043d\u0435\u043f\u0443\u0441\u0442\u044b\u043c\u0438 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430\u043c\u0438"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7641256"}},"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":"Q5061416$020B761C-EB3F-4FF0-8EE5-6CE3C955DBB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"150efc3aaea7fcc25de66d398750be8a8bfcc829","datavalue":{"value":{"text":"\u0421\u0438\u043b\u043b\u043e\u0433\u0438\u0441\u0442\u0438\u043a\u0430 \u043a\u0430\u043a \u043b\u043e\u0433\u0438\u043a\u0430 \u0432\u0441\u0435\u0445 \u043e\u0442\u043d\u043e\u0448\u0435\u043d\u0438\u0439 \u043c\u0435\u0436\u0434\u0443 \u0434\u0432\u0443\u043c\u044f \u043d\u0435\u043f\u0443\u0441\u0442\u044b\u043c\u0438 \u043c\u043d\u043e\u0436\u0435\u0441\u0442\u0432\u0430\u043c\u0438","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5061416$60058822-8FC6-48BE-ACF5-5BC82FEC23A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1539d6760e6ebdeeb0c04023e7d9d9da5141ef9e","datavalue":{"value":"10.21146/2074-1472-2020-26-2-39-57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5061416$4AD9029F-69A7-433E-9578-8BE26DAD5CD6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a39a5c8c4d092049d46d17e71022ff14a12bea9a","datavalue":{"value":{"entity-type":"item","numeric-id":2751838,"id":"Q2751838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5061416$328D3F04-AF26-4418-B531-D0BEDEF309BE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"419a39ba736b850fef44044ed2847be5eb6b6cc4","datavalue":{"value":{"entity-type":"item","numeric-id":2981227,"id":"Q2981227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5061416$B47F4DAE-8198-47A0-8F2F-0BF8E9F0CB9C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5a6ae76665af230d040301805a506260888aa06b","datavalue":{"value":{"time":"+2023-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5061416$71F97325-869F-465A-8E7A-404B318D3C02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5061416$A386C262-BA89-418C-BD81-DF90346F55A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5061416$66ED90C3-1CAB-4BDC-BC8F-98B5AB6D4E33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5061416$CA993B10-211E-43FA-AD64-3A270DBBA6B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bef1adbaa2e15aaa5fd0f25b48785095142c0c52","datavalue":{"value":"7641256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5061416$DE42CC07-2192-4C21-88FC-6A8EB80E6E60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cda5af0ec062525f3fe768c8c433c44d72a6c5","datavalue":{"value":"syllogistic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5061416$28417A60-78B3-4355-85A2-0F8D28CE1F65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e4924da87e4ca5d9ff93d5f68efc5c88210e799","datavalue":{"value":"syllogistic constant","type":"string"},"datatype":"string"},"type":"statement","id":"Q5061416$36AF35E9-DCB9-41C9-AECC-C63B8A703060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f81406898349e4c73610116261aaccda50fa702","datavalue":{"value":"formal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5061416$C6111BB9-8B06-4F31-9EDD-FF996DF251DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5061416$001C86BA-BD6C-4ADF-90D1-7C09E25555CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5061416$37E0A633-082D-4AE5-84DC-DD86F885B40B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1bec1fd6a6745a3a2cc71d52e99b7f1a11bd67c0","datavalue":{"value":"complete set of constants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5061416$F303295A-2730-438B-B73A-D5B72A873B66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e20a3d82980512adc5924d5165040a9c11fc318","datavalue":{"value":"axiomatic calcululs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5061416$EE4E011C-F6C8-4CD1-BA5C-7C875E7FC833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01bee47c795cf2f73288b8e0c10bf04b7f3b25d7","datavalue":{"value":"soundness and completeness metatheorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5061416$068B32A9-A8A4-46E4-B6E9-03F3296BBA8E","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":"Q5061416$7F2458DC-803F-451F-A716-1DF5741253A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8cd7ec4f038be62b770573a0624502bc66b9ff5","datavalue":{"value":"https://doi.org/10.21146/2074-1472-2020-26-2-39-57","type":"string"},"datatype":"url"},"type":"statement","id":"Q5061416$2141DA28-21B9-4556-9E67-44674137919C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ed774ac49f04b37ce6fe67c07185c07f3d585bf","datavalue":{"value":"W3112060150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5061416$218C6345-4BBD-4F83-B9A0-CA119B5EF064","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4823f410609ad34913adbd55b938d2be2c882405","datavalue":{"value":{"entity-type":"item","numeric-id":4544206,"id":"Q4544206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da37db2f31896c3e4046eb9d2020606ab9c6b050","datavalue":{"value":{"amount":"+0.8335329294204712","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":"Q5061416$DC95A8BB-EC0C-463F-96EA-A324D7EBACE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2df9bed0937fe2d647f4dfffe9e78cdb0676b9ec","datavalue":{"value":{"entity-type":"item","numeric-id":5692804,"id":"Q5692804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c474cfc48c2e99f8c97595523fb6cb51cae5bdc4","datavalue":{"value":{"amount":"+0.8192760944366455","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":"Q5061416$579A74C6-0156-496A-96D7-F19F73FF8598","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e2837e32ed884c6de2e71a5dd7976762310cb0e","datavalue":{"value":{"entity-type":"item","numeric-id":5219137,"id":"Q5219137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf01a9371963f11b277a208a1d37247bfc2bb45d","datavalue":{"value":{"amount":"+0.781143069267273","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":"Q5061416$DFD360E6-3F6C-44B2-AD94-A0E02BCB5678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de441d20e4874836196518679c382487d7186e8a","datavalue":{"value":{"entity-type":"item","numeric-id":3567767,"id":"Q3567767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ad3765af4888ac57c16f122688dc719b9e67036","datavalue":{"value":{"amount":"+0.7790860533714294","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":"Q5061416$5FEA1824-9303-4159-93EA-C984E103902E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"180c82cd329501e4abcc55b6b53d9ffa9ced1c82","datavalue":{"value":{"entity-type":"item","numeric-id":4268428,"id":"Q4268428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a48c8df9fca1eea83ff63838df0f905c1a13385d","datavalue":{"value":{"amount":"+0.7748509645462036","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":"Q5061416$8A8DA194-B169-4113-AA72-8B93B7FDDF8D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5061416","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5061416"}}}}}