{"entities":{"Q4364512":{"pageid":6394111,"ns":120,"title":"Item:Q4364512","lastrevid":46520226,"modified":"2025-12-24T23:16:50Z","type":"item","id":"Q4364512","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1088198"}},"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":"Q4364512$DECED429-5B04-4027-96B4-A234C85390A1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2683cd49b9feae1f7ace24f303cb153c70c8958e","datavalue":{"value":"0885.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364512$44FB5BDC-7DD4-494B-838B-EF03D7E903AD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"00d7eff2c7b0f075602eb11377b06d7ea65bd882","datavalue":{"value":{"entity-type":"item","numeric-id":685418,"id":"Q685418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4364512$6E36D4A6-DFA7-4087-9ED1-5E4A39345DF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"642c03e106b7580fbefdce7150af6960573fd3b8","datavalue":{"value":{"time":"+1997-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4364512$3081ACC9-7AAD-4518-BB31-894B3A35A5F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89a6721807d2106ad3a18783b4fcbc004e6a56c5","datavalue":{"value":"03B60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364512$C2A3D6B0-1A1A-4BF9-978E-982A70473374","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"73d2ead85cdc532c2da0541da5cc222fa64435e6","datavalue":{"value":"1088198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4364512$832868DC-C472-499D-A55B-36766B1DF972","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f885fb3dbdfa279d45915d751e2d3c68d94fb948","datavalue":{"value":"NaDSyL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364512$96BA20DE-2F67-4C86-BDE0-2CB047B4F0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70d046efa1c3c220572ae8a053d58dd21b77e0db","datavalue":{"value":"Natural Deduction based Symbolic Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364512$095F98CA-18BB-479E-AE79-ED2ECFA4327F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d29c7907a058ca2f5803a563e9765a72c855a696","datavalue":{"value":"recursive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364512$9F0408EB-A173-43E9-BA32-92808C663CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be1268b65fc1d6781eb5c0f1073a98e5cb46f217","datavalue":{"value":"arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364512$1E86E4B4-3A1E-4955-BDD1-E791A3BBFE46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c688289eeea02a916ef23131f2e3197d4d0247a","datavalue":{"value":"Cantor's diagonal argument and paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q4364512$42C74B50-8EEB-405B-9F87-D471B8F4BB6D","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":"Q4364512$D2027D2A-DC9C-4EF9-9886-54C5D4D5AC8D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ef7ced74c7cfa9e07f8a4cb9a58146cd4d9c4c8","datavalue":{"value":{"entity-type":"item","numeric-id":4282606,"id":"Q4282606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7dce3cdba4462e42979c2c7e0ef84458dbef7e80","datavalue":{"value":{"amount":"+0.764411449432373","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":"Q4364512$D0C2DF0E-8B90-46EB-B1B9-95F6511BF62C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bab4b3347b7e49eece1ce86c55276585b74c5440","datavalue":{"value":{"entity-type":"item","numeric-id":685420,"id":"Q685420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b344caa8c16ec81bdd813c19a773eb2653faf74","datavalue":{"value":{"amount":"+0.7130215167999268","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":"Q4364512$FA81B2D6-0C91-4EEA-87D5-4D4BD56A1770","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b321ec18b85cf9f9228148692ac2d3e204e9fc8d","datavalue":{"value":{"entity-type":"item","numeric-id":2784794,"id":"Q2784794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cbbf603d98cfa40ee4442382c1e655eb3e0624e","datavalue":{"value":{"amount":"+0.7024124264717102","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":"Q4364512$58A62252-A6C6-44F0-B72A-3722E6CA6062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7592b8d6056711fdb5ab7a897780063a245e4485","datavalue":{"value":{"entity-type":"item","numeric-id":1182709,"id":"Q1182709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a85e5fafe61f1354d4be005258f82de57031d8a1","datavalue":{"value":{"amount":"+0.6955526471138","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":"Q4364512$EF7CA4CF-803F-47F5-814D-70C3AED95BFA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4364512","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4364512"}}}}}