{"entities":{"Q5057115":{"pageid":7086692,"ns":120,"title":"Item:Q5057115","lastrevid":100267175,"modified":"2026-06-05T21:43:35Z","type":"item","id":"Q5057115","labels":{"en":{"language":"en","value":"A Model Theory for the Potential Infinite"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7633229"}},"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":"Q5057115$1239CF88-9C2B-404F-ACB0-5B19D5C0E3EC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d11095ddcc36af2dfba4b71bd6132a5ba472cc7","datavalue":{"value":{"text":"A Model Theory for the Potential Infinite","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5057115$5EFBB480-1017-4892-A1B9-B1E291020A07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b1b0b0ea3f9b58ac7c35da8392a75d307a91031a","datavalue":{"value":"10.4467/20842589RM.22.001.16658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057115$34D94C99-C106-4BB0-957B-A1C336478AC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b4516da5d9cc8e91b80c1921fe54e2e4f0beae6","datavalue":{"value":{"entity-type":"item","numeric-id":1401940,"id":"Q1401940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057115$0387C4DE-313D-492F-96D8-3099F732A8BF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7a0d78bb1ba0b96c6ee7b4ed752efc00bcce9c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4609352,"id":"Q4609352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5057115$5A6B5426-5E65-41BA-8C33-B2A0D3F25C4B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"719f0d1ca431ab73a74cbc1c49c1215a97540fb6","datavalue":{"value":{"time":"+2022-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5057115$0F4890A5-6A24-446C-B079-C2F945BD64C7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6fefc163cba36ec151ed2f09ece5278d39198b4c","datavalue":{"value":"https://arxiv.org/abs/2212.07791","type":"string"},"datatype":"url"},"type":"statement","id":"Q5057115$A87E7627-D274-4409-974B-C576837E6E7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2c8fe0e0d9053b9c71e705326a25639cfa34093d","datavalue":{"value":"03C68","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057115$814AFC38-FC2E-4FE7-BA1E-82391CE4DAA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa69c13f73ae57309db5e91fd7e4d5aaf111f98e","datavalue":{"value":"03C30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057115$424FB5E9-28F8-4DFF-AEED-C8C80F5B38D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057115$563AA48F-92A5-4436-ABC1-A8BFBEAE7C3E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08b1c2a9c584eaaea3a598c53dab5c357b468d24","datavalue":{"value":"7633229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057115$65647418-9BA1-42BC-AEB3-43A4AFC74706","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c3f7f03101279581576b5f35445bcaf375ba8bb","datavalue":{"value":"finitism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5057115$42E4144A-50FC-4D1B-B8FC-43A17A9BCADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"843c984183102b0cf77151d2eec678ef4f3864b6","datavalue":{"value":"potential infinite","type":"string"},"datatype":"string"},"type":"statement","id":"Q5057115$72763460-2FCD-47C3-BBAC-1C47ED0C280C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5057115$D16F4F4E-C6DE-44FC-BF98-E88AB43DB0DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39a3dcb919cfb7892b24ca37da2f18a4bcfe1c8","datavalue":{"value":"first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5057115$B49B005F-3E6C-4E30-BFE5-8026E840B5EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b66c6531605642201eac88586885d8f237b626e","datavalue":{"value":"reflection principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q5057115$67AE3035-48AF-4A9E-9730-CDCDBF952DD3","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":"Q5057115$7623BD82-BFFF-47C0-8B01-A389227BABF7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da891709bcef599325b6f6b3f922886c55e57020","datavalue":{"value":"W4310866310","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5057115$BD5FB1A2-1A43-467E-93C1-464944CE2152","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d59faf2b6336b4f216978eb292a6e5d3157ab01a","datavalue":{"value":{"entity-type":"item","numeric-id":5126474,"id":"Q5126474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74e837b0518d87df0750f9c940551d7ab53b540b","datavalue":{"value":{"amount":"+0.7933825850486755","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":"Q5057115$8764C3C3-1CF6-44D5-A758-5EA7D2C9211C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b34b8975215a5689ab16b1d553cce3b0a7aee95e","datavalue":{"value":{"entity-type":"item","numeric-id":1947035,"id":"Q1947035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f9ed42304be7b739343b4c44a7e3bb70995b160","datavalue":{"value":{"amount":"+0.7746579051017761","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":"Q5057115$53EB585D-BC5A-46E7-8BDC-47EB502A5E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2747867139360bec1a3cc48643a9f543968afb78","datavalue":{"value":{"entity-type":"item","numeric-id":3590051,"id":"Q3590051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b59a76ffae1c5f341daaffb98edf810ef68ec7a","datavalue":{"value":{"amount":"+0.7687580585479736","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":"Q5057115$D0E231F7-E850-48AB-AADE-858B2C4D6C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91d93518ab69585b6d1a78fd3a2c03424ef5b685","datavalue":{"value":{"entity-type":"item","numeric-id":5935788,"id":"Q5935788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03c552f091183516e8257cb68977cd60bccbabd1","datavalue":{"value":{"amount":"+0.7491195797920227","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":"Q5057115$958C606F-81B0-49C0-B499-4C050B65B45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d80340fa38107e5fc64eecad836c4fd67d2b98d","datavalue":{"value":{"entity-type":"item","numeric-id":4802076,"id":"Q4802076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5791f61feba2b841453eefb53eafb6c0cab4a6a","datavalue":{"value":{"amount":"+0.7370592951774597","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":"Q5057115$392715E2-C781-492B-ADBD-F06643E38059","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Model Theory for the Potential Infinite","badges":[]}}}}}