{"entities":{"Q6831463":{"pageid":15517425,"ns":120,"title":"Item:Q6831463","lastrevid":84297089,"modified":"2026-05-14T19:25:28Z","type":"item","id":"Q6831463","labels":{"en":{"language":"en","value":"Implicative models of set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8183026"}},"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":"Q6831463$1E9C92CD-212D-419D-826D-0939ACBABCF4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1a9d791d28aa3be399817a20cf1ce462b69cc68d","datavalue":{"value":{"text":"Implicative models of set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6831463$81221594-8BBE-4C57-AE15-A214AAA61717","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1e8f9c912456dd447a71a273a58a53d419ad821","datavalue":{"value":"10.46298/ENTICS.12426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831463$9BFC1B4E-4BDA-46A3-AB0E-AE7CA482EC15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6081bfbbb83793d494afc06884c66bee72821c4","datavalue":{"value":{"entity-type":"item","numeric-id":1756494,"id":"Q1756494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831463$E69CDB09-48AB-480C-BB42-592F5E03C5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0842fcbe111f9be8377f324c26e11a51d0a9daee","datavalue":{"value":{"entity-type":"item","numeric-id":2482839,"id":"Q2482839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831463$030AF56D-3DFC-4D68-A4E2-427589FEE878","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ef22be3cab946a9eed3cd714b0a97bde62752794","datavalue":{"value":{"time":"+2026-04-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6831463$A278A833-23C0-44A4-BDAF-1F5DC3493B27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831463$F5BB51B3-2788-49EF-9A36-B8B3F59C5F57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831463$F17F7C8F-D617-4A86-B395-920AA6BD6A1A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"82fbf1071a9b46aebfc3d4dddfb8608a8f783029","datavalue":{"value":"8183026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6831463$26B277B0-DE70-4C39-84C8-294F850893A5","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831463$B9422322-4F58-4C13-9E35-0CEBE9D55E81","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3591d6d9ed0d3e38f73b7d023c1a6088f341308d","datavalue":{"value":"implicative algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831463$2AB26551-B829-4E77-8BC2-696A8F24E1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e37866d59054fbcb412b5a79587373c00897634","datavalue":{"value":"intuitionistic and classical set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831463$3D813EF1-5451-436E-9F09-9A0B986F676D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b75bdc75432e86a2c63274d60bc4eb52bb0ca25d","datavalue":{"value":"tripos","type":"string"},"datatype":"string"},"type":"statement","id":"Q6831463$35E0027C-C6CE-4BC8-9C72-80B309502F9A","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":"Q6831463$E12E5885-2BED-4CEC-9594-EF75146B1E99","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61472697d4f2ac5261ad04740698680696d17d80","datavalue":{"value":{"entity-type":"item","numeric-id":4146730,"id":"Q4146730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831463$1B50382A-F642-48EB-9286-550D489213BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14b5b9007850317fc815a8ffc19ad20c699f0c70","datavalue":{"value":{"entity-type":"item","numeric-id":5498681,"id":"Q5498681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831463$70631DD9-1769-48DF-9A74-2BA74130C237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97535c16ff9110182a78f8ecf62c340fe59baa5","datavalue":{"value":{"entity-type":"item","numeric-id":5586268,"id":"Q5586268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831463$2FEBC1FD-3292-4071-821B-845E38FEF48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"889c98b06b71353ead9711d9cef7ccbd6f932035","datavalue":{"value":{"entity-type":"item","numeric-id":3214890,"id":"Q3214890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831463$9B1BA7A7-214F-48C0-9F07-8D0DEBA4CA76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c1978a037b7ad6102f87ad7f2d924dda9eb813","datavalue":{"value":{"entity-type":"item","numeric-id":3897050,"id":"Q3897050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831463$D38F74BA-7266-46A8-A075-CABC7BFC0E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f231c78aee0a9996d37683e0e5678e6c7352ac95","datavalue":{"value":{"entity-type":"item","numeric-id":5843995,"id":"Q5843995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831463$08CD7638-C06D-4EBC-A763-A8F6A9717679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b75dd3fb8b48431eb9ad5b02ce91286f91c46a4","datavalue":{"value":{"entity-type":"item","numeric-id":5945009,"id":"Q5945009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831463$CA1B11ED-660C-4F97-A1EF-C2933A62DAA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a6ae770783aa142e6dd68c83f480feb4b97dec8","datavalue":{"value":{"entity-type":"item","numeric-id":3075442,"id":"Q3075442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831463$FD63DF21-D4C4-41DA-9FF1-2A37D9F6A79F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"31b40679641f16410d40f78d2866535cc8e592da","datavalue":{"value":{"entity-type":"item","numeric-id":3224668,"id":"Q3224668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831463$E7393B0B-32F8-4EC2-81E8-077AE82456FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ac1d404143589372d7b9efbbb23dc7c5621d0e4","datavalue":{"value":{"entity-type":"item","numeric-id":2881077,"id":"Q2881077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831463$511B1FA7-28F3-41D7-8385-3152EBE99DCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32379f6858807f921d5c9d933739ada477c24c52","datavalue":{"value":{"entity-type":"item","numeric-id":5139288,"id":"Q5139288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831463$AD5F31FC-2391-4E5B-BF6F-0D20EC17C9E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebffbaf957cdf17571259395f86a4620d88c4598","datavalue":{"value":{"entity-type":"item","numeric-id":3671153,"id":"Q3671153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831463$FD6BCB72-EC6E-4DE8-BD26-914ADC643B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"671748bdbf3485d76506ac3d76514486f29858dc","datavalue":{"value":{"entity-type":"item","numeric-id":5410238,"id":"Q5410238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831463$4B88057F-00CA-456E-B81C-2CD2C07DDA91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb99eb66c25fe4c4058c32bc65bca0017ab853cf","datavalue":{"value":{"entity-type":"item","numeric-id":1011333,"id":"Q1011333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6831463$C0A21F27-F06C-4782-8EB4-6FBB830BC2E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Implicative models of set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Implicative_models_of_set_theory"}}}}}