{"entities":{"Q688734":{"pageid":690583,"ns":120,"title":"Item:Q688734","lastrevid":47200918,"modified":"2025-12-31T23:58:09Z","type":"item","id":"Q688734","labels":{"en":{"language":"en","value":"Remarks on Martin-L\u00f6f's partial type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 438469"}},"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":"Q688734$B42AEFA0-406F-4374-A594-792C5BE7851F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3fb0165ce21075a0f11840ca931f2a3b30a449a4","datavalue":{"value":{"text":"Remarks on Martin-L\u00f6f's partial type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688734$FDE83F61-3678-4185-A234-EB89FD3E23BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"39ff1ec3439031eb76d47ceee4b94de5d065ddb7","datavalue":{"value":"0787.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688734$9C268A03-28AD-429D-8A68-C2685F7C693F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e77a4b0bf859303bd6cdeb609af084b9e5aa72cb","datavalue":{"value":"10.1007/BF01995109","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688734$C9237F54-63DC-4FD4-A2DC-B2A2D110B1ED","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8b28a0624df5a1c85ecb5bea565385eff5d13458","datavalue":{"value":{"entity-type":"item","numeric-id":185810,"id":"Q185810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688734$DE2DD14D-1063-4A3E-892E-18699F95E303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51179f5d07eac4a6f6c8d6f4af0f86b9c901e7d1","datavalue":{"value":{"entity-type":"item","numeric-id":688733,"id":"Q688733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688734$9DC14F55-97DD-4B97-8B28-3CA188885063","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e560271c921b84b65a9b7f0d3fa6830623f8af8b","datavalue":{"value":{"entity-type":"item","numeric-id":188629,"id":"Q188629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688734$80718AED-8A85-49B6-9256-181954E9748A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9a56fa44f05f9c865c2049cda281119f7946a004","datavalue":{"value":{"time":"+1993-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688734$B7532CDF-C452-45D6-AA50-9B97CFFAB52D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688734$F9D0AAC7-84CE-4DE5-A0AA-88CD7F1EE614","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbd77a44bf671c736937ce7fe3537c0cee27bbf3","datavalue":{"value":"438469","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688734$00D334E8-071C-4C06-AA60-DE9C91E1CB17","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3624fdd80a27cc35fe110e55115b15be6080f2b7","datavalue":{"value":"domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q688734$09175FEC-B4F1-48D2-ABB3-B0E76F7A71EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7451505a0baba6bfa10b28e8dd0d5ff8a2c9ac18","datavalue":{"value":"Martin-L\u00f6f's partial type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q688734$644EEB7C-712C-466A-91BB-BAE8CC524D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"573c017e437d513d90393306274bd4de73cf29c1","datavalue":{"value":"type theory with general recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q688734$7A6DC8D1-EEE9-4D84-9472-6E57C7C1873F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37df4df8954f8d03cdbf4de85da37557cee580d2","datavalue":{"value":"fixed point operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q688734$160D8FF4-67DC-40D9-B0A7-CBAA1CD99D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48f5b02946a04f1e6fb8349dd0518ac4fa06346a","datavalue":{"value":"category of conditional upper semilattices and parametrizations thereof","type":"string"},"datatype":"string"},"type":"statement","id":"Q688734$0162883B-BDB9-4516-8AB1-BCB450735E46","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":"Q688734$6F584594-3EB4-4C19-BD29-B9C868E76D13","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c0d38bb47035312d7e593ac22222c56b8e64b29","datavalue":{"value":{"entity-type":"item","numeric-id":3702502,"id":"Q3702502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688734$829DD11C-8162-4C06-AEFA-E795269DEFF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09cb66327c1c8a35bae1f3c32652346443b3cd1a","datavalue":{"value":{"entity-type":"item","numeric-id":3510919,"id":"Q3510919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688734$01E85974-5887-4F5E-A865-DD5DD74BAD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68c3faaf5806bffb98996997da8da058ecfd89e5","datavalue":{"value":{"entity-type":"item","numeric-id":5752569,"id":"Q5752569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688734$4924CFF3-3AF7-460E-90EC-DB50A4F00B17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ab5d7b35f67f940445411fa45c1b02bcb40d39f","datavalue":{"value":{"entity-type":"item","numeric-id":3999860,"id":"Q3999860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688734$63CF624D-4932-4628-9DD3-1B22BF5C4A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6956a12199d710944333687ed9f973870967e27d","datavalue":{"value":{"entity-type":"item","numeric-id":916656,"id":"Q916656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688734$6E796523-408B-401F-AB7E-BB23D269C59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecf5e3fed59037f31ea2ef2c7bc3296cc41b0e25","datavalue":{"value":{"entity-type":"item","numeric-id":1308982,"id":"Q1308982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688734$F705429F-335F-4F8D-B652-395218DDF351","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffd18b7ebbad26d45014287bed107f43325c0e66","datavalue":{"value":{"entity-type":"item","numeric-id":3985097,"id":"Q3985097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688734$4E9ABAD9-EF2E-4E8C-B2B0-3D0617332E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"350ef9fe375473cd4e9d8eebad8754055372f7e7","datavalue":{"value":{"entity-type":"item","numeric-id":3809795,"id":"Q3809795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688734$0B012B46-9ACB-4B5D-B6AD-ACE517D7D677","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1def75116571000d9b03406beb1cf2ddf2effb0","datavalue":{"value":{"entity-type":"item","numeric-id":1308982,"id":"Q1308982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6602f92717740d25408f51ef04ec2a6b15b0eaa0","datavalue":{"value":{"amount":"+0.8288367986679077","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":"Q688734$2417095F-65D3-4189-8040-50C9FCAC6215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f30f07aaea45924d52c3e40f5fba1a1ad77e105","datavalue":{"value":{"entity-type":"item","numeric-id":916656,"id":"Q916656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc434f2677500bd33795a4d50e461e5c62181c51","datavalue":{"value":{"amount":"+0.819527804851532","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":"Q688734$D93F3390-6612-4F70-BD8F-063379FAAB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bed05abdbc12c71e1d11144d7a8c255e64568679","datavalue":{"value":{"entity-type":"item","numeric-id":5457388,"id":"Q5457388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fba79a5713fd5798c3e72401b42c8195f7d7cfe","datavalue":{"value":{"amount":"+0.8010666370391846","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":"Q688734$027FA3B4-D29C-427C-BB8E-F4DB5A75E36A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8936e2a9e79821aa70feaac1c48a084c0b32335","datavalue":{"value":{"entity-type":"item","numeric-id":3985097,"id":"Q3985097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f53950c98f7849805ae28d4348cd0c2540c9a60","datavalue":{"value":{"amount":"+0.798435389995575","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":"Q688734$923A987B-89C2-498E-A7C3-9DF5442A0912","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":"33bcbbc62e0fea6c5ed37e238e66cee9dcf7c5fc","datavalue":{"value":{"amount":"+0.7976168990135193","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":"Q688734$2A793D0F-F2CE-499F-9FD2-8DBCADE6FFD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:688734","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:688734"}}}}}