{"entities":{"Q5958782":{"pageid":8135584,"ns":120,"title":"Item:Q5958782","lastrevid":97727639,"modified":"2026-06-05T15:18:22Z","type":"item","id":"Q5958782","labels":{"en":{"language":"en","value":"Type inference for set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1715827"}},"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":"Q5958782$66248A30-1ADB-4533-8D52-466AD562216C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7f873796a90503fa2fe788f64338f10e223f4f69","datavalue":{"value":{"text":"Type inference for set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5958782$C33EE609-2651-4E24-A488-7A5F1A4C3F62","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0f4b2ab9214a3dc82c665d864ef57a9c925f7cfb","datavalue":{"value":"0987.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958782$88F561E4-74F5-49D1-9FB5-6CE11796C78A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2bb275620783ce8f5236fbd1118d3f0d2de916e8","datavalue":{"value":"10.1016/S0304-3975(01)00123-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958782$43822DCC-4ED3-4F62-8453-490C0B4832B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"41bc7746fd7ad5fe9b3715535cbb63cacd95c258","datavalue":{"value":{"entity-type":"item","numeric-id":236812,"id":"Q236812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958782$AA2B81CB-E290-42D3-AF30-5D08CBE9BD6E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958782$25A81885-10CA-40A6-959A-F73536899E99","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"de0bbc1f0efc0eda52d8a37720ec217ae66c93cd","datavalue":{"value":{"time":"+2002-03-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5958782$DAF42388-84D6-460B-A958-D74619369A0B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"0a610e0c511e9d30061d62db966df7b66aaecba8","datavalue":{"value":"The author considers a weak fragment of ZF that may be used for set-theoretic specification. This fragment is essentially ZF without replacement and with separation restricted to \\(\\Delta _0\\)-wff. He defines and studies a type inference system for this set theory.","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958782$5296FCD3-193B-4948-B11C-0134846870A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d76b54ca3ec41228d05d0d48b5373554ccc0dcb3","datavalue":{"value":"03E30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958782$1681E708-BD41-4DD6-8E3D-DE37F0E7206D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958782$68A09347-2761-4644-B51A-59C199474A90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4360a3cfd8e657af32addfcb7ca1e57dc87719ba","datavalue":{"value":"03E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958782$B7090B44-C4DD-4786-9CE1-FF1B75CF62E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958782$0583A60B-C2FC-4E18-97AD-9613F06CB67A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7e317d042efd68c887924aa276811790f4352e2d","datavalue":{"value":"1715827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5958782$54E2EE90-F34E-42BF-BF7D-898A5F2C2EFA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"836a4ca265a9d3d245ad333d6ea7dd043e658cf9","datavalue":{"value":"weak fragments of ZF set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958782$4661CBE9-3D12-4694-98C8-B37EB199375C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a06b3fd39bb08cabc8b33153c80e197c9ac9e4d2","datavalue":{"value":"set-theoretic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958782$D85BEE22-5A60-426D-9670-EC9D3136863E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958782$1F135CFE-FDF0-44B0-96C5-5CF995B0221B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"785a24bb96ea8221551544530038b79eb10a6676","datavalue":{"value":"Zermelo set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958782$39FCAC17-908F-4838-8A71-0C667AA06015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72b7a7265e6cadec2f3aea22a79efc30f2834865","datavalue":{"value":"MacLane set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5958782$866D855B-97EC-46E1-89A4-8C405616FC1E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"56183f18c1b7292025f517695163436751950f86","datavalue":{"value":{"entity-type":"item","numeric-id":22253,"id":"Q22253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958782$A2B92792-3D3C-400D-803A-0698585DFAF4","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":"Q5958782$6468A78C-9B16-46AB-AE64-7E8AC096368C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19bc50e2f4d2cceaac2ab96d0b4ab028848b7d4b","datavalue":{"value":{"entity-type":"item","numeric-id":4023900,"id":"Q4023900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958782$74AB2FEB-C633-4DE7-BB9E-A3BBBF279A44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c20bbe48a9c127069b4af4be488bed62a03e970e","datavalue":{"value":{"entity-type":"item","numeric-id":3335753,"id":"Q3335753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958782$82F37F59-3B70-47D9-B076-F5C3C0F28F3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3dc4634de347548bc5da026d95647f6f3ff7597","datavalue":{"value":{"entity-type":"item","numeric-id":3998261,"id":"Q3998261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958782$66F39E7C-039B-48B6-9ABB-FE3FA3EE25FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24307f65174cf2f05425cc472eb7eade74125dcc","datavalue":{"value":{"entity-type":"item","numeric-id":786811,"id":"Q786811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958782$84D2AEA6-7B3B-4895-91A1-287AE0B68905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e74cd922108894f4ad6150b97900844ca59fd397","datavalue":{"value":{"entity-type":"item","numeric-id":3405587,"id":"Q3405587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958782$C023D125-1755-4CB1-822C-03E1510A57A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83e646822c7e8f7e68867ade26f59c8b15d8260c","datavalue":{"value":{"entity-type":"item","numeric-id":3707340,"id":"Q3707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958782$E58BEF91-A258-4BD2-9943-81667E6BD2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958782$541FA534-10A3-4307-9FFC-EB1400C9C749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"696c82583d0f06a742abe63885f76d6e28d7c9ff","datavalue":{"value":{"entity-type":"item","numeric-id":4943506,"id":"Q4943506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958782$CCE3ACA7-985B-4056-96F8-6BFBA5D68DAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc22454e59c42890989b223acb2a7da42f9239c9","datavalue":{"value":{"entity-type":"item","numeric-id":4301167,"id":"Q4301167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5958782$37EA12E2-083F-4B51-9A07-FC07E928B006","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c1fce09adb870f6abe427a2bee17cef95346f5a","datavalue":{"value":{"entity-type":"item","numeric-id":4457833,"id":"Q4457833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3cc7a5eb5877c6fd76f3b3ce87f248aa72e42a1","datavalue":{"value":{"amount":"+0.9372161","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958782$977DA3AE-10EC-4216-AEB7-86DF7AFDD3DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b4e35522a9db3de84bbf23eb901f6930cfefaa2","datavalue":{"value":{"entity-type":"item","numeric-id":4904162,"id":"Q4904162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa7f0af20ecab6d8966370c7ff600b1c9c34dc1d","datavalue":{"value":{"amount":"+0.9236856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958782$ED67313E-DD7D-40C1-9EC4-679EA4C13E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78907c46102a583124d6042dcd84b4bc6113d0ff","datavalue":{"value":{"entity-type":"item","numeric-id":3751571,"id":"Q3751571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ba7b64e7318151f3f3c374615f9e75daedeb985","datavalue":{"value":{"amount":"+0.90999913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958782$2C2348EA-0CE9-48A2-B629-876B27B2E8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6127029ec644153d6bf693e947c028683993b16","datavalue":{"value":{"entity-type":"item","numeric-id":4364521,"id":"Q4364521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f894fcfa5f9cb59161abe82035e85cb807784ae","datavalue":{"value":{"amount":"+0.90655106","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958782$3849D31B-BF05-43A5-8035-B31F1BE2413D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"542fb59625f20e688f2cb943bbe285e078d67149","datavalue":{"value":{"entity-type":"item","numeric-id":4943506,"id":"Q4943506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af4d7180765f1c2b257ec1c2837d140bd10dd09e","datavalue":{"value":{"amount":"+0.905761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958782$5DA00281-F3AC-45F5-B5CC-2CA0E6BC3E4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab1b0f160bbc941ec74ecbc89400d2c491580c66","datavalue":{"value":{"entity-type":"item","numeric-id":1271309,"id":"Q1271309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3280689a815fa81fc9d627522c947d6ba3cef961","datavalue":{"value":{"amount":"+0.90505624","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958782$C2077C1A-F9CD-42A2-8694-4C1C2E075BB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1e3fef7a91f717d982de5af60bbc76f7514a80","datavalue":{"value":{"entity-type":"item","numeric-id":4944846,"id":"Q4944846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a03e2580dfc4f3160236cd3e6b405e7ee394894","datavalue":{"value":{"amount":"+0.90489227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958782$FE4092DE-275F-4C9B-9C38-F2FAEAED2055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8cd55ab847dbe5dfeed8053cbf4423da1ed7d6da","datavalue":{"value":{"entity-type":"item","numeric-id":2985787,"id":"Q2985787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34add151d311fd6b7c6fc869f7509ad3273fc432","datavalue":{"value":{"amount":"+0.9031481","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958782$5A7C16D9-31C7-4AC3-B7C6-700C48F3C3C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89091efbdd6dfe241247823d5b00a0f1b23522c6","datavalue":{"value":{"entity-type":"item","numeric-id":4958648,"id":"Q4958648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a33f48f79ae40e169e921ec380b2c4870e33ba85","datavalue":{"value":{"amount":"+0.90244055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958782$BE01DB95-476B-4ED6-8A52-A32E19CF7E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de0b94e706f1e4e2af9b9d8269c683d5abde2258","datavalue":{"value":{"entity-type":"item","numeric-id":5889302,"id":"Q5889302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8a98a68ba75f6084f0dd1eb28c91a8b4e8844f2","datavalue":{"value":{"amount":"+0.9020966","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5958782$A4AE41CF-B251-4754-B46A-C5131374C73E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Type inference for set theory","badges":[]}}}}}