{"entities":{"Q1314643":{"pageid":1325393,"ns":120,"title":"Item:Q1314643","lastrevid":68439579,"modified":"2026-04-12T23:43:22Z","type":"item","id":"Q1314643","labels":{"en":{"language":"en","value":"A simple type theory with partial functions and subtypes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 503601"}},"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":"Q1314643$CD638FDF-FE18-4D55-8F60-5A66286ECB5F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e9669a9a8a425734f5491a7578ca65faa1a81f72","datavalue":{"value":{"text":"A simple type theory with partial functions and subtypes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1314643$AED97208-67B3-4D09-8165-8BEFC414CDB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"75d2d31d2047772b4fbaf5804d259ea41058b8d3","datavalue":{"value":"0837.03003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314643$C5C1332F-8EA4-46B6-8226-4B5209F4B6F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"86bf0decc0c3b6d786928b926417dd90f0c82e1c","datavalue":{"value":"10.1016/0168-0072(93)90144-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314643$C7EB554B-3A9B-44E4-9C8C-54CF1018B6C9","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":"Q1314643$00EAD761-9FA2-4D79-9901-EC7E45DC7323","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314643$0921BBED-0C62-49CF-B016-3026AE2792C2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ae6bbe402fa411517b9e3e0f1a301dad51f71610","datavalue":{"value":{"time":"+1996-05-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1314643$00DC8068-D08F-49A4-90FE-130594778645","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314643$5F1E50D2-EFDA-42C3-9879-5C658EB26E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314643$432C9D74-1185-4727-B40F-833D85B90823","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45630ac4677e5ca17a656d7ca484fc63c0e6aef6","datavalue":{"value":"503601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314643$71CB4E48-A910-4069-9CFE-949727F7371C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ac0247726491e51a1a9dad4fadbff313f8e488","datavalue":{"value":"simple type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314643$04556CB5-7F7E-40A1-B5F1-89EE1D792E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a5934bfe488ad6ac441a2d887e283b8ccc7bca59","datavalue":{"value":"subtypes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314643$3AE134D5-8411-474E-A46E-02C81430FF98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bca410fee58f127faf7f276ae76a8b3e67b7cdcf","datavalue":{"value":"Henkin-style general models semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314643$15B44C63-D29A-4C1B-B38A-EB926F826CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"103de830eb423c2e7b3c73f6870db2bf0c939e69","datavalue":{"value":"axiomatic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314643$0BCC3CCE-FCAB-402E-A0EE-FE973A2CFC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55144faa6cf6b536109063fc4de5c6ecd4e71b1f","datavalue":{"value":"foundation for mechanized mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314643$B1BAE0B7-C0F2-4B84-BABB-83162F6F53DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdbeaad80d649490d47034f258d8b6ed1941c232","datavalue":{"value":"interactive mathematical proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1314643$4A327E31-A5FD-4C59-94D5-E6D2DE26422C","rank":"normal"}],"P1463":[{"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":"Q1314643$94735B7C-6F27-4021-8DF6-6DCB59313663","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":"Q1314643$A671CA61-5E49-46F6-B773-6505D801E0BA","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":"Q1314643$C6D0FAC9-D83D-4867-A01A-3A8C14FFBABA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"73490193fcaa1962b94135bbbcdc10041a1af3a8","datavalue":{"value":"https://doi.org/10.1016/0168-0072(93)90144-3","type":"string"},"datatype":"url"},"type":"statement","id":"Q1314643$C74AB7B3-7692-4275-87AA-F230F73DC9EA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aaf0c04afc607338d0779df4d2ae47f9b46b9a06","datavalue":{"value":"W2316406086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1314643$032B4651-496E-4273-B8F6-D428B3BE93D3","rank":"normal"}],"P223":[{"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":"Q1314643$631F5E23-0D9D-4F5C-8EF0-74996000BF1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b58e334bbf84629d414ca7d6688164e5524fe2","datavalue":{"value":{"entity-type":"item","numeric-id":4726218,"id":"Q4726218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314643$EE065363-C1E2-4498-AF71-B3F516A226EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314643$88A68278-1D2F-4C95-BC4E-C54BCE80E35F","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":"Q1314643$BE48F47E-4F0B-41DE-AB9F-F19177393B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97ba68be7d715061cf7a668b6481e26fa5a74409","datavalue":{"value":{"entity-type":"item","numeric-id":1305166,"id":"Q1305166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314643$5F55D09A-E06B-4598-B711-C9C40FC7C23A","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":"Q1314643$18796CF0-72E1-4159-AC2D-D2A03AC8DA56","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":"Q1314643$C918BC01-E28E-45E0-86D1-146E61980AE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9378587a1115a0250a2395ebd434016b1bcd6dd","datavalue":{"value":{"entity-type":"item","numeric-id":4124795,"id":"Q4124795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314643$A1608E02-3627-4B98-9B86-E015182C5756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1314643$512BACB3-F94F-4720-9619-16C0DCA1AF0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"056d99038d1d8ddb4ba7029279836f5f7c947374","datavalue":{"value":{"entity-type":"item","numeric-id":5753924,"id":"Q5753924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b04d4e62c02176b2e700ee1f719d8f25f54ea25c","datavalue":{"value":{"amount":"+0.8137716054916382","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":"Q1314643$ACB71332-21E5-41B5-9354-51D970EB1A3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d70bc607d7b27b6b61198d86792b60275f59b735","datavalue":{"value":{"entity-type":"item","numeric-id":5900716,"id":"Q5900716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4f1e203ee85b73cfe0bc2708901f4a9631193a5","datavalue":{"value":{"amount":"+0.7983601093292236","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":"Q1314643$D56F2D84-516C-4E19-882F-A34B7A31702C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99e56c4594813525572fe7b58f60120ae1cde1b5","datavalue":{"value":{"entity-type":"item","numeric-id":689208,"id":"Q689208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3dd804e465c6ac18bf030893bb8423ee82860a4","datavalue":{"value":{"amount":"+0.7890931367874146","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":"Q1314643$7E802DF8-159F-4C98-A01F-F70E9B7800BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"036191652e80251e7ca496b6cdeb3e1e2042d2fc","datavalue":{"value":{"entity-type":"item","numeric-id":4263015,"id":"Q4263015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31f4784b9c23f76ac6cbc355d7dba3e05731ceae","datavalue":{"value":{"amount":"+0.7829333543777466","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":"Q1314643$93AEF6F5-AEBE-498F-8FDA-C2E355EC24DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ec06f0869f0f61c632cdf6856b174429aee0656","datavalue":{"value":{"entity-type":"item","numeric-id":4853339,"id":"Q4853339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb0b3070b0a1059a9b334a26948a9a75940dbaac","datavalue":{"value":{"amount":"+0.7651817798614502","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":"Q1314643$E86CA2AB-4646-44C3-B7D2-7E222B903C63","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple type theory with partial functions and subtypes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_simple_type_theory_with_partial_functions_and_subtypes"}}}}}