{"entities":{"Q4943506":{"pageid":6973088,"ns":120,"title":"Item:Q4943506","lastrevid":98209508,"modified":"2026-06-05T16:56:22Z","type":"item","id":"Q4943506","labels":{"en":{"language":"en","value":"Sets, types and type-checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1416457"}},"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":"Q4943506$142F3CCA-3141-4F1A-BCC5-6C43444A9DCA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"318a427c50f8071b0bfb8d35498e2979d9ce2fe5","datavalue":{"value":{"text":"Sets, types and type-checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4943506$9C099BFF-5F82-490A-957F-9146807CAFC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bf75cd4c17b4c2e7289c77a7016b548435ea1b32","datavalue":{"value":"0941.03062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943506$86624DA0-4032-4F4C-8995-4EED21A34476","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":"Q4943506$FBCF37CC-6D78-4196-A885-4588335EDFB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c926a7842f7994a2e02d7d97d6466af0601a09c0","datavalue":{"value":{"time":"+2000-07-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4943506$A0906FAE-48BC-4209-A94F-329BAB1BC6FC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"733743e47290a4e9e4d736503195fcdd948d1ca7","datavalue":{"value":"https://semanticscholar.org/paper/2e218a8ea6858a715c62f93a5d4af1de4b5ef083","type":"string"},"datatype":"url"},"type":"statement","id":"Q4943506$F844F288-59A2-4D94-B20D-7EF0AEFBC162","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4360a3cfd8e657af32addfcb7ca1e57dc87719ba","datavalue":{"value":"03E75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943506$7BEC93E9-AA87-4067-BB20-6B0CEC91AF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943506$8F60DFDB-C62E-4983-811A-6CB276036917","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f58ffa9ca536634e3f18a8c549849f2ed6651870","datavalue":{"value":"1416457","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943506$ECC7E01C-D9E9-42B2-8CFB-99C25DA8B691","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8959f14fd82b5a88c4bd3627f976cbf6c901fb56","datavalue":{"value":"\\textbf{Z}-specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943506$1F4CC22C-B787-418D-BB35-AE067B094F8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"687b98256ffa9cee9c9994d331dfa42054db23bf","datavalue":{"value":"typed set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943506$1AC9658E-119D-4190-9761-3B952E61155F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ac0247726491e51a1a9dad4fadbff313f8e488","datavalue":{"value":"simple type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943506$50C47069-7392-484F-ACB3-0A1A32796C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cde25d90c8148f0723132db8378f9ef6b06f2470","datavalue":{"value":"type assignment system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4943506$BEB90681-4020-4260-91AE-E6C02781A592","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":"Q4943506$309E4996-8C43-4E6F-993E-516EC5C3DF5D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90855a4e27a3cc3f585961d07e9d6637c74beb13","datavalue":{"value":"W2071310242","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943506$C243BFCB-1C55-48F0-AC55-1A618B4575CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"611b3c3643307c08f2d42de52a38838d776dce93","datavalue":{"value":"10.1093/LOGCOM/9.6.959","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4943506$DB680B76-A7DD-4EE1-8946-BF596FCD8127","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4943506$EC0C3A17-BC37-4406-A28A-3AA9EC14435E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdfd99d9c223eb0f3fc5e26de01873d6f72966b3","datavalue":{"value":{"entity-type":"item","numeric-id":4364399,"id":"Q4364399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"529ac34f1726a3db37a8b1f3c4746e0ab3a372b4","datavalue":{"value":{"amount":"+0.91650355","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943506$018F9C5B-6011-48B4-9E0D-9EA64F491947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0a1966de9e44edf60d30137c1a2de8a860edf6","datavalue":{"value":{"entity-type":"item","numeric-id":4237910,"id":"Q4237910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cacb3960d33f2637b3eded24a3f67991495c5229","datavalue":{"value":{"amount":"+0.91184294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943506$BAF94C9A-B743-42E2-ACD1-2EFCD6CE6F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e7ea5736cfd16e14005bf74baeae308dbf1c6ac0","datavalue":{"value":{"entity-type":"item","numeric-id":5958782,"id":"Q5958782"},"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":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943506$2C26DB17-D578-4098-9A3A-7317BB33D320","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":"2f263db8af88c4a6de24528a9508146609951220","datavalue":{"value":{"amount":"+0.89357704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943506$89CCE7E6-D513-4303-BD9A-8A559497ECDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b39f5e3c3b5126d0063cb0ac00d8d94bac6c8b58","datavalue":{"value":{"entity-type":"item","numeric-id":3166618,"id":"Q3166618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2161dfc466fcaf905aa3a1048bf24c870369edf","datavalue":{"value":{"amount":"+0.8929203","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943506$F7DA01EB-D2EF-40D7-A9B9-D4E7946C36A3","rank":"normal"},{"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":"6bfb4574aa97a4a293a2acdffa189f2b2ada38ca","datavalue":{"value":{"amount":"+0.8877007","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943506$A7646D9C-62C4-45BD-9C2A-B4248A59899C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2694772b61ff4f6fe9a6c03cf4b59e44d0ea4a4c","datavalue":{"value":{"entity-type":"item","numeric-id":6075430,"id":"Q6075430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6f151cd8a15e43fe6158660e707c72e02d3a623","datavalue":{"value":{"amount":"+0.8736535","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943506$4EE513D1-128A-4F57-A306-2BAB02BD707E","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":"368c6e156cffa14fb3b29d572b0c8d8f8bc30540","datavalue":{"value":{"amount":"+0.87137806","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943506$0BA2F8CE-6C08-4FDE-A805-4F5FB4FB1C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"776a7f81bcf627160ac001fd4998e9de8ac0400e","datavalue":{"value":{"entity-type":"item","numeric-id":4215639,"id":"Q4215639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"184ce63e9292295d40371a8d07ef3ecc3a4b94e9","datavalue":{"value":{"amount":"+0.8711353","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943506$7C2A4F63-690A-40D4-9C24-8F6BD4E70527","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":"2c6f1949bac4ac9ebfaf84c9a69c0f54cd2b76a3","datavalue":{"value":{"amount":"+0.8676413","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4943506$51B6FC03-8577-4632-A09D-50E53B655735","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Sets, types and type-checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Sets,_types_and_type-checking"}}}}}