{"entities":{"Q5941253":{"pageid":8118055,"ns":120,"title":"Item:Q5941253","lastrevid":47658697,"modified":"2026-01-02T08:54:06Z","type":"item","id":"Q5941253","labels":{"en":{"language":"en","value":"Decidability of the theory of the natural integers with the Cantor pairing function and the successor"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1635418"}},"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":"Q5941253$7A710390-D0CA-4C62-AD4D-F1FD278B6D89","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b497927aaab2c54a98b37803c247d5b9790cd09a","datavalue":{"value":{"text":"Decidability of the theory of the natural integers with the Cantor pairing function and the successor","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5941253$62590921-3671-4C56-B655-F49203715A12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d1f2f6369d3ad58d05cc369b096ef41482d5fad6","datavalue":{"value":"0971.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941253$1FD761ED-B154-411A-BEE4-1D2CD8C281B4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c6b6d876724d95c22990a31bde84a78a07e1e94","datavalue":{"value":"10.1016/S0304-3975(00)00109-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941253$7A16D517-583C-4F45-A5A7-51D24E52B22C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"069c49ed07632856093c11f7cbd999f5a3f4b4c9","datavalue":{"value":{"entity-type":"item","numeric-id":1401348,"id":"Q1401348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941253$1CABD79C-91F4-4D0F-8FF2-E9E59A3E93FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3bd3332221caea6d47c524c4ab128bd0030b6f84","datavalue":{"value":{"entity-type":"item","numeric-id":1401350,"id":"Q1401350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941253$A676D966-8B10-4004-9C4A-9B3F936F14A1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941253$E9AD16F8-7E5E-4C11-8909-342ACAB0E81A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d780905acb67c2b1b938af03e08b68df411214b","datavalue":{"value":{"time":"+2001-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5941253$9E84FF3B-2AF9-4A2E-B4CC-206E137A1C21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941253$CEAF9DF6-6114-424E-A645-1E011B4B027E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"37c1d1a297fb80e10954aeabcf16524c43d89d08","datavalue":{"value":"11U05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941253$141C5589-C7F9-47A8-8B75-A8BF26E74AFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"aba889caa01465ff2b04ac292a14a0b905f55f02","datavalue":{"value":"1635418","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941253$B348C536-CC0F-4B7B-8FEB-22CB47A35D92","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3cb4df68089a87c4f11c56cb7bfeb6165ce1e0d","datavalue":{"value":"Cantor pairing function","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941253$D5827808-F86E-4325-89CC-0A54A44F273D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ab14670fd645ceec284d741b18aecb5f5131180","datavalue":{"value":"decision problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5941253$A331175A-6A9F-491B-BF91-5B5C20C9EEFE","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":"Q5941253$D0CC8DCD-8EA6-4BA8-8A50-CCC47B9B12E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e493f04abd4f250055053f05000fd51d9ced6aed","datavalue":{"value":{"entity-type":"item","numeric-id":5769069,"id":"Q5769069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941253$3BD75FC3-09A9-48A4-B9F1-AC0E824AD0D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5156d253ad9ef4b9fa04d3597f700389d8b453a2","datavalue":{"value":{"entity-type":"item","numeric-id":1817073,"id":"Q1817073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941253$68A65976-930F-43B3-91CA-38BA9D2CCDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cab9300b4bba551b872dcb6cf7aa35711ac81e5f","datavalue":{"value":{"entity-type":"item","numeric-id":1960537,"id":"Q1960537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941253$8F2A7258-0B12-400E-A227-CF5EF9931C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a419dd7ff0f3d465e478a0d405d767ee1f50956e","datavalue":{"value":{"entity-type":"item","numeric-id":917543,"id":"Q917543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941253$99BB9CEF-798F-4985-B2A7-EE9FDF71A156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941253$4C13D743-644A-4ACD-B2B5-7EA721A44E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29035f06020bdf6a821f5c6e4a2fac381017baf3","datavalue":{"value":{"entity-type":"item","numeric-id":1256445,"id":"Q1256445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941253$13F1E02D-F5E1-4D3F-81E7-0004510448FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e6ee93c6a75b541cd72652bc62d7edbd6011d59","datavalue":{"value":{"entity-type":"item","numeric-id":5941257,"id":"Q5941257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941253$021B1375-958F-4672-B5E1-4F6C9E2B9DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73ea1a986b8212f90121d21e0a14bb9807498264","datavalue":{"value":{"entity-type":"item","numeric-id":5791204,"id":"Q5791204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941253$08908FDF-2B98-4166-AD1F-0F311B1F4C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6112d4e57c75e2dd8ff42cf55d947f81166504c1","datavalue":{"value":{"entity-type":"item","numeric-id":4509362,"id":"Q4509362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5941253$4B788C3E-AC4D-4EA7-83B6-855026566611","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1dc994ef1fd479538d3d4e9b06af8b191fe943b8","datavalue":{"value":"https://doi.org/10.1016/s0304-3975(00)00109-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q5941253$36F4E164-4F03-44EF-9B89-EDF03BAF2039","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ddea6198b49025deabaff8f8c0f46be7cea7f77","datavalue":{"value":"W2002278866","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941253$15975B80-FB97-443B-8F56-8CC0A779985B","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"23ed1c0610f9300e1380eaa4bd615dbb603b9f53","datavalue":{"value":"Q127872695","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5941253$AD68A88D-B89C-4586-8832-CDEFED685005","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6a6cfc01fbc82e5cc11363ba36797c1c3b1fe21","datavalue":{"value":{"entity-type":"item","numeric-id":2765865,"id":"Q2765865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c6416e06bdc17fca9887fdf796293ebb49765a2","datavalue":{"value":{"amount":"+0.7763746380805969","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":"Q5941253$DCAD576F-F076-44A6-ABCA-EC2474A1FB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5f693383a5e766d98317ce421b19601f2252bfa","datavalue":{"value":{"entity-type":"item","numeric-id":3992263,"id":"Q3992263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c6416e06bdc17fca9887fdf796293ebb49765a2","datavalue":{"value":{"amount":"+0.7763746380805969","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":"Q5941253$FF1D5E75-30CF-4FD8-8C66-755B431C9147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"377ebd783c29f0363f6adc027e1b4b7bf47278c6","datavalue":{"value":{"entity-type":"item","numeric-id":3971059,"id":"Q3971059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ca31e069ad42a3e16fb9aef17b9a6f9042bcf51","datavalue":{"value":{"amount":"+0.718197226524353","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":"Q5941253$C6C4B26E-ABE7-4A3D-871A-AE7813AF0D53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cfe2953e1e545f2bfd536f23e14e09fb2191800","datavalue":{"value":{"entity-type":"item","numeric-id":3328515,"id":"Q3328515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb4915686f17decf955e7fadb3c8437136d3932a","datavalue":{"value":{"amount":"+0.717099666595459","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":"Q5941253$6F70B782-6FB6-4125-A4C6-410A0F09F01C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78c77299ae0c42e211ccda286eda58a18d602dd8","datavalue":{"value":{"entity-type":"item","numeric-id":3509917,"id":"Q3509917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dbc9fe9ccda5f7eb53a0c325f6629298f04dd8f","datavalue":{"value":{"amount":"+0.7123278975486755","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":"Q5941253$9FA8A72B-1F1B-40E3-84AC-030750839FE1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5941253","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5941253"}}}}}