{"entities":{"Q1409304":{"pageid":1420044,"ns":120,"title":"Item:Q1409304","lastrevid":68636796,"modified":"2026-04-13T01:05:59Z","type":"item","id":"Q1409304","labels":{"en":{"language":"en","value":"The decidability of the \\(\\forall ^*\\exists\\) class and the axiom of foundation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1990748"}},"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":"Q1409304$ABE3ED26-3921-4FC4-BE14-C3DC68C042C2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d6534ff256ac65c11ce233c8c48b51f5bfa6f312","datavalue":{"value":{"text":"The decidability of the \\(\\forall ^*\\exists\\) class and the axiom of foundation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1409304$A8B39B3B-0E11-4955-B707-3CEB4B181381","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2d44b943e1341057ccbd46568dc62b92db85f88","datavalue":{"value":"1023.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409304$3D103B37-0336-42E6-BC2B-2CD074FA3992","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3849ab0d46c656100e05f01ddd9469234252480f","datavalue":{"value":{"entity-type":"item","numeric-id":1409303,"id":"Q1409303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409304$994AA0AC-4317-49E5-862F-7462090C2B8B","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":"Q1409304$EB0C2FF6-29E2-46B0-9F86-097A9B292823","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409304$3B40C36F-61F1-4772-A45C-F2AB8367C8D1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ca5125b05e2c98c67e38c71dce31dfb7bf4b962a","datavalue":{"value":{"time":"+2003-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1409304$54F35F24-8C8E-485E-951F-485583F6C601","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409304$6C2BD065-D6BE-4CC0-B40F-7ECDC098CBE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409304$7061688F-1B10-4E7F-BC84-667177B28875","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409304$8E8C5041-8C92-4A59-87B6-D4B0B2C01351","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"405d3f65fc9115be0ebeaf7fe44efddae9ae9c51","datavalue":{"value":"1990748","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409304$9C5960C8-1CD1-4FBF-873F-111C08EDBF37","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7709a3ec77c876c282efe3584bf507e7994f864","datavalue":{"value":"extensionality axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1409304$D3B60EA5-A88B-4E86-A56E-CB18E77D29EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3bd095af09d12b682126fcb03c926b5d22023e39","datavalue":{"value":"antifoundation axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q1409304$2B5CB841-B0E2-40CB-941B-C722FEB3229B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e83db792545a3218e3147830a29873ae6f87ee54","datavalue":{"value":"axiom of foundation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1409304$622BD0E7-DC2A-4C05-A867-61F96191384C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1409304$E1063E65-BFF2-4103-B914-8045867F13B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"263805638d1e63a79a3c591e1ad14e8148fe9595","datavalue":{"value":"first-order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1409304$918F1C86-B9AA-4770-8773-B297AF98896B","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":"Q1409304$FE637C68-88F8-4427-8D99-09BA983277B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d69036cd19e8b848501b677cccdcbc81786df4bc","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1054301354","type":"string"},"datatype":"url"},"type":"statement","id":"Q1409304$E63C05AE-F7BE-4370-8D3D-EFE4B58847D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1cb2db5df5523c73b49223bfdab8ee6e4149e551","datavalue":{"value":"W1521819319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409304$52B86E8E-CCE2-40FD-A598-887E5E23F365","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"e1e63edfec4ace9ad152f78cf17fa4e9a8415645","datavalue":{"value":"Q114007569","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409304$45F41F78-D337-40D6-8D81-569AFF613351","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2edbd4db20ecbcbb1c315d5320a38ebf3acfa299","datavalue":{"value":{"entity-type":"item","numeric-id":3992552,"id":"Q3992552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409304$0BBB89DC-32F1-4842-B5BA-FBE36F840E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b23d0c361749250a939185a4c743753fd8b0ad0d","datavalue":{"value":{"entity-type":"item","numeric-id":1903592,"id":"Q1903592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409304$A5465EE2-556B-4F13-B10B-20B6EF675393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"327f3a69de23d2a3979044dcbac27209b1cb9de3","datavalue":{"value":{"entity-type":"item","numeric-id":4896519,"id":"Q4896519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409304$77787059-B123-4C69-95E7-9F0ABBD0BB5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"446f1e7359d727b7ebadf68424d4ea447292feff","datavalue":{"value":{"entity-type":"item","numeric-id":3856727,"id":"Q3856727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409304$05AEE13A-CEA7-4D88-BD0D-7C9BBC5D6A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"979352c96340e8cbcd21d74fe5e244a3db188787","datavalue":{"value":{"entity-type":"item","numeric-id":4868240,"id":"Q4868240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409304$B070FC98-497A-4BE2-B241-856245D81717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9823dabb212918d0e765e8a638018a36dddedb37","datavalue":{"value":{"entity-type":"item","numeric-id":4332986,"id":"Q4332986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409304$8DF6E389-3EF7-47B0-8E49-F09C44B5615D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecd6f14959e4a90d366e5ec21e68a99de7df9ac8","datavalue":{"value":{"entity-type":"item","numeric-id":3469099,"id":"Q3469099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409304$0702A15F-E23F-48E4-8A7E-7ED2D6230860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9362263354ec633162102a995d0ff53df5d2a42","datavalue":{"value":{"entity-type":"item","numeric-id":3984401,"id":"Q3984401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1409304$9366B240-88C3-4DCD-BA8A-0ADFD2C7CA4A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"af389a2668bf8534ab642053c6846f9fcf60d4db","datavalue":{"value":"10.1305/NDJFL/1054301354","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1409304$790D95CF-1455-4B12-B135-40F53FD89096","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2838ccccf38e0028db1679279e55a4da15c09600","datavalue":{"value":{"entity-type":"item","numeric-id":4295224,"id":"Q4295224"},"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":"Q1409304$CCCE01AA-576F-4115-9F71-EB73C8FBED6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8953b0f07ac9cd4d391604a93ffc85162063634","datavalue":{"value":{"entity-type":"item","numeric-id":4893143,"id":"Q4893143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2142913e213f285b0d2239730487499a0149a3d4","datavalue":{"value":{"amount":"+0.8501986265182495","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":"Q1409304$542F7B08-FE99-468E-A948-6ACA5767A713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c40ec3d996aec65969d419a1a0fe6f0de5b62755","datavalue":{"value":{"entity-type":"item","numeric-id":1903592,"id":"Q1903592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32159d830ee646a207e95be11c47b39148714052","datavalue":{"value":{"amount":"+0.7822874188423157","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":"Q1409304$F98D6CDD-11ED-4DEE-BA4F-10DA03F12761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dfe26a710ada800ab72a0ca14c6bf5d770124e7","datavalue":{"value":{"entity-type":"item","numeric-id":4868240,"id":"Q4868240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18907ab0701a62375449a6229296c1a1cef54033","datavalue":{"value":{"amount":"+0.7806028127670288","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":"Q1409304$F8CBA822-AA19-4D4A-946F-99981E36DDC7","rank":"normal"},{"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":"e8f3777de0cbd8023750ee1aed81e3a908413fb9","datavalue":{"value":{"amount":"+0.779188871383667","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":"Q1409304$B3E8ED43-46A8-4CA2-B46F-95F406FD575D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The decidability of the \\(\\forall ^*\\exists\\) class and the axiom of foundation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_decidability_of_the_%5C(%5Cforall_%5E*%5Cexists%5C)_class_and_the_axiom_of_foundation"}}}}}