{"entities":{"Q6488540":{"pageid":14067309,"ns":120,"title":"Item:Q6488540","lastrevid":47845654,"modified":"2026-01-02T20:57:16Z","type":"item","id":"Q6488540","labels":{"en":{"language":"en","value":"SLIM: An automated reasoner for equivalences, applied to set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7680815"}},"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":"Q6488540$33C7EE37-0BE6-4298-87CF-EE16CFE3838A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"40860db8fbdbf1a77d67a2a7b683dd5278d90970","datavalue":{"value":{"text":"SLIM: An automated reasoner for equivalences, applied to set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6488540$5193BB87-7652-40B4-BE5B-AAED452F9089","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c70b33aa246c537afc83d18d2a295ecd5d6ae535","datavalue":{"value":"1509.68313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488540$550F58CF-0E94-45C2-9011-1BC3947187AB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad0ece97daa3160da767984f96aba0b36fdbd889","datavalue":{"value":"10.1007/3-540-52885-7_96","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488540$84EAB422-9CDF-44A2-A91B-D51FEC0D33F7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2fdcc8ebcac4e0102298ad285370d52593f77d0f","datavalue":{"value":{"entity-type":"item","numeric-id":6488539,"id":"Q6488539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488540$03922FDC-1548-4485-BAA0-0FC7DBA4E2B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"30bf4c979a904132ac28909e79b707831f730270","datavalue":{"value":{"time":"+2023-04-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6488540$9D9E8F90-6DE2-4EE2-919E-76B8A8442B30","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488540$B29816AA-B3EE-4A2C-A559-232CAD6FB81E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"17763f39d928d56ef4081eb9cbb67fb71c0baf0e","datavalue":{"value":"03E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488540$79F32A2D-022D-48D3-B083-31D3DA4ECD57","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"daf60445a6110427afa1225d81bbe9406aaaa3c9","datavalue":{"value":"7680815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6488540$1F65A1D1-0DE2-46F3-A529-FF7DA4588824","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":"Q6488540$7E3D2A4B-F8B3-497F-A133-AB303773452F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e857e95d91a8e9f3746c9aca423c534197fa21d","datavalue":{"value":{"entity-type":"item","numeric-id":1238434,"id":"Q1238434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488540$3A3FD0B5-A1F5-42FE-9E6D-22B80277874A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ccba0bbd9daf5d687a63a4dadd7212bd0602fccb","datavalue":{"value":{"entity-type":"item","numeric-id":1245007,"id":"Q1245007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488540$67C7B8FA-49A8-4F29-9499-A524F9DFFF7E","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":"Q6488540$9CFC4B82-BDEB-4C01-B748-2885229E074A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d04e0ae9e73cb62093e970ad4a43cf053d2a6428","datavalue":{"value":{"entity-type":"item","numeric-id":1118426,"id":"Q1118426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488540$DF85B79A-557A-4B3B-9AD2-0A2499AC1FD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0aefa01969c4c5ab3568e4445e95ff48e256399","datavalue":{"value":{"entity-type":"item","numeric-id":4095910,"id":"Q4095910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488540$FB22F327-785C-475F-BD28-AFF447277ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5611a6f60e59f1388392174f8631ce9b0f98d8","datavalue":{"value":{"entity-type":"item","numeric-id":3789107,"id":"Q3789107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488540$F15D5CFA-9F11-4F0D-8AA9-F669335F863F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47bab4f7d1b2661e9a9ca3ddc35e5a57311ad582","datavalue":{"value":{"entity-type":"item","numeric-id":5507985,"id":"Q5507985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488540$93377A3F-9384-4016-BB12-E4881600D47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9fed5699a4ce8ef2efb72d242bd53e45b328672","datavalue":{"value":{"entity-type":"item","numeric-id":3265769,"id":"Q3265769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488540$FCE27077-50C9-405A-A253-6246CA227ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed4e2b73edd0e2661ebb75822eda29ecb9eb63a","datavalue":{"value":{"entity-type":"item","numeric-id":3906484,"id":"Q3906484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6488540$2A2F2CF7-7BBD-4831-95C8-BCB3CB5F3E7C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66135f893d4a75127e6df02a82f70daa776f8acd","datavalue":{"value":{"entity-type":"item","numeric-id":3491004,"id":"Q3491004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2d146d2b8ec4830d4b7f7fe92d9bdbefbdad3d41","datavalue":{"value":{"amount":"+0.854363203048706","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":"Q6488540$2CD12010-DDA6-45F7-AEB3-D2096C615F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bb0d0ae59343cb96fca8d4fd6b3a0b5b6181400","datavalue":{"value":{"entity-type":"item","numeric-id":3682462,"id":"Q3682462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74a7751fd6102f72dcce55ae592fb96d5fcca75a","datavalue":{"value":{"amount":"+0.7247854471206665","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":"Q6488540$8C079FE8-0512-4370-A4AF-986B3D279C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f65e939d0926d8862e16c30d45424599235bc7c","datavalue":{"value":{"entity-type":"item","numeric-id":3748267,"id":"Q3748267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e85be17833f22a3f01e05d8a55f425dba7c39c0","datavalue":{"value":{"amount":"+0.7123998403549194","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":"Q6488540$D48C79EE-C055-4B40-B951-89CF6991CF3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2735f4a7395cc827f99a97ae68d5ceac0969424","datavalue":{"value":{"entity-type":"item","numeric-id":1159599,"id":"Q1159599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b6cb7df6e7cda5995a8661cce0a991ac70224c3","datavalue":{"value":{"amount":"+0.7092490792274475","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":"Q6488540$3566B3F1-93B1-431B-ADC6-29510D3D22FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77229aad62351eaf3942d148080cf5957561f26c","datavalue":{"value":{"entity-type":"item","numeric-id":3829089,"id":"Q3829089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a22395d4a9729ccfa99beb3827c39f07f59e121","datavalue":{"value":{"amount":"+0.7005749344825745","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":"Q6488540$EC74BD3C-0FE1-4DB7-9BB7-F2FB39F4AF3E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6488540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6488540"}}}}}