{"entities":{"Q5485403":{"pageid":7514963,"ns":120,"title":"Item:Q5485403","lastrevid":49906543,"modified":"2026-01-11T22:28:50Z","type":"item","id":"Q5485403","labels":{"en":{"language":"en","value":"Forcing under Anti\u2010Foundation Axiom: An expression of the stalks"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5050669"}},"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":"Q5485403$89644FEF-5641-49E4-8943-8D02D68CBC04","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eef490c6d7d76b49853105ed2f8b667af62cdeec","datavalue":{"value":{"text":"Forcing under Anti\u2010Foundation Axiom: An expression of the stalks","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5485403$25CB181B-8B24-4980-A19B-C06DB42C0585","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c8ee51d87a420e3d40f47514792401e5cf2f716f","datavalue":{"value":"1095.03047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485403$97D5183F-7B1A-4BDD-BB7D-F61E51AFB91F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a662f6b5100ada57435ceb7f809f265febd4cb20","datavalue":{"value":{"entity-type":"item","numeric-id":481872,"id":"Q481872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5485403$D368E0D7-2AC2-4F37-91BF-89FE4B7686EC","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":"Q5485403$E05E2C19-0C57-464B-95E7-9B30D00FFF31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce041d4734364c3a206df997bf620f42fb038366","datavalue":{"value":{"time":"+2006-08-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5485403$33EDF739-4171-49C8-95A6-048661975682","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"180721a89d0a54902a197925efd938803956fac7","datavalue":{"value":"http://hdl.handle.net/2027.42/55242","type":"string"},"datatype":"url"},"type":"statement","id":"Q5485403$66B499EC-99A2-4552-8D5B-30F1B2760A6A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485403$83E54B36-035D-4502-A14C-5EA414D9F293","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ade5de9b5f8ac4fa93618c0e9b5cef64dcc691b7","datavalue":{"value":"03E65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485403$E0123A41-5B52-457C-83B7-5A02869D8874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485403$6648211F-F502-4268-8C1A-CA36FF67FA48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485403$33858230-EAE3-45C3-AB50-8EB2F385EDA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"35d2882e044ebf2d3a14fabe18a1f045360ef754","datavalue":{"value":"5050669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485403$441699B5-647E-40BE-B1EC-82343C89D2CA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea5cee271a70941a8c241bacd6385c5a904da62c","datavalue":{"value":"Intensional set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485403$2520BB78-6701-4017-85A0-D9A8B6BEFA42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40e6123c877ae125532bb6ca53cb3fd2d2fe17a4","datavalue":{"value":"non-well-founded set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485403$A6C1D358-C595-4781-A6FD-C3C3749E3965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2c63de996ea82b0ba93b169c6e05df256e620fb","datavalue":{"value":"Aczel's AFA","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485403$18821A29-34BB-467F-B5B2-287B9BF44904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485403$8FCF1319-5243-47E4-B7CB-2FD0A2E97D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb3a17ee2f0c95f4af0ba9495f7673eaa83e643d","datavalue":{"value":"generic extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485403$5CD44499-0325-4227-84B3-641692B07917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"499d948dcd6af6daf3dacf29cfe63979d871fb9d","datavalue":{"value":"generic filter elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485403$2DE546E9-B36C-4A8E-9149-AC15D64000C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d9c2e1f00facc619242af9af43a4aae006f38ad","datavalue":{"value":"transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485403$F7F2A7D1-3D63-44FE-9BC5-534992D4F0F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5485403$E32B7B56-EFC5-4054-82F3-57BBBFE68005","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":"Q5485403$9A6D06F7-C8C0-4BC6-B31A-CAA36C12B26C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3958bcfe45ce4ec3692f536b8717d7c7a27aafb2","datavalue":{"value":"W2101453321","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485403$F3A36558-6E4C-465C-9766-07BEC782F1AB","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"9850ee6966ec0eb78cd3eae762acfb415e056379","datavalue":{"value":"Q114018713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485403$AE1164BC-3CAE-4EC7-B1A6-87529FAA1C66","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15c3c626db044c56ec024f04c2648a8acddb7653","datavalue":{"value":"10.1002/MALQ.200410060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5485403$04FF84A0-5F7B-4F3B-8018-326805852906","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8e1e21f2446f97ff9bb0023cc7abe1f7a49b10c","datavalue":{"value":{"entity-type":"item","numeric-id":3117780,"id":"Q3117780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd43c8d54b01a4b9655744bd8f49a2b6e2fbab23","datavalue":{"value":{"amount":"+0.8581363558769226","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":"Q5485403$7D0B150A-7DD7-48A1-A92F-1DC24B5CA8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c1cafa614fa4f077d01e96429602a412d689eb8","datavalue":{"value":{"entity-type":"item","numeric-id":2486987,"id":"Q2486987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3a5a083c863219ccff4c427e9f316b2610105a2","datavalue":{"value":{"amount":"+0.8517802357673645","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":"Q5485403$9374E3C1-D123-4B85-B481-A0385E6B570A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"626702b8fd35a0a6cac6a0f60eb770e12e0f5e49","datavalue":{"value":{"entity-type":"item","numeric-id":2209009,"id":"Q2209009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4ec4c7729027b5c43a67350266434245f70308c","datavalue":{"value":{"amount":"+0.8289268016815186","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":"Q5485403$F1EB2595-0EFC-44CA-99D7-62F0CC4C437E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad53ebad60a8b81ed146029b22073aa6d4a84866","datavalue":{"value":{"entity-type":"item","numeric-id":3629227,"id":"Q3629227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69fa8104a1a7326fa823095bffe255c918ebd188","datavalue":{"value":{"amount":"+0.7473693490028381","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":"Q5485403$816C9641-A6C6-48AF-8492-FE1D721A5EBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93ba1e3811f42dee98d58934b79d7e5f8a153792","datavalue":{"value":{"entity-type":"item","numeric-id":3990239,"id":"Q3990239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb04f8f697a01aa10aebbdf7a4938e7639bdf871","datavalue":{"value":{"amount":"+0.740612268447876","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":"Q5485403$AD521FCC-CA12-4C61-862F-9CF6C096C6AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5485403","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5485403"}}}}}