{"entities":{"Q3411230":{"pageid":3421933,"ns":120,"title":"Item:Q3411230","lastrevid":49984648,"modified":"2026-01-12T11:47:10Z","type":"item","id":"Q3411230","labels":{"en":{"language":"en","value":"System of automation of proving theorems of the theory of metanominative data"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5079312"}},"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":"Q3411230$1BFF1AC5-5A82-4923-A86A-5136FEE481E1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"31689eb1ff6a334dec0594c66e2327f019724913","datavalue":{"value":"1126.68576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3411230$B428128C-39C6-4282-A1BA-707EED13BA62","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"44d5776c7bd1206a578251818250611134601beb","datavalue":{"value":{"entity-type":"item","numeric-id":3411229,"id":"Q3411229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3411230$434914CB-FF4C-4F31-9405-E59E38D0C606","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad2ea4a3ca258ba9eeea92defad5aa62132095b1","datavalue":{"value":{"time":"+2006-12-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3411230$8C84EC87-D987-42F8-897F-5E0076AE5FD4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3411230$6CBAE9DB-99CD-46BD-935D-62BEA0B842DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3411230$3AF07AF8-5047-4023-B480-4F8301DFB0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3411230$8735A7EF-B9C1-4D2B-9519-A0F1045ECFC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac4ed104fb2f9c25f04c0b2d1a45ad67d174faa1","datavalue":{"value":"5079312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3411230$6C035D29-89EA-4C91-86BF-D31E3CEBE154","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c81bcb66af213e97074519e81efa8116b63081a","datavalue":{"value":"compatibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q3411230$B43D4067-FB9F-48D9-8F73-7B8E8A233BF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7956c7f6df536e6143a1c2159e2cd8230dcb1d96","datavalue":{"value":"computable function","type":"string"},"datatype":"string"},"type":"statement","id":"Q3411230$01949E60-DC63-4EDC-A157-F6A3181B4696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3411230$D26A9072-4B80-488B-8C75-5A2FA988A67E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c123212aa79a8c6aa156264be1012ed5853d996c","datavalue":{"value":"program","type":"string"},"datatype":"string"},"type":"statement","id":"Q3411230$6D381A62-C55D-4558-95F9-ED7707759497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5585afb9b5bda4241e5bb8bcd7d96d423ee7ed2b","datavalue":{"value":"partially computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3411230$D5AD7502-9DAC-4234-ACBD-CDA403AEC41B","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":"Q3411230$080A4F44-8AC9-4780-B293-B18D151594B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"704d8235220b4b648e3548c46c45ac17ea651023","datavalue":{"value":{"entity-type":"item","numeric-id":4013071,"id":"Q4013071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97c928fffdf4b1173d3f1a8d1ac9dbfc7e2d4c9a","datavalue":{"value":{"amount":"+0.7728638052940369","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":"Q3411230$E2A0B419-EB35-4BA4-BBE2-A5EFE4704F12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2565d9e77d9b51b905daa5bfbb63ce859f62d93b","datavalue":{"value":{"entity-type":"item","numeric-id":3345811,"id":"Q3345811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"744e1a509fd7ddc7356e252d5b5ae654faa6904d","datavalue":{"value":{"amount":"+0.7700900435447693","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":"Q3411230$01AF9A3F-6489-42FE-9B0C-6F7C61538E18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e167de97ef55769719ab1c40a9aeba364b051c2","datavalue":{"value":{"entity-type":"item","numeric-id":4269904,"id":"Q4269904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df2bf60d07545d7b16972fd163b361306ffee4ce","datavalue":{"value":{"amount":"+0.7643736600875854","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":"Q3411230$A30877A8-979A-4C76-B095-69009EF52E4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b17a0214d51531a33f29c301b3359a976bc5385e","datavalue":{"value":{"entity-type":"item","numeric-id":3484381,"id":"Q3484381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8040384d1d561bf23f2abe6ce8ce881623ad3552","datavalue":{"value":{"amount":"+0.7630107998847961","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":"Q3411230$6B26D771-A777-41CA-9446-90363EA628E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a61c96f7f35c4db5dcad8ab932e96a4276bfa605","datavalue":{"value":{"entity-type":"item","numeric-id":3977980,"id":"Q3977980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2abf8848799ef05975b337d90881c572e9eb404","datavalue":{"value":{"amount":"+0.755486249923706","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":"Q3411230$5841E8B5-578A-4834-BA86-BCB83D326E23","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3411230","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3411230"}}}}}