{"entities":{"Q4395612":{"pageid":6425211,"ns":120,"title":"Item:Q4395612","lastrevid":40777589,"modified":"2025-04-04T16:09:50Z","type":"item","id":"Q4395612","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1163985"}},"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":"Q4395612$56983E4B-49A8-4A5C-A994-8A95BE97E48E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0b0d7de72bad4413c8771bc9625568dad85e5657","datavalue":{"value":"0903.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395612$50CBA5AD-4894-48C1-8D43-A687AF351E17","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d75c8972e3f2f65d76ef5c0db6d9fd21365ddf3b","datavalue":{"value":{"time":"+1998-12-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":"Q4395612$329096DE-E08F-4921-9BBA-1C751663C85F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395612$62F44229-559C-4D52-A0CB-7B1EAD2A2425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395612$473BC544-E60F-4476-8D7B-D89A6C5AEAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395612$3EFFA29E-6BBF-4492-967F-BCCEE57E0985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395612$84C9BF06-B9AD-4F6E-83DC-57049A302EF9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a344af472318a88feee8839376ab38b3f9a0bfdf","datavalue":{"value":"1163985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4395612$751EAA30-AA2A-4F5D-BB57-A73393E741FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d69d0416caebb948f944a52716e56e0092e60f1","datavalue":{"value":"Bounded Set Theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395612$CCA4FE94-FB8B-4D01-A8EC-BD9BA5A3F9C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7022295673d790c0110dafbab0825f266a8aefb","datavalue":{"value":"provably recursive operations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395612$1447FF16-A8D6-4AAE-BF41-F67AED094993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e32f9d4b5f63b30cc69a54dbde0078111ed933e7","datavalue":{"value":"explicit definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395612$52BC102D-3E80-4879-9A13-68A50E7C0A8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4108cecd289b9cafbcb28752da70c2315de2efa0","datavalue":{"value":"conservativity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395612$FA72A0A3-DE82-4A86-A414-4EE847BECC96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"010a30c9fd184d9957e3d6291cdc477f9d2ddf86","datavalue":{"value":"Anti-Foundation Axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395612$B10D0968-7DC3-4729-AA9D-30C3C7AE7F84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff8467b19ee43d9fb6037b3b0677696181a793d","datavalue":{"value":"Logic of Inductive Definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395612$639E6AB3-CB08-4A52-9BBF-656B496E6235","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f9beac1441e21cb8e8488070cb5ff1e667164c6","datavalue":{"value":"Finite Model Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4395612$D2E2852A-A603-45E8-BDC5-2ED8A58DC719","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f97442067587f34561e1b330380ce554ed3a639e","datavalue":{"value":{"entity-type":"item","numeric-id":1311972,"id":"Q1311972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4395612$971DC899-C721-4111-9623-4AF3D72133CD","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":"Q4395612$60F06A3B-486C-45CA-8A34-55A1A10D32A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961f4ce2fdcf409469f188466dd007ea4f167d9a","datavalue":{"value":{"entity-type":"item","numeric-id":4894675,"id":"Q4894675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93e3bdd84778f217bd0fbbeb427651d02f128c8d","datavalue":{"value":{"amount":"+0.951854","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395612$C42A08D8-C1BC-4943-987C-7DCD6DD8BC0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e628683d521a5572a49b2d42d53a74729e2bd91","datavalue":{"value":{"entity-type":"item","numeric-id":6047677,"id":"Q6047677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78b550f6a6780ed3721c749329f5ac970316952b","datavalue":{"value":{"amount":"+0.9469748","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395612$938A9780-51E9-4CE1-AEC1-49D43C2D577C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c7af941938b42d3199399a315b8a181051650e1","datavalue":{"value":{"entity-type":"item","numeric-id":4724733,"id":"Q4724733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4349e95139a4705708fad6695714fcf9d6827568","datavalue":{"value":{"amount":"+0.925984","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395612$F1C1C27D-538C-4869-BE6C-3EA9623DCE05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dd7af83872c4037663616b695e7b36e2d25b1c0a","datavalue":{"value":{"entity-type":"item","numeric-id":1038653,"id":"Q1038653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc29e5ec5df85b7dfda727c2e5e5df50d932c00","datavalue":{"value":{"amount":"+0.923605","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395612$D7A2A236-8E10-4C68-8FF6-D47C609FA191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326ff1aee7edf9fb2c009b21cdca0858cfc66157","datavalue":{"value":{"entity-type":"item","numeric-id":4202936,"id":"Q4202936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d9efc7411a6e9cb42dc49a26e380f6ebdd9a585a","datavalue":{"value":{"amount":"+0.9192184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395612$A5BC660F-98F1-4155-8FC7-13B9080BC300","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c2a3759e8d25fff82a3ad9aac1dae0615f35086","datavalue":{"value":{"entity-type":"item","numeric-id":3027009,"id":"Q3027009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60ac41d2ec25dcd9964e01773f645a64ae52b13e","datavalue":{"value":{"amount":"+0.90591013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395612$E72D35B9-F051-4FA8-ACBB-26D3DE2FE72B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf17e938e943f76bfc241d20cbca2a6cb012e6e2","datavalue":{"value":{"entity-type":"item","numeric-id":495207,"id":"Q495207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"620e496ba3ab5310f68f8a81c8ac7f3ab5c277cf","datavalue":{"value":{"amount":"+0.8920541","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395612$68D90446-B739-467B-8C0D-1B3A2F6097D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac9120874beb0c4a3a8747a5bd920dc30507ba2a","datavalue":{"value":{"entity-type":"item","numeric-id":4383386,"id":"Q4383386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be811945bf28d8bd8f3e1cc96b01027352bfb821","datavalue":{"value":{"amount":"+0.8906783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395612$8F306F7D-5434-4DC1-90BC-2B345C32C2FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0ffa9535e4b1de7d50fbec655a4a1d1b9e178e8","datavalue":{"value":{"entity-type":"item","numeric-id":5558900,"id":"Q5558900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a23f3bd85cc7e0259a8841ddd8d4cbd613ca5ac6","datavalue":{"value":{"amount":"+0.8905678","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395612$5CEC97C5-4BF6-4C3B-9969-65E67C9DEAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e162848bcf2256b9afa777d7e314eec68dbc7475","datavalue":{"value":{"entity-type":"item","numeric-id":3568261,"id":"Q3568261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc607694af474326538edec1915cd53f2e785a07","datavalue":{"value":{"amount":"+0.88947964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4395612$80E4DE5F-0CD5-481A-994B-741DC7734652","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4395612","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4395612"}}}}}