{"entities":{"Q946569":{"pageid":948417,"ns":120,"title":"Item:Q946569","lastrevid":65548617,"modified":"2026-04-12T03:21:17Z","type":"item","id":"Q946569","labels":{"en":{"language":"en","value":"The seven virtues of simple type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5346254"}},"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":"Q946569$7390E931-FDF1-41D9-BAFD-CF4990A246F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f236c422434a628106f2f173a99626f398d7ba89","datavalue":{"value":{"text":"The seven virtues of simple type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q946569$02E5D307-30D1-4536-936B-6CF874F96A7B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"adc2d4e32fe410e825dcd5f6d8c7cbb0bd441627","datavalue":{"value":"1149.03012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946569$77392A57-A2BB-40A8-8A62-56544EA89203","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"596956d13d65318c3063740527340bc624646ab6","datavalue":{"value":{"entity-type":"item","numeric-id":174773,"id":"Q174773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$FAFAEE81-6EAD-406B-9F56-20A0FC46FE97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$90EF0931-BF6E-4921-B8D8-1A159A00254F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5974dd87aa4f0aaee17beaa07c015c32b4db7f85","datavalue":{"value":{"time":"+2008-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q946569$50C99596-283C-4682-809E-A5E757F54C8C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946569$6EE9E460-DA6A-403A-A464-7556C90DA1FE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9e580e9d5e6dd4e1f7abe497d197f74e5758592e","datavalue":{"value":"5346254","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946569$BB09DDE4-FABF-4ED4-BB30-BEF46BB8EC54","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q946569$AEFCF14C-1103-4988-B685-9C277C277D08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q946569$E18C160A-3015-414F-8626-0FD3A5415E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91f43084e905527d6769697aec982b6f681a3161","datavalue":{"value":"practical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q946569$F4E79398-2109-4654-BD9F-4DD3298DBD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11bae5b20bd836c1cfcedbce77a2c9381030e51b","datavalue":{"value":"nonstandard models","type":"string"},"datatype":"string"},"type":"statement","id":"Q946569$7FF6DA4B-A4DC-422C-B0CE-25F6060F3DDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7090cb2b2cefa03cee6b50a67ca057c086ad0f00","datavalue":{"value":"Peano arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q946569$E1226DC5-EBCF-433C-87E2-0EB08ACDCEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"538b0787ede327d8c18e880949defb7e57db6782","datavalue":{"value":"complete ordered field","type":"string"},"datatype":"string"},"type":"statement","id":"Q946569$35963B54-9DD8-44A3-BFA7-6FD0E4F21E0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"421a43f4b0e8832a026eaa34353c95869f115bee","datavalue":{"value":"survey","type":"string"},"datatype":"string"},"type":"statement","id":"Q946569$9EBAE77D-5FC2-4A60-B162-58BF33B07FBA","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":"Q946569$66704101-E9EE-4F35-9C9D-B2A641A2DA8B","rank":"normal"},{"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":"Q946569$D5388E11-91C0-47AF-8EC2-8604B55A9151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$202AE3B3-3218-42C7-B6A4-C7F62E26A852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$BE495754-A191-4D79-B2EC-879071E440B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$8630858A-0DCD-44D3-AF51-8ED919A5F3F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$A235E569-7D15-4C59-B386-E404F95AB05B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b799da0cc0efb29a46dd283874e64386ca0e87dd","datavalue":{"value":{"entity-type":"item","numeric-id":21136,"id":"Q21136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$8CDDB83A-63E9-4B19-A673-58F073073FAD","rank":"normal"},{"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":"Q946569$99A66FA8-6FF4-4620-8E0F-8FEEFE25CFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$6DCA0352-40B2-4D94-8139-49485F1F6191","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$F9E61F2D-32C6-42A5-94FF-957D199FA409","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$1491D6D7-BFF3-436D-8071-61205B85D9D6","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":"Q946569$9313A1EE-18DA-4D77-9357-EC85AA77A570","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"80a20ec8828684e7539194f6b92b71d0a21af643","datavalue":{"value":"https://doi.org/10.1016/j.jal.2007.11.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q946569$2E8EF4B3-F1B7-4BCB-97EE-09047628EA86","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"503f47a2c31399a3decb673633adab133647ce19","datavalue":{"value":"W2097181978","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946569$059091F8-A348-44B2-A51D-D523FFAF521F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae170f67b5a99f655b51707d2e6917e4913c4d7a","datavalue":{"value":{"entity-type":"item","numeric-id":4208552,"id":"Q4208552"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$B9E53B36-4A8E-4778-9A06-E662170D8C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a354fd6c71f8a73a4d7c4b6a3314179644b316ae","datavalue":{"value":{"entity-type":"item","numeric-id":5332210,"id":"Q5332210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$2E176D67-DB52-4BE2-A9C4-AF47624EDE52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11646dfc2677d6614fa16128dbbd7844776606d","datavalue":{"value":{"entity-type":"item","numeric-id":1847766,"id":"Q1847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$4F3D4553-A82F-4FAE-A0FD-8F7BE314780F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad0eeac3b2d9aea59d4e0a75de4182d01753ee","datavalue":{"value":{"entity-type":"item","numeric-id":1923825,"id":"Q1923825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$CDC9C7B5-318D-4879-86D4-7598291B46BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$D6E85E39-F360-445F-A5B3-19EF56183F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e469695a6ccdc7d8268978ac58e95413371ff1c","datavalue":{"value":{"entity-type":"item","numeric-id":5753924,"id":"Q5753924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$ACD56F76-7185-469B-B683-AF69270292F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5e2dade93a965b4ec7651716b5bb52a35509088a","datavalue":{"value":{"entity-type":"item","numeric-id":1314643,"id":"Q1314643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$D679C4E2-5724-49F7-8F76-324C7C4F139C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6df8358e73b9dabbb280b801074bff4bd2fbd75","datavalue":{"value":{"entity-type":"item","numeric-id":5307081,"id":"Q5307081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$B8AF5E17-A1F1-4A63-AB3B-B5CF72EB3E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa946e46dd7fe5ebbecad5b92f77605dd2ee5cd0","datavalue":{"value":{"entity-type":"item","numeric-id":1319391,"id":"Q1319391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$1513B78B-8D8C-470C-B599-751CDB764FD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d753b3586e27fec011357b37e30e997cfa5d4c0","datavalue":{"value":{"entity-type":"item","numeric-id":4674788,"id":"Q4674788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$E4E745A4-C289-454F-A7B0-34353ABA18F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"733df39e197d49645dff7dea3974819f659c71c5","datavalue":{"value":{"entity-type":"item","numeric-id":3875893,"id":"Q3875893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$3C7C145D-E479-4E84-BFD5-6B0A5927D843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$EFEC3F33-9311-4FDE-B14D-86CD3F6EBACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$8EA74D8C-0CB2-408E-B2B5-12566B344405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc8abb92210655a5bd4143cbbadd6eadb52d635","datavalue":{"value":{"entity-type":"item","numeric-id":1801222,"id":"Q1801222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$1E892FF2-F911-4944-8A2D-A6D939403228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d544630f473eba725b74e68a7be7a9d94350f20","datavalue":{"value":{"entity-type":"item","numeric-id":4342091,"id":"Q4342091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$976CAF1F-495C-4557-B520-7B0495016BC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1152b2ce16ac8a812229c1865a9ec7fcf5a1c9c4","datavalue":{"value":{"entity-type":"item","numeric-id":5791200,"id":"Q5791200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$38BDF253-75A0-4BBC-B246-FD1694C0261B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$EDFCA65C-34CF-400B-A5A1-4DC2CCABE38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111f0eb16bef0501ce0fc399f1827e597f8b82f4","datavalue":{"value":{"entity-type":"item","numeric-id":5332209,"id":"Q5332209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$D7CF39BE-77D6-47EE-94CB-ED7DA641BB55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2f0767e51f50b9b68b6184d596d3732b0df77c","datavalue":{"value":{"entity-type":"item","numeric-id":4897039,"id":"Q4897039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$0E8F1C95-2D9B-40FB-937E-53286B394C1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8adee1b69e596c9aee895d2338b3ad4b2e31314c","datavalue":{"value":{"entity-type":"item","numeric-id":4281475,"id":"Q4281475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$A92661E2-361A-4AA3-8E34-5A4FE8CE0524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac5155f3770ecaf73629e9ee72eb4b0bcb967ecf","datavalue":{"value":{"entity-type":"item","numeric-id":2541215,"id":"Q2541215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$E0C8B446-F116-4C80-A6EF-DDB76FC98C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5323076a0b1469af97212bfdadff5e32e899bd3","datavalue":{"value":{"entity-type":"item","numeric-id":4012178,"id":"Q4012178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$A781AA41-0C38-44CC-9A0A-A60BEBEC6146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dada7ade7212f26d23d31c0364cb11b77fa03644","datavalue":{"value":{"entity-type":"item","numeric-id":5210785,"id":"Q5210785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$7B4AE6CB-5016-425A-ADC8-B592BA419374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$A5B76CA0-1A71-414D-99CD-5C20BA320B71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcbc1bd1856ae21ca6b0420a1375ecf136fdc183","datavalue":{"value":{"entity-type":"item","numeric-id":4692751,"id":"Q4692751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$57BD1BC0-78AF-4948-9FE1-3005EABADB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$8B7E78BD-8F15-4802-BBC0-4A959D59C549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fe159d01a9a01c0322eeaad0673b992f0884415","datavalue":{"value":{"entity-type":"item","numeric-id":5946048,"id":"Q5946048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$1EBB3413-C808-44FA-8F50-BDEDF772E95E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cbc69cab2b7d5069acc953a5626227ed8c07a0","datavalue":{"value":{"entity-type":"item","numeric-id":1340050,"id":"Q1340050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$87E6F7CB-1D67-487D-80F8-90049AF092BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$329B9BB4-76CC-4352-9FA0-1CCA24E9C9C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a2c73ea523922ddf10917d5a60c3c9e9df84e94","datavalue":{"value":{"entity-type":"item","numeric-id":3995087,"id":"Q3995087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$A5CC7A75-CA06-475D-8FBA-02E52500ACFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1285fb98a32a1d3ee91dd0c206eea6ce3fb19945","datavalue":{"value":{"entity-type":"item","numeric-id":5825231,"id":"Q5825231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q946569$6D4B24C0-424D-4F30-A8D0-FFB674F4263E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e63331d5b92e58b05e2b04b2034cc8af8a773bc","datavalue":{"value":"10.1016/J.JAL.2007.11.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q946569$08B6CFC4-A6D3-4013-A0F1-2BA5638BB51D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"190610721a87be58823fa4cb054b7c4b470f5952","datavalue":{"value":{"entity-type":"item","numeric-id":6488481,"id":"Q6488481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fdfa73e4086f8dbdfb769c61ac5694d7acf6b5e","datavalue":{"value":{"amount":"+0.7820062041282654","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":"Q946569$7E3C470F-C5C3-48C6-9B7B-F825E387FDD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56491fc49d1028195cb7228b1ed3b7afdcd41704","datavalue":{"value":{"entity-type":"item","numeric-id":2751367,"id":"Q2751367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1165060780b97318b2779d0978528bc123dc9f0f","datavalue":{"value":{"amount":"+0.7650344371795654","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":"Q946569$06F606E4-6F69-43EF-B9C0-E751CE47C5AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b215bf34512acd6bcf522fcb8600bc4a72a5aa95","datavalue":{"value":{"entity-type":"item","numeric-id":4289277,"id":"Q4289277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1165060780b97318b2779d0978528bc123dc9f0f","datavalue":{"value":{"amount":"+0.7650344371795654","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":"Q946569$D5B9933E-9022-4810-9EE7-B14C0DF7B992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f40221b34abeedf2a0913eee2d8caa46fca6cfcb","datavalue":{"value":{"entity-type":"item","numeric-id":795812,"id":"Q795812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f653f4a0fdfa7915b884dd759946d9e6350c4ba","datavalue":{"value":{"amount":"+0.75114506483078","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":"Q946569$2F244DA1-502A-42E6-86F9-0E6A6F6DD837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e4aceb89ded0586b4466107863cec1384fd4019","datavalue":{"value":{"entity-type":"item","numeric-id":1314643,"id":"Q1314643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19c49945afeae77ace5a0d3fa561c35acc4c3b7e","datavalue":{"value":{"amount":"+0.7366538047790527","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":"Q946569$A09E6D4A-A920-4400-8819-5AB2F17FC96B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The seven virtues of simple type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_seven_virtues_of_simple_type_theory"}}}}}