{"entities":{"Q5212091":{"pageid":7241662,"ns":120,"title":"Item:Q5212091","lastrevid":58472592,"modified":"2026-04-05T09:09:23Z","type":"item","id":"Q5212091","labels":{"en":{"language":"en","value":"Paradeduction in axiomatic formal systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7157616"}},"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":"Q5212091$F5AACCCA-32F3-48A3-BF9E-51824E65315A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56b0c6bfe7661dd83e6e2a1e1892b5c237a1a1f3","datavalue":{"value":"1451.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212091$A2D6062B-624A-417F-89A6-9A5409443FC6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3064781f691684cc63b351fb33c885974b684d12","datavalue":{"value":"10.2143/LEA.246.0.3286442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212091$97FD3E46-FEE8-4088-B476-73CE5FB7FD7E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad4f6851daf1d655cbc8906cd19c61dfe2d4d48c","datavalue":{"value":{"entity-type":"item","numeric-id":1840987,"id":"Q1840987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212091$8A2F9192-6270-4DBD-82A5-8BEA529EC93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"15904be003137cb9a4a721b10193e225d3c251e9","datavalue":{"value":{"entity-type":"item","numeric-id":2239381,"id":"Q2239381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212091$409E6A90-8023-48BB-AA20-D622742F8CFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35cab03e93d6659fd43e699519dbf91886e49784","datavalue":{"value":{"entity-type":"item","numeric-id":2239382,"id":"Q2239382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212091$1CE7E709-B312-4BD0-BC0B-D8A7EBEC5E62","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"77882ece4e85a0ce08660c13f940a3d72965a05b","datavalue":{"value":{"time":"+2020-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5212091$E8EA57CC-6CFE-4E6D-B0FA-762FCB5EC511","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3aef8a25fec8283af8e5afb47c5fc60e7861b28","datavalue":{"value":"https://arxiv.org/abs/1710.01284","type":"string"},"datatype":"url"},"type":"statement","id":"Q5212091$8F9407AD-A59B-40D7-A798-3B20CEA4EB8D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"da16cc6c6eb08bf82419ecf96189672d0591bc99","datavalue":{"value":"03B53","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212091$CF16F038-6349-40F2-ACFC-C304A2D783CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57de94024cefed8a5b39cde3b9afe9d004df9e4e","datavalue":{"value":"7157616","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212091$F782D2F0-0FCE-4BA2-9890-1845A70A133D","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":"Q5212091$70482686-27D9-4D1B-99B3-FCEA8192ED9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2059b2c85cb4d6ab15a7f2669905b0c45cb4b0f3","datavalue":{"value":{"entity-type":"item","numeric-id":2239383,"id":"Q2239383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"124cad357c5400ae13de11d25865284789eefa40","datavalue":{"value":{"amount":"+0.7467396855354309","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":"Q5212091$3337985E-9F85-46C4-884F-D9391160BA90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fb0fb63e547637bd1d271843367b2e6a37c36a4","datavalue":{"value":{"entity-type":"item","numeric-id":1775866,"id":"Q1775866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e99239aa783d9c4b1b6d33412d12fd13c1347ca4","datavalue":{"value":{"amount":"+0.7427608966827393","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":"Q5212091$8EC6E841-44D2-4DD2-90F2-CEB17A2A318B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54d42ca2abff624a53ee906c0eb02f92eb37d5f1","datavalue":{"value":{"entity-type":"item","numeric-id":788710,"id":"Q788710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3270f6e916cb6eb8355219369789de7bf99ee797","datavalue":{"value":{"amount":"+0.7411648035049438","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":"Q5212091$B3B2D5CB-BDE2-4F62-A8E6-AABEC0402A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ed3955c7b12d8e4f5b3d9c61136989dec07fe9d","datavalue":{"value":{"entity-type":"item","numeric-id":3647231,"id":"Q3647231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96bff374eca3fc84f3b3c71b8943c48d2e40a24e","datavalue":{"value":{"amount":"+0.7338535785675049","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":"Q5212091$08F04E8B-9352-47AF-8100-97506BD97C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d86238e4ad9d279e64ed386d4ca1ffd496132f92","datavalue":{"value":{"entity-type":"item","numeric-id":2053983,"id":"Q2053983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9757bf7b7291f88aa54a4d2bfd5c0edaa56cac7","datavalue":{"value":{"amount":"+0.731717050075531","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":"Q5212091$173F7D5A-2CA2-4C69-A826-03A031A655F1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5212091","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5212091"}}}}}