{"entities":{"Q4628488":{"pageid":6658070,"ns":120,"title":"Item:Q4628488","lastrevid":53382263,"modified":"2026-01-24T20:52:04Z","type":"item","id":"Q4628488","labels":{"en":{"language":"en","value":"Isabelle formalization of set theoretic structures and set comprehensions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7036050"}},"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":"Q4628488$284C1320-8BB1-4A15-8728-37A7834D609A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8512a0dc2b91ba498da0b0fb37eeb3a65a074e7","datavalue":{"value":{"text":"Isabelle Formalization of Set Theoretic Structures and Set Comprehensions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4628488$FDC551F8-0A49-46C3-B6EA-A6153767D5F1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"53494997fbd9de1f3da41a345ab92798c7499600","datavalue":{"value":"1497.68547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4628488$98A6C6B5-68A7-40FA-B2F2-9C305F093DBA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"abd5c043c5ef78fb584d8627f467f1e7bb9b8def","datavalue":{"value":"10.1007/978-3-319-72453-9_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4628488$798A6045-88F4-4932-B5A8-537355ED1465","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad6a046b48bbe4ab777309f1d5c19b5fc7dfbda","datavalue":{"value":{"entity-type":"item","numeric-id":286799,"id":"Q286799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4628488$BEB9B3BF-9A9A-4B21-946D-092DFF50C48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"91705e7e82173950109985f05602a2e2cc8516e0","datavalue":{"value":{"entity-type":"item","numeric-id":286804,"id":"Q286804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4628488$9D0D21A0-E4C5-461C-8D69-4D9EB8F56776","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ca0d52ac5bd82e1d2f3745383ba9c8f2eda53acd","datavalue":{"value":{"entity-type":"item","numeric-id":2807813,"id":"Q2807813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4628488$5CEA970D-C857-4036-8B97-81F5E304DD74","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"df01aeeba31ce24d39703f591bf3026949b8c0f3","datavalue":{"value":{"time":"+2019-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4628488$C50E966C-357C-4AA3-A78B-6B5BAC93C0C4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5ac2ca95809e8ea0ccb2a500bfef2d43e4961cea","datavalue":{"value":"https://zenodo.org/record/1475059","type":"string"},"datatype":"url"},"type":"statement","id":"Q4628488$4DEB1FB6-7A7C-434C-9441-035F3F5AC642","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4628488$08A83D42-C785-4A2F-A0F6-B2E8BE3365F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4628488$DC06CC77-F214-46BA-957F-32532DB32483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7d6d1b45c606677a96fadd625efc72a171c20037","datavalue":{"value":"03E99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4628488$B22B1420-B274-47F9-B879-87D3D7502110","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef70446b13f7c644ff06248ac7e11d931483b0d1","datavalue":{"value":"7036050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4628488$40F9A4A5-5BAD-4CD7-A967-F53CA1791B6D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4628488$E8E88FB6-7933-4E98-910F-2C9F3516764A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"571c0e1fb7a78a4a545c4f12cd6536c1efe33bd7","datavalue":{"value":"Mizar","type":"string"},"datatype":"string"},"type":"statement","id":"Q4628488$9725402A-4C5C-4904-8706-D59A882DEFCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c550839e40de20cb4e2d702e080db5d0ad01975","datavalue":{"value":"set-theoretic structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4628488$5969B7EC-FA9D-4FFF-BA6E-CF75371C87AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be10c4b30ed6464d6756a9be3941c2ac5764eb24","datavalue":{"value":"set comprehension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4628488$428E9F08-E1A7-46FA-8835-FCD2003CE960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b000ad3a41216c7ac00ae155426261a15c45d88","datavalue":{"value":"multiple inheritance","type":"string"},"datatype":"string"},"type":"statement","id":"Q4628488$02632945-D1C3-425F-A119-13AF3E24966D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4628488$84648AA4-3AC6-4F63-8FB5-A073C5A3CCDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4628488$F4600BEA-D48F-4ABB-BC32-2E4D52003C03","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":"Q4628488$88F041A0-ACAD-4B29-B059-5B507D5E6165","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0fb6bc80c55ef85015c78dcf4587636d7f649674","datavalue":{"value":"W2777315468","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4628488$43AF62C2-4F1F-4B89-9BCB-1DE1CDCCE526","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"68f6c67faf06441d034d2ecea0fab9719171a86d","datavalue":{"value":"Q108482127","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4628488$C37A1AF4-4E6F-478B-B12B-A0C2C1FDC2E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e9a18d2fa29298c78dc202aae96a37069cc785a","datavalue":{"value":{"entity-type":"item","numeric-id":2323445,"id":"Q2323445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e098ea56f44bba0aa770d1bbcdeb1292767b7a","datavalue":{"value":{"amount":"+0.7758949398994446","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":"Q4628488$1263F290-123F-4D97-9785-64DD0FFB0BC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de72a55ad8714891c24ede823c98f307f17fcba8","datavalue":{"value":{"entity-type":"item","numeric-id":1319386,"id":"Q1319386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99791c4c9ae53a41d3cecd0d978131a8a6bc6f5b","datavalue":{"value":{"amount":"+0.7753185033798218","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":"Q4628488$E9833E9B-160C-45D7-BA4D-4A497410077F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"037a120fb5e9e85841cf76c86e65ea7a762d63ee","datavalue":{"value":{"entity-type":"item","numeric-id":1650410,"id":"Q1650410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99791c4c9ae53a41d3cecd0d978131a8a6bc6f5b","datavalue":{"value":{"amount":"+0.7753185033798218","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":"Q4628488$5441D667-4014-4C2E-B629-6582D3B41DD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f607eb892ede6a0a74f65718bef071331d5de7","datavalue":{"value":{"entity-type":"item","numeric-id":5313076,"id":"Q5313076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"931b4073c21bda179916f1030e0c929479e4c80b","datavalue":{"value":{"amount":"+0.7503272294998169","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":"Q4628488$BA6C6F4A-EB7E-4192-9150-AB636EA16634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a89dd6970994c099e3030bbed6db81931530f4a","datavalue":{"value":{"entity-type":"item","numeric-id":5747659,"id":"Q5747659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aaaee434fbd753454cc45a7ed67e862209cd20c","datavalue":{"value":{"amount":"+0.7443232536315918","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":"Q4628488$F7309D5F-0CB2-4FAD-8594-706FD090D3AB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4628488","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4628488"}}}}}