{"entities":{"Q1245007":{"pageid":1255757,"ns":120,"title":"Item:Q1245007","lastrevid":67104237,"modified":"2026-04-12T15:19:46Z","type":"item","id":"Q1245007","labels":{"en":{"language":"en","value":"Automatic theorem proving in set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3583302"}},"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":"Q1245007$2CDC44EE-DE08-4032-8B28-EC5568F47723","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"04362312fb5410c37272d80168fc3f985fc931d3","datavalue":{"value":{"text":"Automatic theorem proving in set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1245007$806F0E24-5E0D-4E8D-8E28-B7AE797C6768","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"363eba8d073cd46967884dfb47748db265f985ff","datavalue":{"value":"0374.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1245007$2975AC54-C0F4-4E33-B84D-05D954E5FFC8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3e029b4c16c07f9054330b51658c171949999fe9","datavalue":{"value":"10.1016/0004-3702(78)90028-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1245007$307092DB-E6F5-4D04-9CF3-BEB1D8F097A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245007$6FCDA9F9-8889-4E92-B014-168CAA76F11F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q1245007$3FF9239D-697D-47E9-AB54-F0360550EF75","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1245007$9A68D8AC-0DB1-474F-B156-0758EAADF64C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7f3e19226441d4b8048ce27ce815913b6ae4d5fd","datavalue":{"value":"03Exx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1245007$2FDAE0AC-D398-46DC-AA79-93C8F95208E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d8724ac1f861fd4485a474d1844744a1ace24834","datavalue":{"value":"03-04","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1245007$C54D1AC7-22E3-42EB-BAAC-8A682C91AFA5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6dfb5c7a1cbec729e5061d0dde9f7f5ae8bd007c","datavalue":{"value":"3583302","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1245007$D6B1F726-B97A-4632-8F45-C7E7697BCE1F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"98ef1d4c66aea191b2ae3b1e741369a772f394d5","datavalue":{"value":{"entity-type":"item","numeric-id":1118425,"id":"Q1118425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245007$DA72E449-BAFD-4E25-8B89-283CBD94EB39","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":"Q1245007$C7D8A973-C7B2-4AEE-BE41-5701C5B05ABE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"39ebfd9c5e642fc504727bda3cb5c8bf731abccb","datavalue":{"value":"https://doi.org/10.1016/0004-3702(78)90028-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1245007$14F077F2-F132-4825-B1AE-1C11AF72515A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83ae56ea7f44e942fd467a4326869947c85ef5eb","datavalue":{"value":"W2024311864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1245007$066B2479-EE06-4AB4-AFCF-70603F3A9A29","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f71bc9309786363536af4233148ecc001ee06f5c","datavalue":{"value":{"entity-type":"item","numeric-id":4082720,"id":"Q4082720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245007$078A0E01-40D4-4CE2-9980-9B0BA9FE7D9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"300c690b8ab084793700cf358e4aaa64ce735f0e","datavalue":{"value":{"entity-type":"item","numeric-id":1238641,"id":"Q1238641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245007$4D47D7DC-F174-44EC-9AD2-2C3FCCC6DAD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c1b079c7d185126ec0a687c39691da56b5aff96","datavalue":{"value":{"entity-type":"item","numeric-id":1253108,"id":"Q1253108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245007$9D1B32F9-0B36-45FB-9958-810AE820DBA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8073276a8916b97326b23193e92c52703810ec51","datavalue":{"value":{"entity-type":"item","numeric-id":5726943,"id":"Q5726943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245007$85B459DC-2291-4CFD-A5D7-C93AC41AFCAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041184ced68ec1bcfc7e3558db4714d4dc908858","datavalue":{"value":{"entity-type":"item","numeric-id":4050192,"id":"Q4050192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245007$D356626B-CCAA-4F13-8DEC-F0271F7BEE32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b4bf7f60c8bd680b734274b333001365a4c28b2","datavalue":{"value":{"entity-type":"item","numeric-id":5563359,"id":"Q5563359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245007$C28AE7A1-9D39-4505-9FDF-AF1C65136AEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35ab1b76c1a615c15f4ab0ff2b368f22cadd3a65","datavalue":{"value":{"entity-type":"item","numeric-id":1215411,"id":"Q1215411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245007$9C1B41B4-F107-40A7-BDAF-EE830780D365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27032a384168af742be76775ecf3c64f8e4bc37","datavalue":{"value":{"entity-type":"item","numeric-id":1215410,"id":"Q1215410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245007$4E67908C-E85D-4330-882C-1DE6E85C0F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a68541e53f8424497cd50262750e0d95a1fb2b5c","datavalue":{"value":{"entity-type":"item","numeric-id":4099230,"id":"Q4099230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245007$7532CEB1-7E8F-4C42-B687-90705856641C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2f3fe421e84c120d627e16b71d3f99eac3e3b9c","datavalue":{"value":{"entity-type":"item","numeric-id":5520649,"id":"Q5520649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245007$D60BE52A-D236-412C-9A4D-9932276CB2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40b422d2d294023b23695a8b39e822af284cc280","datavalue":{"value":{"entity-type":"item","numeric-id":5639371,"id":"Q5639371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245007$792D5D43-47C4-4E7A-A2CB-AC23633D834A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aebb937bb36aec0ca90e44ba3165ce327e365d7e","datavalue":{"value":{"entity-type":"item","numeric-id":3214440,"id":"Q3214440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245007$0100EDAA-4247-4C86-9E4D-B245B9E59419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd7ab8d41a837f9d187c27f6a8681e110fbd1095","datavalue":{"value":{"entity-type":"item","numeric-id":4050190,"id":"Q4050190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1245007$25C7C959-B027-4653-B35B-89F25F04BF2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic theorem proving in set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_theorem_proving_in_set_theory"}}}}}