{"entities":{"Q4382481":{"pageid":6412080,"ns":120,"title":"Item:Q4382481","lastrevid":81747500,"modified":"2026-05-06T19:16:04Z","type":"item","id":"Q4382481","labels":{"en":{"language":"en","value":"The complexity of the modal predicate logic of \u201ctrue in every transitive model of ZF\u201d"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1130661"}},"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":"Q4382481$318DF01C-F46B-4753-A67C-D67BC37272DF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f7f42297f99a747f9931177855b0a11f4c486a75","datavalue":{"value":{"text":"The complexity of the modal predicate logic of \u201ctrue in every transitive model of ZF\u201d","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4382481$F0F61ED0-4BD3-4F23-B53A-062EF8D80C80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01562ef2e15ee48e0df20adcd60234c3c18a246b","datavalue":{"value":"0898.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382481$2D629705-78F9-400E-9E9B-7ABBD6596AA7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5b0dc39a408ae8b0a95e6558cf94d6a4e0ea1042","datavalue":{"value":"10.2307/2275648","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382481$E7EC7983-3BFE-4520-BBF4-B48B33479CB1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"892a2f763853382446e3f033a390a2d640eb6e2b","datavalue":{"value":{"entity-type":"item","numeric-id":242519,"id":"Q242519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382481$A0B437BD-644B-4B8F-841D-96908A2165D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382481$C9D77815-14F7-4584-8F16-66DDA5304DF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aeab5ec812a0ca5fb5a693de9fb212e9ec6262da","datavalue":{"value":{"time":"+1998-11-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4382481$924F52E3-CD47-4AB3-A1F6-C035DDFA297F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382481$714B6020-1C0A-442B-9105-E52AD902C2EC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4716213a47a0158d551e93bf64aa38dde6ddf6eb","datavalue":{"value":"1130661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382481$9569208A-DFFB-43A0-8811-609BEBA31A5E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4675a74524331a8e00fee8d0a123bcb4e843ca78","datavalue":{"value":"modal predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382481$CC599E58-60FB-4C54-88E5-01FA162FD3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f8d8b2ba2dab9cd7a0abecc72ba85c506d4e76ba","datavalue":{"value":"provability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382481$7FB5CA95-4194-4763-A091-A107BF47FC30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33b79e24650204789e52eda5fe429c1d3d8be6db","datavalue":{"value":"interpretation of modal formulas in set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382481$5B9146A3-FB97-4C29-80F5-BF22502BF466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6de7e8430eac73ecd83176746629da572c5e505c","datavalue":{"value":"transitive model of ZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q4382481$99849FDD-86A6-4B50-B137-E9EA9CD97775","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":"Q4382481$DCBB5725-F818-4DF0-B177-06EF60E714FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1bcca46733c9109b3fb8df9bf8fc64ab918bd3d8","datavalue":{"value":"https://doi.org/10.2307/2275648","type":"string"},"datatype":"url"},"type":"statement","id":"Q4382481$CBB8CF83-4A5F-4347-8415-371E480613D6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ece8b0d4a82a3ae3359c60e19e631377eabe1bdf","datavalue":{"value":"W2062160805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4382481$E2304706-07D9-4FED-BADD-BD3153D83F20","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e103295203a369bf61068979ff5d4c91b935602b","datavalue":{"value":{"entity-type":"item","numeric-id":3768873,"id":"Q3768873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382481$D73F7122-C596-4F44-AAF3-E1D154F8BCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65af634f8ea04e9717486b98f2f6b61acf5b154f","datavalue":{"value":{"entity-type":"item","numeric-id":1235695,"id":"Q1235695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382481$1E037AC6-FF50-4C05-BFBA-C7A05E87CF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c247c8da53a6b9013b7b3bc71c9d52cb2cddf69","datavalue":{"value":{"entity-type":"item","numeric-id":5807658,"id":"Q5807658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382481$072574EA-0854-4ADB-B70C-0599AC4FF334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51e807be7eea36e041ac24afb42a1151ffdd41cc","datavalue":{"value":{"entity-type":"item","numeric-id":4292606,"id":"Q4292606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4382481$7E480E0F-C36B-4560-8452-DA26C7B11D0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bff26d453794330aab2cb8254dd7fff45ac95174","datavalue":{"value":{"entity-type":"item","numeric-id":5202653,"id":"Q5202653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b6bd2dfb2a3eb06d33054338f65e9cf4a39761b","datavalue":{"value":{"amount":"+0.8409055","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":"Q4382481$0CC2CA8F-0E10-4469-B088-D26148133056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8525532039f0cee2e1fab3d8ec9d8caf975ddfc9","datavalue":{"value":{"entity-type":"item","numeric-id":3743302,"id":"Q3743302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de423949cd0ebc3c3c4cf89649d3bdb31fac3406","datavalue":{"value":{"amount":"+0.8066378","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":"Q4382481$989BD169-0FB4-49EC-9D77-3883335A6B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18a3ccd8c089b61471fc1fef8e0c032aca7de4c7","datavalue":{"value":{"entity-type":"item","numeric-id":4694229,"id":"Q4694229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dec58d358cf9f8f55a335e877a61da48b91bb95","datavalue":{"value":{"amount":"+0.8006743","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":"Q4382481$AE52C2DB-F37A-4F39-B24D-7F2420BD9D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0b4fb6948c8f54dc67ea16bd08a699892a658a","datavalue":{"value":{"entity-type":"item","numeric-id":3731573,"id":"Q3731573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71d6f33c3af4b8f5951e8fe54291e3a35be0c8a7","datavalue":{"value":{"amount":"+0.7951343","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":"Q4382481$E5BC3FD9-E2E1-431B-96C1-B7C9066EAB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b15ca73ecf3b409250429dfafeecb0b2179e2a3d","datavalue":{"value":{"entity-type":"item","numeric-id":3255346,"id":"Q3255346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1cfec80a45b1a7125f46bea24bfb4f31db111e9","datavalue":{"value":{"amount":"+0.77455944","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":"Q4382481$296F3066-D15A-4C6B-9F53-E7119EAFDF66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5de23aebabd33253baf63deae4f5e29c291ae6e","datavalue":{"value":{"entity-type":"item","numeric-id":3809769,"id":"Q3809769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c211c471ae19a8233713930d86fde3133df1c3e3","datavalue":{"value":{"amount":"+0.7718292","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":"Q4382481$7E310ED6-C0F7-4212-8233-8FBC1F836550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dc5bc2c10736442265cd9379a24a927fb31c4c6","datavalue":{"value":{"entity-type":"item","numeric-id":4268404,"id":"Q4268404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8f519ec5a64229c7287eebd8f8f77767e0eac70","datavalue":{"value":{"amount":"+0.769073","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":"Q4382481$DD348C68-6B32-42C7-8C56-8358FA17A8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9eebde098fa59779ba3dac57a9625955a55ad67b","datavalue":{"value":{"entity-type":"item","numeric-id":4896508,"id":"Q4896508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cb7d044496b31230689768af4f69450f4f03d01","datavalue":{"value":{"amount":"+0.7622109","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":"Q4382481$B0B13A19-D334-4B93-BCE7-F6BCB958647F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d87faeaa284b7b90053468328f44d898ea77256","datavalue":{"value":{"entity-type":"item","numeric-id":3331198,"id":"Q3331198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef660e687b16bfb0f64e9284e0530733aefdd504","datavalue":{"value":{"amount":"+0.7617504","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":"Q4382481$BD490C63-448B-47BC-97CC-64C44D580E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05ea0717caa48048b072a57d2a30d88874b90315","datavalue":{"value":{"entity-type":"item","numeric-id":3786477,"id":"Q3786477"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acc01396641861091ffa8e656303dd643a9c98c0","datavalue":{"value":{"amount":"+0.7615586","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":"Q4382481$480102DF-7933-4257-9E0C-CDD8DDCBD3DA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The complexity of the modal predicate logic of \u201ctrue in every transitive model of ZF\u201d","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_complexity_of_the_modal_predicate_logic_of_%E2%80%9Ctrue_in_every_transitive_model_of_ZF%E2%80%9D"}}}}}