{"entities":{"Q4902312":{"pageid":6931891,"ns":120,"title":"Item:Q4902312","lastrevid":51631727,"modified":"2026-01-19T04:07:24Z","type":"item","id":"Q4902312","labels":{"en":{"language":"en","value":"Infinity, in short"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6125403"}},"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":"Q4902312$4F549EA4-C367-4D6D-BC5F-5015639BD34F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d744e4cd650d5bfef30a7dad1b1a2677a1570b7","datavalue":{"value":{"text":"Infinity, in short","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4902312$DA3A37B0-8666-4392-81F3-DFAB73AE8356","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb0b131943bbf730e930c1fa45d3e494ffdcffc6","datavalue":{"value":"1284.03231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902312$220C5DEA-DF61-4D38-A165-22D4DEBDD852","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1f4e12c722f49d808c298b612fc4992a4ed23967","datavalue":{"value":{"entity-type":"item","numeric-id":626877,"id":"Q626877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902312$03715312-B79D-4595-8ED3-077CA716A05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fccb48273352f9d3a76d946d757d4f77a228b9e4","datavalue":{"value":{"entity-type":"item","numeric-id":400529,"id":"Q400529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902312$0138CF89-C56A-4EBF-B723-CD5770C1909E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9faadbd22dd8b1da3be6dbb593d6df9253bd99cd","datavalue":{"value":{"entity-type":"item","numeric-id":1248615,"id":"Q1248615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902312$45725B9D-69ED-4BBD-A338-1E79B9152947","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a7cc0eaf9bc686bec2cdab83ca170990c285c570","datavalue":{"value":{"time":"+2013-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4902312$61AAF547-82A8-4CD8-93E3-E5BFC100B12F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902312$FC7369FE-8E5C-4ABA-895B-D0F316255289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902312$1C12D217-10DB-4BEB-A00C-257A9997B62D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902312$E37C10C1-DF00-4E8F-8DBF-CC4BAB2BAE55","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0d0d876436d75eeb592f102d489fd8b065276ee","datavalue":{"value":"6125403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902312$996BB4DD-173F-4EA4-9827-BBA7C4222104","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79bc8909ce4636a0488fe1c98d1fee6f3e23a4b1","datavalue":{"value":"computable set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902312$89D96FC9-535F-49AD-A38F-7D64CC5739EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"156b3b19d14a4981971bef46860f4c1364f56b5e","datavalue":{"value":"Bernays-Sch\u00f6nfinkel-Ramsey class","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902312$346461AB-B625-4A41-8F75-CE05A5E72C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7932e0f0018cca5bef93fcb6b2cd00adfe91839","datavalue":{"value":"infinity axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902312$2FF51599-6994-4662-B914-3C0E6DCB9D95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"465f085b95b13610f0e4840fa8369965d610e336","datavalue":{"value":"non-well-founded sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902312$E75F81D2-B233-411F-9C94-41D2D20CCADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902312$76F4A3EE-271D-4310-85B9-1038C86713AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80f723ba2d4769ee67824ff01e21c5df9914ed8f","datavalue":{"value":"decision algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4902312$B392B731-C639-49FC-9A74-FFA21A49D4B6","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":"Q4902312$204279EB-01C4-446B-870D-85608FE612A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"619710e362280280b2a1a7c15264491299adc827","datavalue":{"value":"https://doi.org/10.1093/logcom/exr020","type":"string"},"datatype":"url"},"type":"statement","id":"Q4902312$30FB48F9-529B-4163-956F-A9B322DEA6DF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"986df42ad3793a5178887405fd87658ddc1dc091","datavalue":{"value":"W2168204748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902312$1AE60310-5367-4FE6-9B08-B926933F2252","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38ea7b3e68f09ef19af2d1920c801b2dfc5c012e","datavalue":{"value":"10.1093/LOGCOM/EXR020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4902312$EBB4BDDF-C462-48F9-A139-5BA2BB3C13DE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4902312$46D18BC8-3A41-4CA5-896D-5A664944E734","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1770b5d965b3b20800029ca33d3a1f806f26b0f5","datavalue":{"value":{"entity-type":"item","numeric-id":3172128,"id":"Q3172128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ac2d49ddd6d3a9efe70dcae90b62dc373a1be68","datavalue":{"value":{"amount":"+0.839648962020874","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":"Q4902312$8BF80F80-3B84-4808-8C08-5CAAEAEF03F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"097f67610c7895395a89d6cd8a7f7d8906044255","datavalue":{"value":{"entity-type":"item","numeric-id":3002402,"id":"Q3002402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe0811dcd0cfb657545c28c762397abee09031a0","datavalue":{"value":{"amount":"+0.8032422661781311","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":"Q4902312$303E44F1-D034-4E74-8B08-392C14039A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1755cf8f21f381c49c2ab30ab03b316bbccf1d1f","datavalue":{"value":{"entity-type":"item","numeric-id":3984401,"id":"Q3984401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f344847e72b3d7c68607902b1f5b880553ceb21f","datavalue":{"value":{"amount":"+0.7617064118385315","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":"Q4902312$AE1D25E9-AB37-4829-BCEC-B9D4BDAE3C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb59b269b0c9203da0fb29fd4e09b4c89c63ea94","datavalue":{"value":{"entity-type":"item","numeric-id":2971068,"id":"Q2971068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ef5a51a0c9a9b8a058ffe68f2c504ea77f3843d","datavalue":{"value":{"amount":"+0.7420008182525635","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":"Q4902312$CEAFEA49-040D-471B-BC38-799D772D65B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0901cd43f0ab6229abba446e08fe896770b4292c","datavalue":{"value":{"entity-type":"item","numeric-id":3570158,"id":"Q3570158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68352d9c58b41446435d8ffdc5b8ea7e9402a2b3","datavalue":{"value":{"amount":"+0.7347401976585388","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":"Q4902312$1393D00F-4250-44C2-81BF-544BA458BF6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4902312","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4902312"}}}}}