{"entities":{"Q4295224":{"pageid":6324825,"ns":120,"title":"Item:Q4295224","lastrevid":47248624,"modified":"2026-01-01T03:15:54Z","type":"item","id":"Q4295224","labels":{"en":{"language":"en","value":"THE DECISION PROBLEM FOR RESTRICTED UNIVERSAL QUANTIFICATION IN SET THEORY AND THE AXIOM OF FOUNDATION"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 584625"}},"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":"Q4295224$20180494-5A02-4784-A3E7-E93269549ED0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e01bb22e8102f781f6b62add1460140ff77ebe83","datavalue":{"value":{"text":"THE DECISION PROBLEM FOR RESTRICTED UNIVERSAL QUANTIFICATION IN SET THEORY AND THE AXIOM OF FOUNDATION","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4295224$13F4E069-FB57-4655-80FC-94FDF7C98614","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2c51d738d3058b34b94d17efbb2cb90ac335dd37","datavalue":{"value":"0794.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295224$A2D80E42-68B1-49B5-B883-596252F3852A","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":"Q4295224$9C4441A2-A478-4569-9678-89CB195D136B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"72965f6c67a117f5726e1f872e608077b885bec2","datavalue":{"value":{"entity-type":"item","numeric-id":810493,"id":"Q810493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4295224$D848497B-F127-4E83-B662-0C4B29976291","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":"Q4295224$E29798B8-F45E-4B31-B04F-4E23EAE57802","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df2b8e46ac1e94f829232a703f4e6301f8702507","datavalue":{"value":{"time":"+1994-07-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4295224$4D29C373-3421-40C4-A59E-D48A01BF9E72","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295224$DB1CAC31-918A-4FAB-B7AD-421EA001841B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295224$C4A24747-0842-4421-A191-FCF0D437E861","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"743230f51a0dfc553af7fd09f1b9e6291cd61fb1","datavalue":{"value":"584625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295224$12D2B5B2-0890-4B84-B115-551535EECC30","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e83db792545a3218e3147830a29873ae6f87ee54","datavalue":{"value":"axiom of foundation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295224$AED73961-B006-4E9E-BDFE-391ACF51619D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d5ae4ceab02986ed8cc09e3f17503bcae3e9668","datavalue":{"value":"finite set-satisfiability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295224$7A9C26F5-06B4-459D-AE80-9FC4CAE6A105","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83cafbd8837751597555b0f4a9fc080f12a1da03","datavalue":{"value":"infinitely many urelements","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295224$5B13CEDC-10DA-4EE4-94D3-8EC2A4E09D14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4295224$81E1B90A-73CB-4DB0-AF86-DD1CD4783159","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":"Q4295224$360D6565-C152-4788-8BC4-F5ACC59052C6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dca615dd4625e03b35e6c3e346d8cd836f7fad37","datavalue":{"value":"https://doi.org/10.1002/malq.19920380110","type":"string"},"datatype":"url"},"type":"statement","id":"Q4295224$67C0AB8C-5E6E-4719-A58A-810535DDFF17","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d91618b4ab02ec0d755d5aaa45e609293dd99f1f","datavalue":{"value":"W1977107423","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295224$2A464566-1A46-4A30-9CC6-D09060EE51F0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a8c7d01412f4e72f5280fd3cb84f58102fb84bd0","datavalue":{"value":"Q114696417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295224$421165B5-D584-4531-80AA-E58002035A24","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"edc8a34ea89a3b36162677234e80b8f3affaf1b4","datavalue":{"value":"10.1002/MALQ.19920380110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4295224$DB5055AA-CC42-4646-91C1-658CFA077426","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c89b0b34b0720122c69a6bc4cb39e7824b1ea57d","datavalue":{"value":{"entity-type":"item","numeric-id":4291741,"id":"Q4291741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dabe7ad701099394cf7a4782dd59dbb2472bc287","datavalue":{"value":{"amount":"+0.8617262840270996","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":"Q4295224$7E746C55-6829-47C4-AC0A-2C631D33FBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5822ce399327b3d661239d498b3d772a9f8f0e8a","datavalue":{"value":{"entity-type":"item","numeric-id":4731166,"id":"Q4731166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05ad50adf92cc2a4f59b2df6e0660697d4772d03","datavalue":{"value":{"amount":"+0.8568041920661926","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":"Q4295224$8BF56059-FCA6-407F-AF6D-D6F0B8889E32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02bda844900687dbf4000b59db176519df0e2d91","datavalue":{"value":{"entity-type":"item","numeric-id":1409304,"id":"Q1409304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bacd16dd7d6081fc4ce5142eb69a2bc9e7511ad4","datavalue":{"value":{"amount":"+0.8505904674530029","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":"Q4295224$5478A462-EB6F-4EBB-B71B-AF6773C7D70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60b00271b24f47d225c4f196d3f4765427eb3d31","datavalue":{"value":{"entity-type":"item","numeric-id":810494,"id":"Q810494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63f1177742373de4c96ff053f6a837654310d676","datavalue":{"value":{"amount":"+0.8206112384796143","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":"Q4295224$BAC73479-3A32-47BC-AFCD-7C6F002CA41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a45de1b41a90075e993e68180f701cd4671dd1ed","datavalue":{"value":{"entity-type":"item","numeric-id":4884668,"id":"Q4884668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa401708bde0cf2c4a443e4a69095231ba5251c5","datavalue":{"value":{"amount":"+0.7916920781135559","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":"Q4295224$EE164797-2810-4966-B9DC-8A41CEAB815D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4295224","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4295224"}}}}}