{"entities":{"Q4723725":{"pageid":6753302,"ns":120,"title":"Item:Q4723725","lastrevid":90069089,"modified":"2026-06-04T19:01:18Z","type":"item","id":"Q4723725","labels":{"en":{"language":"en","value":"Boolean\u2010Valued Models of Set Theory with Automorphisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3995663"}},"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":"Q4723725$867E4DC6-1672-4CAE-A1BC-D715B531C0E7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bff090301c8152a9d8f754d2a902ba36a6405098","datavalue":{"value":{"text":"Boolean\u2010Valued Models of Set Theory with Automorphisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4723725$83B2EA53-8D7A-4792-BE06-A443A43C4441","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09873f6f8e5a4ee2f6ad74d20d2d720b0299188a","datavalue":{"value":"0615.03039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4723725$F7B3D069-7CDD-41B2-AAF3-2DF051737CD5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89cde15847a0e064ee36f88e213c2f6e4c110fb7","datavalue":{"value":{"entity-type":"item","numeric-id":4723724,"id":"Q4723724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4723725$70F0C671-8076-4A5B-96CB-7AE71BAFE243","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":"Q4723725$BE591B7D-EDB2-4CF4-9F38-9C270F426F3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4723725$E971C260-82BE-47AE-857B-452E9E9BB576","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"98885bd1c25b8006ce085f2a50fc8ac0c1b6bdcd","datavalue":{"value":"03E40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4723725$0B8FB4FF-A4B3-4D5B-9E48-AF06A01DF9E3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f867c37c53fb7a3462ca1ed663638593c2fcafac","datavalue":{"value":"3995663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4723725$D969D939-E436-438B-A5D0-169E7979D784","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fbe02fee51cb0537209c3f6b09fc2fb0eb8831d","datavalue":{"value":"models of ZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723725$37FABEB8-C613-4B6F-95E6-F06F59878477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a264255ff94be2c6b534b8161d1dd27fad409091","datavalue":{"value":"non-standard model","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723725$5314FFF7-E4CE-4370-A77A-A09C2A5A8687","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7ab80b54161cbbe08693183b2a07eb2f706d9ec","datavalue":{"value":"models admitting automorphisms of any finite order","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723725$02DEE7A2-5F27-4285-BEC8-19FEC76FADC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0432d965a31cea7acbf98425becf9815c9633902","datavalue":{"value":"Boolean-valued models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4723725$C9FEE8B2-F8D8-4030-A847-85D34D347FF3","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":"Q4723725$782D084C-D1A6-480E-A9CF-293D8DA1FE86","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc551c1837b84c78a990585d9acf0a72ae473e79","datavalue":{"value":"https://doi.org/10.1002/malq.19860320704","type":"string"},"datatype":"url"},"type":"statement","id":"Q4723725$E0366441-F741-4BF4-9AE6-F417F89937E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6df3cb1bc71441d3b2598addf5af05d0f15579be","datavalue":{"value":"W1984881888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4723725$AF2D9E1F-FECD-48A9-AF05-C191F90ADB08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f649c896f4ed8f44859786ef09cd75baa912dadb","datavalue":{"value":"10.1002/MALQ.19860320704","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4723725$19FFB977-8B04-433D-B1D3-9FDBF85CA856","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4354ba00d51cfb1f67fa92380b25d222249530e6","datavalue":{"value":{"entity-type":"item","numeric-id":4536045,"id":"Q4536045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ce907a30320026405c24d1735e33eec45568b28","datavalue":{"value":{"amount":"+0.7610862255096436","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":"Q4723725$E2A89DF0-7F46-40BE-8854-72A047B1AEC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f2b3e882474e365a915e3758163cf02c1102b4c","datavalue":{"value":{"entity-type":"item","numeric-id":4722065,"id":"Q4722065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df698467e36abfe7d7142c6fa6b400080da354b7","datavalue":{"value":{"amount":"+0.743604838848114","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":"Q4723725$A3885EAB-25C1-4847-86CD-68B14E4B8E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9570747a6372015312a4bb7b5c7ca840f9653f3","datavalue":{"value":{"entity-type":"item","numeric-id":3581791,"id":"Q3581791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2ad9018e30bac972e80b424a0fbabd429447fff","datavalue":{"value":{"amount":"+0.738341748714447","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":"Q4723725$9C141D73-6934-41FA-9776-E85D4DBE0F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad7c807bf7db9e52a2cc8caf9adb9cf04778d605","datavalue":{"value":{"entity-type":"item","numeric-id":1078560,"id":"Q1078560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"948c9fee39dd9f0444911b6ba9f9efedb7bdf0f7","datavalue":{"value":{"amount":"+0.7289329767227173","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":"Q4723725$60D5E8FF-EAE8-48DB-A1F3-20F81C0E74F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a01f4f69bcfffb98a7d77f1df3f37c28d0d22ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3770523,"id":"Q3770523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"845de319444b7945b9f1c006fd10d9d1eab008d2","datavalue":{"value":{"amount":"+0.7277863621711731","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":"Q4723725$84B6B6BC-6FD9-43F7-8EE0-DF45987C3A3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Boolean\u2010Valued Models of Set Theory with Automorphisms","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Boolean%E2%80%90Valued_Models_of_Set_Theory_with_Automorphisms"}}}}}