{"entities":{"Q3189790":{"pageid":3200498,"ns":120,"title":"Item:Q3189790","lastrevid":45636232,"modified":"2025-12-11T17:23:19Z","type":"item","id":"Q3189790","labels":{"en":{"language":"en","value":"A very modal model of a modern, major, general type system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6344185"}},"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":"Q3189790$7545D8D4-C61C-4745-8DC3-F138AA2BF49B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f0185dba66a992325b73a4b37dd6a7bf0a796d5f","datavalue":{"value":{"text":"A very modal model of a modern, major, general type system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3189790$F77C50D5-E360-4CCD-9C1E-489366BFB109","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"763c9711a15f1c3cd033ea533e1ac2906cb18ac6","datavalue":{"value":"1295.68072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189790$65AEC684-E6E7-461E-92B9-2AFCFFC501EC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"38944ee6ab11261892e209c07f5aa19e3c677f1c","datavalue":{"value":"10.1145/1190216.1190235","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189790$881C8B97-2756-49BF-A918-458B975B05C1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc26ae99955b17096664472ad434caf6f770734f","datavalue":{"value":{"entity-type":"item","numeric-id":1663237,"id":"Q1663237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189790$C7DED1AE-CDAF-45E5-BD70-1CCB4835D78E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4c50fe9376530cec8a3eb57fe20f53896f97fa2","datavalue":{"value":{"entity-type":"item","numeric-id":345706,"id":"Q345706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189790$198A9E72-A938-4BDC-9FD4-114643C38556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a08e0e5dee047abef2a2eff12238050654fc060","datavalue":{"value":{"entity-type":"item","numeric-id":3189789,"id":"Q3189789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189790$307BA0C9-5767-4594-A6B5-3F3281CD5E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"31de6e3ea6f690e0f34598015e49f60896231fcc","datavalue":{"value":{"entity-type":"item","numeric-id":1945916,"id":"Q1945916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189790$5EBA1CE0-85BD-4BEA-86A7-E9A4DC6AD364","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"42ff8c7ed004bb20c7b1a2b6084e38122d4ab0d8","datavalue":{"value":{"entity-type":"item","numeric-id":3189774,"id":"Q3189774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189790$1DD4561F-F162-4679-8C7A-3119D0A41FEE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad0e577f2be69493b55b974834cf6fd5cd3ca834","datavalue":{"value":{"time":"+2014-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3189790$4AAE9427-5A94-4ED7-A317-D7D7B8A432EE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189790$6D76B239-0904-4BDC-9E68-54DAE0690592","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189790$E1E2E3E2-1E6E-4233-895D-0C14309040B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b638c7935436ccffba7a737e2b57436cbbd2533c","datavalue":{"value":"03F45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189790$89A3C3BE-33B0-468E-A998-D5C934FFADA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189790$2E15F36B-E1FB-4724-A7E6-25E7E6B0D8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189790$EED9251F-B482-4846-A1EC-07062EA9D033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189790$B0F8F218-E2E0-4CAE-8DF9-8DD90CC7F545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189790$B7A63E5C-6A6D-4387-A19C-BFBE09568ED6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac59cb7ac1029d2476678bff95a5193eade36061","datavalue":{"value":"6344185","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189790$6C168FF3-1756-4AF5-8FFA-DEA0E11216F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189790$5BA079EC-36DB-4214-8E9F-855C1FB1E791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13ccafee9fd33437c4f6f3160e8be56aed527318","datavalue":{"value":"impredicative polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189790$9B4F035E-3A7A-4311-AF97-BAF4DA46FCAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82bfb36a15935438d25d603d5dfc33556f184f1b","datavalue":{"value":"mutable references","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189790$BE6C696B-A359-4A6D-97D9-260823F5C3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d81380493e73f973ea729135d1ad5620e22212f","datavalue":{"value":"recursive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3189790$7C31176E-44CF-41CE-A15A-CC03C13E4B40","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3189790$D50A25A4-1991-4303-B4BF-CE0A84689C09","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":"Q3189790$5446359D-80EB-4006-BD33-D4A01557E20E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1126c9d4a7f69fe58edbf681de4d21be9b4b62f5","datavalue":{"value":"https://doi.org/10.1145/1190216.1190235","type":"string"},"datatype":"url"},"type":"statement","id":"Q3189790$C08C6F2A-C34C-48CF-9BC0-DFF4392594E8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4ecda7797acbb35ad161a3ef2e49f3b1b8f1845d","datavalue":{"value":"W4229652664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3189790$B3457E9F-15B1-4D62-97A1-8231CE530D54","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a43136c15ae2e3429a8ea898176b874536389e27","datavalue":{"value":{"entity-type":"item","numeric-id":1289102,"id":"Q1289102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"278df2302009856982f58548a4f4e242583a3d80","datavalue":{"value":{"amount":"+0.85214263","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":"Q3189790$FE9F458E-342B-4F85-B578-244F484E6BED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cafac9ae1e05d141a3096c624f5ee14075b19f","datavalue":{"value":{"entity-type":"item","numeric-id":3426565,"id":"Q3426565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9309478c68796f68ea58867dbc2945e953dd26e","datavalue":{"value":{"amount":"+0.8505683","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":"Q3189790$45DC2462-C5E1-416B-BBAF-BD81239704C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c62c088cec7687b1ce357dc6e45c09b92cc3a17","datavalue":{"value":{"entity-type":"item","numeric-id":5883738,"id":"Q5883738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23a0e68a09cadf2d31eb756a5bc68c0d60ee1810","datavalue":{"value":{"amount":"+0.8504484","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":"Q3189790$92CBE328-3C86-4F6A-AF5B-2E9ECCC2F08E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b55fda94bbf542d1012ee05096f4781d0ca46516","datavalue":{"value":{"entity-type":"item","numeric-id":5316577,"id":"Q5316577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e8d22f0f3695c8202f69f4e67c6b487dbfe9a05d","datavalue":{"value":{"amount":"+0.8489157","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":"Q3189790$712CBD87-5F0B-4403-BAB0-75FD8269F032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c570d7df92cafcd2336cf3ce87c91d53b29ae22","datavalue":{"value":{"entity-type":"item","numeric-id":2942929,"id":"Q2942929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fe322583ff77e076ad2ae88d4e0df71e4fd2446","datavalue":{"value":{"amount":"+0.84186137","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":"Q3189790$AFB13998-29A4-4C07-95E1-608A8FC7E7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"424262529f81eeb155bdc89bc6d20c7b54b2fffb","datavalue":{"value":{"entity-type":"item","numeric-id":4645803,"id":"Q4645803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f796ff023d72ba7f04a77cbcd216d3f15619192b","datavalue":{"value":{"amount":"+0.84159696","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":"Q3189790$19A67C36-294C-4DB8-8888-A8F0B297A86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a90f4cc5b7c2f5f983a47029d57427a8a7f4978","datavalue":{"value":{"entity-type":"item","numeric-id":5348928,"id":"Q5348928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad65be2ef75a5254b7cc84d96ca854515c1179fd","datavalue":{"value":{"amount":"+0.8403412","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":"Q3189790$975BB67F-BDF8-48D7-900B-4A54A75E0817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41bf84e39dd12e85c4463fb966ef5209111957b4","datavalue":{"value":{"entity-type":"item","numeric-id":3086773,"id":"Q3086773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"493346cec8cf2047fcbcbcba840dc17038255b3d","datavalue":{"value":{"amount":"+0.8377443","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":"Q3189790$1D95C12F-0D91-4579-AFFE-B431E23F1F62","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3189790","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3189790"}}}}}