{"entities":{"Q1171567":{"pageid":1182316,"ns":120,"title":"Item:Q1171567","lastrevid":66426186,"modified":"2026-04-12T09:59:41Z","type":"item","id":"Q1171567","labels":{"en":{"language":"en","value":"Constructivizations of Boolean algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3786764"}},"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":"Q1171567$734E1BC4-CB58-4103-96A0-6A1D4442DC62","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"009759119bace9cfab255b87646ef1eec3e801de","datavalue":{"value":{"text":"Constructivizations of Boolean algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1171567$EA53C4CB-07FD-4381-80E7-E4540C214E7F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"09efea7b189c17b0d00c02708cfba9cb0997dfd0","datavalue":{"value":"0499.03034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1171567$91EC9B54-3E52-427A-A58C-38C46048211E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e38b89226a6330fd12509174689463eccbefc590","datavalue":{"value":"10.1007/BF00967767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1171567$55302324-8205-4428-9975-0B9528898698","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"61db58adbdfd69e4efef1201cb3d1298d7fdae94","datavalue":{"value":{"entity-type":"item","numeric-id":178377,"id":"Q178377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171567$93899BB8-8ACC-409B-BAC9-75B44B8032B4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q1171567$5A8CB6B7-2992-406E-B4DB-A5366FAA790E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1171567$FA81A35F-7952-488B-85EE-069F13D345D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd1ebd9dd665e7350d17a40eafa30f7b99b8c1e0","datavalue":{"value":"03C85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1171567$6DED8AED-90B7-4DDC-86B8-DC0A8B09684F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1171567$94B46E97-5DB0-4CC9-86CB-34D7B0D65853","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b96e7fb5f4dca4bb1f670c8990554767bb4a781","datavalue":{"value":"3786764","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1171567$BEEAAF50-95DA-4A70-AB45-6B92089F4657","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"84af04aed41ee5db888075e8fb6387024f0fb807","datavalue":{"value":"decidability of second order theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1171567$572FDD44-4ABF-40FB-BB69-281F20D92A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80109c30a19562d6f3dccd4075e3c8228192236d","datavalue":{"value":"recursive ultra-filters","type":"string"},"datatype":"string"},"type":"statement","id":"Q1171567$65ABA480-B362-4942-9DEA-D50B7A45C1A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e37b70c1c156ca795db15295b6a9eec87e7b4908","datavalue":{"value":{"entity-type":"item","numeric-id":307878,"id":"Q307878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171567$35838EC8-FEC0-4240-8C2E-507DD1188112","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":"Q1171567$8D17ECDA-68FC-4C53-900B-702ECD71D637","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fdcce8a80783b48117fed0be505e92a96f569d8","datavalue":{"value":{"entity-type":"item","numeric-id":1846417,"id":"Q1846417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171567$E78C5C08-885C-4F65-9E66-9A2480F860F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b476279f9ef74fddb27272ad70ec34f0a4ec2a74","datavalue":{"value":{"entity-type":"item","numeric-id":5625141,"id":"Q5625141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171567$20F895BC-2424-4FCE-9A8F-27BB891BF512","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87f085a1b58cd8bcb7d30fbd3ed547f79e107291","datavalue":{"value":{"entity-type":"item","numeric-id":5608006,"id":"Q5608006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171567$63BDB3A2-B13D-4490-905D-BFA78EF180E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82154e66a2e8fea69e3328eced4f67343c9f4c7","datavalue":{"value":{"entity-type":"item","numeric-id":1214411,"id":"Q1214411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171567$CAEA38E9-34AF-4128-BCD7-1D2FC8630AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dc65337b9073787c4e2d6b54fdee87b396d178d","datavalue":{"value":{"entity-type":"item","numeric-id":3872430,"id":"Q3872430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1171567$C74648FE-C2C2-4D51-9CEF-15EFF5C01707","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d7a471e2feae3c7410b811fec91fd9862bd6abc","datavalue":{"value":"https://doi.org/10.1007/bf00967767","type":"string"},"datatype":"url"},"type":"statement","id":"Q1171567$07D2405C-60BC-4628-9991-645BA48A08FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e78223f0ef3f4518fc421dc191fda7183dd31586","datavalue":{"value":"W1992929346","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1171567$50B20F74-6775-4BD4-9656-1A6F808842C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Constructivizations of Boolean algebras","badges":[]}}}}}