{"entities":{"Q4295209":{"pageid":6324810,"ns":120,"title":"Item:Q4295209","lastrevid":81765554,"modified":"2026-05-06T19:18:57Z","type":"item","id":"Q4295209","labels":{"en":{"language":"en","value":"ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 584611"}},"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":"Q4295209$C24D2C27-1053-4D29-96B8-E2B8EC84F647","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46ea4bb82c69f83e30c673408bcbd28e396ac9be","datavalue":{"value":{"text":"ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4295209$2BBD96C0-7A11-4BA2-B32B-092D65AE903A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5ccfd330d80c0b3fdad59f326a06e11aaae75bf","datavalue":{"value":"0803.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295209$0A64D785-4F4A-433E-B677-E583B3265FDE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"73b7c12287831deb20860a79625a376a1d2f442d","datavalue":{"value":{"entity-type":"item","numeric-id":588140,"id":"Q588140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4295209$BDF0DC40-1041-465F-8481-975E85BF1A6A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4295209$7819A44E-4BDC-4AA6-A79F-7AE2E2492630","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61c1795d228ab22211b26a23695343076442e1f3","datavalue":{"value":{"time":"+1994-06-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":"Q4295209$EEF8C52B-26F8-4A51-97FA-B106F23744E5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295209$92C4C47F-28CB-4DAA-A9CB-121D55FA8E59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295209$7D69FA7E-FF1B-4723-B853-68FA15498BD9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fb7a1272f31c40ab726adb6eb04d47d0603e3f90","datavalue":{"value":"584611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295209$4AA7175E-230A-463B-BB6C-C9C87356A7CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4881b59035d29df92f521fb7f6c93516b972baeb","datavalue":{"value":"models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295209$D6A862E8-6A1E-4304-8C30-4B7544404242","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d75109db94197a2c7d4644515f497e9b7eec79","datavalue":{"value":"expandability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295209$1A39F717-0596-46B0-B0E4-B5D68FFBF84F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5307e43959b88c4cccf04b113f239f7ba9d9fc9","datavalue":{"value":"recursively saturated model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295209$FE7DDC7F-66B4-4D4D-ABBE-F53B004A118B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"399a79c7df14151d4648d8ae8598169340e230f1","datavalue":{"value":"second- order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295209$063DBB0D-5B2E-4BC4-8974-B9A7F4D60EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d137000f9b7c7d2c203afbba8b71b02580d1868d","datavalue":{"value":"comprehension axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295209$8C114DF4-D9F8-4615-853F-3383BB1DB663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea0047bd99a75efb59b6da76d09db5da4187465c","datavalue":{"value":"inductive satisfaction class","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295209$BE6724CD-AA68-47E8-B6FD-CE1DAF967F9C","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":"Q4295209$15633817-CD19-49CF-B501-7F7181AACF34","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5315e05662d0757b545a5c81a5d0d361385047cc","datavalue":{"value":"https://doi.org/10.1002/malq.19920380106","type":"string"},"datatype":"url"},"type":"statement","id":"Q4295209$34AA1EB3-387B-4728-9FC8-45D9D3CA7588","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4c0ac2e83d00532c6b028f15e2d3efeeddb70fc5","datavalue":{"value":"W2003710519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295209$F9B87173-5DEC-42DA-9E05-24A5433D1D3A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b28f276c2ed728880094c1e4501c5ed9807cc56e","datavalue":{"value":"10.1002/MALQ.19920380106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295209$08ADBBC0-FB3F-4AFA-B736-F1FD0D46512C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1493c9eea3065d6ef84c2054e6d6ac9128df8caa","datavalue":{"value":{"entity-type":"item","numeric-id":1102945,"id":"Q1102945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf1ed3f81a4ea0ec508ac2f098b7b158f01cc080","datavalue":{"value":{"amount":"+0.8300449252128601","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":"Q4295209$911BFB67-AA47-4123-ADCB-6AF2287A119C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e08236fa9196dfd579c405e2a36ba720a227ef8a","datavalue":{"value":{"entity-type":"item","numeric-id":2639847,"id":"Q2639847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed045d006d575f150d5b88cfd0348a00cd704e74","datavalue":{"value":{"amount":"+0.816918671131134","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":"Q4295209$A2CDA828-3FD7-46C4-82A4-6707A350A4E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fc81543032a239ac121a284be19172402b94bd3","datavalue":{"value":{"entity-type":"item","numeric-id":3989276,"id":"Q3989276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"422cf62e46a9752d21f965dececddac2d01934fa","datavalue":{"value":{"amount":"+0.8146616220474243","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":"Q4295209$3692BEDE-A98E-4E63-B378-63AF1B30FA80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc421cfd05ee38e7cbd7ba30d0c79a0891d1164d","datavalue":{"value":{"entity-type":"item","numeric-id":1182707,"id":"Q1182707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e76db13eb522b2540be93cfdef33ee8ae807ce9e","datavalue":{"value":{"amount":"+0.8130419850349426","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":"Q4295209$46895B60-9B33-4B57-AA2D-04061C7D6F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2b38612979a877636db7af4c4a38f51ec0e2b8ea","datavalue":{"value":{"entity-type":"item","numeric-id":4218527,"id":"Q4218527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4fc1400d96523bce68def3204de77a05531c392","datavalue":{"value":{"amount":"+0.7999195456504822","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":"Q4295209$6660D7BA-7199-4D35-9E85-84A0C7D0075B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"ITERATIONS OF SATISFACTION CLASSES AND MODELS OF PEANO ARITHMETIC","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/ITERATIONS_OF_SATISFACTION_CLASSES_AND_MODELS_OF_PEANO_ARITHMETIC"}}}}}