{"entities":{"Q1756596":{"pageid":1767338,"ns":120,"title":"Item:Q1756596","lastrevid":53310689,"modified":"2026-01-24T17:09:11Z","type":"item","id":"Q1756596","labels":{"en":{"language":"en","value":"Arithmetical soundness and completeness for \\(\\Sigma_{2}\\) numerations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6996652"}},"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":"Q1756596$2203EADC-F9AB-4328-903A-0908F583A874","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fd98f8877acee2d36a832bd89acca37aefcd970d","datavalue":{"value":{"text":"Arithmetical soundness and completeness for \\(\\Sigma_{2}\\) numerations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1756596$6C075085-1802-48D7-9780-74232C99120F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7b564aa9834f2962415b15ed8124560bc8f19fab","datavalue":{"value":"1437.03167","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756596$4D0EEBF5-A187-4C58-BC12-E73B7E738C3F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"128c2b12d65261607bd53a5a5505e34270780d7e","datavalue":{"value":{"entity-type":"item","numeric-id":312495,"id":"Q312495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756596$150E981F-48F6-4786-B5BF-88F979946297","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756596$818E3FE5-F7A6-4067-B24C-461EDD227127","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6b3e8ce19e9f5978e8f566795e3d4c40e60d6b31","datavalue":{"value":{"time":"+2018-12-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1756596$9BF1B605-0487-4F91-A321-B515458E101E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756596$1998B6FE-FEC3-4EF6-958A-9784AD1233C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756596$CD6E6B11-F06C-4CC8-BBF9-2C46DA38DF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756596$3CF492B8-1469-4CBF-ABE0-7111D078D8C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c44e4550b60355cc572c6c4d7a5a72dc0832c1d0","datavalue":{"value":"03F40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756596$31B58916-3CA1-40CE-801A-FE7ABE587839","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5dad02ce6eec476f0a65fa0fba47ff9395be5970","datavalue":{"value":"6996652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756596$C87CA4C4-81FD-4604-9AD5-6300E891157A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756596$C1742842-BE71-48AA-A689-8C20CB089E90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca5d38e8966a8eec782ba9277d3e6a66132653b3","datavalue":{"value":"Sacchetti's logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756596$DBECEBBE-C064-42A0-BC32-5F879F587067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c0cbb63aa75281c989a466157d16ab703e2df781","datavalue":{"value":"arithmetical completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756596$7CBA2D3E-83B5-4F70-B235-931754970440","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7860dc4649ece5edbaf3ab0241f5ac5af590f6b","datavalue":{"value":"formalized arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756596$A633F2BD-6E5F-40B7-8AC9-37946A3F155B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e035126cfd336067430ccbca6dda466b546571e3","datavalue":{"value":"numerations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1756596$72C3CEDC-32C3-46CA-BE77-BFF5957BC767","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":"Q1756596$76CD8EBD-1EA1-48F6-B5D7-28DC2331F152","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3bb772670455e921c1736325314c6c9169844730","datavalue":{"value":"https://doi.org/10.1007/s11225-017-9782-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1756596$FBA4069F-1C38-4CF3-88A8-FD16E619CF8A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"41e3caf886aa2d5df88ecedfbbd1c4afbde51e51","datavalue":{"value":"W2786667107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756596$3C2B2396-B38F-47FF-AEDE-421769BD2A02","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3487d0d96ddcf9b0b0155ffd0c64dc38df4c67fd","datavalue":{"value":{"entity-type":"item","numeric-id":3483261,"id":"Q3483261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756596$FDE24786-37A4-4E2F-B4C0-D078332DDBF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"845969487dd8e0c91747e5b0285df64cc79ce670","datavalue":{"value":{"entity-type":"item","numeric-id":4397069,"id":"Q4397069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756596$DE3D6826-4CE2-4210-868E-735F3743F641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6368fe1ece1e76810d2cfa685335364aa401c990","datavalue":{"value":{"entity-type":"item","numeric-id":3273298,"id":"Q3273298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756596$72A23F29-EDCC-4E81-8A53-136A7240EB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ce8c521174909ccec9a60fc7d5c9b69479cfc76","datavalue":{"value":{"entity-type":"item","numeric-id":1743993,"id":"Q1743993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756596$F13C6E09-A328-4E79-BCA8-75D0926BF9D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba3659de23929a44a1642cbbbc4ab273698ed56","datavalue":{"value":{"entity-type":"item","numeric-id":4437331,"id":"Q4437331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756596$DC19A646-CE0D-4FEF-9FAD-7804F59D134B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434f42b50ea38e3dcede0438ebb25a19cc609d3c","datavalue":{"value":{"entity-type":"item","numeric-id":1254312,"id":"Q1254312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756596$F0F19438-E67A-4575-86A0-735767C54A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2d1be4473dd04d762364ae568b2c783c9dd04a1","datavalue":{"value":{"entity-type":"item","numeric-id":5726696,"id":"Q5726696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756596$670F871E-E992-4EB3-ADA5-530F994B16F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0df5df771b8f61d6e89c7b6e0ae4eff121e2e85","datavalue":{"value":{"entity-type":"item","numeric-id":1409307,"id":"Q1409307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756596$F184E08B-A805-42BB-9983-36F0AE4ED2B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1668273eb33266e97223b2479b5afb80945b345","datavalue":{"value":{"entity-type":"item","numeric-id":1344434,"id":"Q1344434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756596$8B217F0D-ECF9-45AF-A820-77D9DE20A0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756596$3E017649-00D2-416E-A22C-CF07E5C4BAF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7bf5fb6d0b1e7c672741e0cf2ec67ce93d26700","datavalue":{"value":{"entity-type":"item","numeric-id":798313,"id":"Q798313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756596$2E63ECA6-79B8-4ACB-8A03-19E7978F095E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4de1c8e3790a799750288a2e5d11c02ea840935","datavalue":{"value":{"entity-type":"item","numeric-id":1262309,"id":"Q1262309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1756596$272F44D6-258E-496C-B3C6-FF34E4675435","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0371c9aa2c56e38619721d0a17966292c5df5808","datavalue":{"value":"10.1007/S11225-017-9782-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1756596$5BC757ED-957B-4997-A403-9EB81F3BBF25","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72d6939b86a56eb64afb560b094b845c382b714a","datavalue":{"value":{"entity-type":"item","numeric-id":1743993,"id":"Q1743993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e44808e0fb39265a856a94ecf58456b44fb51dbc","datavalue":{"value":{"amount":"+0.7861815690994263","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":"Q1756596$986731A2-6784-437B-AC13-D94A40F75F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce759c71a85d3d20f0cc9db40870d76b6903219c","datavalue":{"value":{"entity-type":"item","numeric-id":3362800,"id":"Q3362800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07a72138d284cfe56b46b0d1abf82f84bcc26276","datavalue":{"value":{"amount":"+0.7722903490066528","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":"Q1756596$C11DB1BD-9AE5-4E26-977C-516B6EEF7234","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6005b88badd1d5d65fa1000e0dac197b7ae652f","datavalue":{"value":{"entity-type":"item","numeric-id":4692089,"id":"Q4692089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9052682c135cd0edfd9427da8c02ffb59d60dc2d","datavalue":{"value":{"amount":"+0.7517313361167908","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":"Q1756596$0DA58FBF-52D6-4884-B42E-F53DDF891074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d21a2f09563d0ebe119eceeef4e8131d64b756d","datavalue":{"value":{"entity-type":"item","numeric-id":3760514,"id":"Q3760514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"49c5a3cc5068c5808fa21f6bc8d54242acdb6473","datavalue":{"value":{"amount":"+0.7477959990501404","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":"Q1756596$FC34B9BE-7998-4D98-B9B3-B571B0B5B185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22985527f161d2d0296f5bc946ff051aa2b92c7c","datavalue":{"value":{"entity-type":"item","numeric-id":377475,"id":"Q377475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e283ee598cdb5a8cf858a337be7da602b98a12dc","datavalue":{"value":{"amount":"+0.7436975836753845","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":"Q1756596$5CE0DB70-C03D-4398-8AB3-727B35D97F72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1756596","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1756596"}}}}}