{"entities":{"Q4315329":{"pageid":6344930,"ns":120,"title":"Item:Q4315329","lastrevid":41074519,"modified":"2025-04-18T03:32:11Z","type":"item","id":"Q4315329","labels":{"en":{"language":"en","value":"Omega\u2010 and Beta\u2010Models of Alternative Set Theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 700436"}},"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":"Q4315329$C7A6C75B-4BFF-4433-845A-1E4F727B1344","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb820734266c0f652714678047aad12ca2f24db1","datavalue":{"value":{"text":"Omega\u2010 and Beta\u2010Models of Alternative Set Theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4315329$B5C214D9-1AC2-45AD-B4C5-238E815CA01E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a181a2ef0ede129ecb046d673fcf0e0bfaaa94ef","datavalue":{"value":"0813.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315329$9413CA5E-C8B5-4A38-85B7-E49CA59C06FF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f229160cda5c5550848d5e8f96f3c0c964b6e6c1","datavalue":{"value":{"entity-type":"item","numeric-id":175059,"id":"Q175059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4315329$4D18953D-7543-46CA-9714-16618D45BD25","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":"Q4315329$BAD74F3C-9484-4E92-897E-E2CB7A4CB2EA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1f45624994ac2bf1f53d8535bc357de536b6c637","datavalue":{"value":{"time":"+1994-12-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":"Q4315329$8D958604-F7BF-4056-86AC-590D51C10D70","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315329$C8EA85EA-47A9-4903-800C-F26651F99B53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315329$2592EEF6-525E-45FA-A009-0E5F6CEE9F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315329$B906095C-B3A1-43A7-BBF0-E785EB48BA6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315329$F7CD1D9C-20D6-4458-A0B4-7B532F87FC04","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1056532fcab1cbe45091252f17674afcaef88c8c","datavalue":{"value":"700436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315329$EABB6E59-B5FD-4976-BE3D-1E09579A9B70","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46294f013ed08734d0507281da00b779ea8d3ae8","datavalue":{"value":"omega-model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4315329$D77C7CF1-38C5-4E10-A80D-AD57E6BAE62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c70540ccda341cba74d21c5c10aad4efbe183281","datavalue":{"value":"beta-model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4315329$AADEE91F-F9B6-4021-8EFC-D83F1C313024","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8031329d11dc8175fb13f513fa363e742c64e9cf","datavalue":{"value":"alternative set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4315329$1117FC32-E0A0-4F7D-9A0D-7070083B19BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c5073b6c34d2341b5c3cb12ede89f6d65c628c0","datavalue":{"value":"models of AST","type":"string"},"datatype":"string"},"type":"statement","id":"Q4315329$6110BDE9-4882-42FA-B894-22A2A4AFC489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"691882f6bffb520e32d21870f6d7f203bd7192c4","datavalue":{"value":"ramified analytical hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q4315329$2AD07B3C-5C71-47DD-B84D-9062970FCC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e928ef71c0e7c501fd4e474de74400a15fc3e89d","datavalue":{"value":"second-order arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4315329$B633A8D1-E778-4C09-84D5-B394BD52CECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed43e4059810720bb2e87bba49e190c9d48b2b0b","datavalue":{"value":"regular orderings of models of PA","type":"string"},"datatype":"string"},"type":"statement","id":"Q4315329$95A1EF56-DC50-4762-8A57-49EF4FD650FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ceb46b11eee05419d20b2528de4607688d89a77","datavalue":{"value":"hard-cores","type":"string"},"datatype":"string"},"type":"statement","id":"Q4315329$8DC38CD4-4CAA-454F-8588-DAE552EF96BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e23a7746201b5735a9f56b4c66be7a033470ac5a","datavalue":{"value":"Boolean-valued extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4315329$C5910095-7C38-404C-9B91-1023504E7C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e44947699f8d978240e696a80fb19f921e479804","datavalue":{"value":"generic extensions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4315329$1BAC6DC8-9B69-4D48-8523-C0885A1B6B36","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":"Q4315329$8301FB5E-5727-4B52-9C5F-9E5F481C6345","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2b6d6ca4769c9180f881b1710b77407e30b6139","datavalue":{"value":"https://doi.org/10.1002/malq.19940400411","type":"string"},"datatype":"url"},"type":"statement","id":"Q4315329$877D8D93-3DD6-4110-83AB-48C33C3116FE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4e6fb854e5bba9cb4cc936fbd5da753dcc02e7d7","datavalue":{"value":"W2077770407","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315329$B5EBEF0C-1182-4DC8-97E3-5C2B99D1F5E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"30a17f3ee9624ddde39c8401f22dc8f1b494b39e","datavalue":{"value":"10.1002/MALQ.19940400411","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4315329$B3C4FFA8-576E-4F95-8088-A831AA84BA95","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccfc3928b3f2be68db9782446ee83b6851536ce8","datavalue":{"value":{"entity-type":"item","numeric-id":3689181,"id":"Q3689181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5b96b9b273a98038def47ee09cb4e35313292e2","datavalue":{"value":{"amount":"+0.9052204","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4315329$77CD18BC-4800-4D81-BC0F-E2996D7DEAE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faee662f4b69879f362b6733f28f2a3ae11ef824","datavalue":{"value":{"entity-type":"item","numeric-id":3118396,"id":"Q3118396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66001952a0b05a756dcfc18024a4f7e0d12d77cb","datavalue":{"value":{"amount":"+0.8980548","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4315329$7D2C0FDA-A802-42F9-8F24-32BAAF32A85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53020a8bd8672209305345534d34ef229df04474","datavalue":{"value":{"entity-type":"item","numeric-id":5108089,"id":"Q5108089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b5ce8768236139938c7c68a491625c0d9033699","datavalue":{"value":{"amount":"+0.8801421","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4315329$74BB1B34-4AF6-4F5F-AB7C-3B3FBB1EF1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"200032853886760369967fb34d032fa7001c5132","datavalue":{"value":{"entity-type":"item","numeric-id":3699685,"id":"Q3699685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"050ae198f69cc67f401e9a9c767a4d85e448122e","datavalue":{"value":{"amount":"+0.8758965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4315329$86C265F3-047E-4CA8-8A8D-1971D55093C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fae1858128fe5c009767cd1948bd600132df5606","datavalue":{"value":{"entity-type":"item","numeric-id":1208081,"id":"Q1208081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf7af20f91e0ce10362c657aed77849c06068afc","datavalue":{"value":{"amount":"+0.8599137","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4315329$6D16B5DC-5B09-4815-9655-57A8EC218CD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd0e5a0537984b4e6d07b5ffd2a6b574a1a8bc8b","datavalue":{"value":{"entity-type":"item","numeric-id":3464624,"id":"Q3464624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8238b437fc9dfe05125e1a8cfcf3840fc530787e","datavalue":{"value":{"amount":"+0.8586599","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4315329$DA7E52A1-7F19-4F40-8FFD-0E3F432BC4E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"646f65f1d91bd0d0553e2a2b1d402600877aa5ea","datavalue":{"value":{"entity-type":"item","numeric-id":1775861,"id":"Q1775861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac68321b0fbcbc32646eacc4e9cb419b43f0d926","datavalue":{"value":{"amount":"+0.85615325","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4315329$4412BDF8-B6E9-43BF-B252-C5F10279F190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"405e81e9a178afecc3e20dd8f03b0cbd5947ccf8","datavalue":{"value":{"entity-type":"item","numeric-id":3822164,"id":"Q3822164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9b802ad96abe1e6280c3cdf7c04cfbaae4f219b","datavalue":{"value":{"amount":"+0.85324","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4315329$BCFD3150-1B38-4001-B7C8-70969D8BEFF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e785bd665f46fd1969c051834b2fc299f2f596b1","datavalue":{"value":{"entity-type":"item","numeric-id":3718708,"id":"Q3718708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5e90840fe17787628ab26c29f4f8748a8c227f7","datavalue":{"value":{"amount":"+0.8496482","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4315329$B1181C12-A198-4A2B-99EE-BCF8B424D68C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04e43d0333bbeb01597b6e152477e077242ca63a","datavalue":{"value":{"entity-type":"item","numeric-id":4278001,"id":"Q4278001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59e1533a2f7171058769a3641f3e41611d373c1a","datavalue":{"value":{"amount":"+0.8494786","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4315329$8C4B88F8-F07B-48F7-9CCB-2527BA7EDBA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4315329","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4315329"}}}}}