{"entities":{"Q689208":{"pageid":691057,"ns":120,"title":"Item:Q689208","lastrevid":63638982,"modified":"2026-04-11T14:31:41Z","type":"item","id":"Q689208","labels":{"en":{"language":"en","value":"Partial functions in type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 440196"}},"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":"Q689208$3245CA54-890C-4294-9FBB-8C3D3B34525D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2488f24eb3ebb2b089ea7edcacd096386c344f7b","datavalue":{"value":{"text":"Partial functions in type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q689208$A7B076AC-9154-4350-B05A-6A79A27D7BA3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"56547919556f4fe1d2a8fcc70ab6739f2e7f3099","datavalue":{"value":"0788.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689208$D613D523-F249-460E-A221-B692B02E818D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"839b2eaf1a6c137e43e0a3941c8b44efcd4f7bbf","datavalue":{"value":{"entity-type":"item","numeric-id":346767,"id":"Q346767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689208$3ACC6B5A-2EFF-4940-8E50-EB16C81109DF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689208$97C5A6F3-165E-4DF9-B989-83277C125AB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"43a361f56e52055f8cc7213085a9db79a8a8cfcd","datavalue":{"value":{"time":"+1994-06-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q689208$E28EA6E7-1609-4C76-9547-17E20D864E02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689208$07E60125-8FAB-4AD7-B8C8-9C8D2767F961","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"31b4f9dbd1452aaaea3ecb094ac0d4c5e04e47d7","datavalue":{"value":"440196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689208$C21F9026-723F-49D7-AF23-3FBF65415D34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eb51caed02760ce2ce0852325fa3f828b9446a0","datavalue":{"value":"general recursive definition of partial functions in type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q689208$54BFB4A3-ACB9-41D3-9BA0-44FA23D89049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d046f7959394a9f018fae1bae3415ec87876781e","datavalue":{"value":"semantics of intensional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q689208$D7F745EF-A4E0-45F1-8C22-18D6BF705EC0","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":"Q689208$8E9E3BDC-381A-4DD0-9777-A760EF57D7DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a8c35a3f69fa054bbeafee260110e7219e1cf551","datavalue":{"value":"https://doi.org/10.1305/ndjfl/1093634483","type":"string"},"datatype":"url"},"type":"statement","id":"Q689208$5E45A68A-CF9D-4900-A569-3A652A685A42","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"be5f9118c05d804cfd7456ab7d11175e7851d350","datavalue":{"value":"W1967258657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689208$F020F264-1DAC-44C0-B112-FABAC86B0180","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dda21d26281e1bf8a793e0e3266f698fd8de5dc6","datavalue":{"value":"10.1305/NDJFL/1093634483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689208$0EB03AE1-7495-4921-8B55-76267B0CF0AF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8119ec3aa981e9a9db002ac60c0b87fa899679f0","datavalue":{"value":{"entity-type":"item","numeric-id":679251,"id":"Q679251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"267b26a9eb32cd4286fc08720a1c31485c5f9e20","datavalue":{"value":{"amount":"+0.8173447251319885","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":"Q689208$1F9824EE-6EBB-4B1F-AD87-4246823C4D29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592523ae07be0db4bf1f4af197fc788da1355b4b","datavalue":{"value":{"entity-type":"item","numeric-id":689211,"id":"Q689211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e5aef9540df3cc4c85eee73e70340acfb97bc8b","datavalue":{"value":{"amount":"+0.8137356638908386","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":"Q689208$89E01FBE-C7F4-4F51-B07D-D2253B8F3626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"567d5f72b5ec02e7a7ba1f6ddba77e6671b20584","datavalue":{"value":{"entity-type":"item","numeric-id":6485412,"id":"Q6485412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b05d6e0ab34d5a0bd85e57be832d9d86b1b51081","datavalue":{"value":{"amount":"+0.8081202507019043","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":"Q689208$0BFFF8A6-CECE-4193-8209-32BE6D1AAA99","rank":"normal"},{"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":"2ab10caf7feea49a05b5408debd596bc4b40e08a","datavalue":{"value":{"amount":"+0.8055164813995361","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":"Q689208$188843A0-3376-442D-BD8E-22DA43D35E1A","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":"08382e67ea538b33bfa94ebc4741593446e8fe24","datavalue":{"value":{"amount":"+0.799575686454773","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":"Q689208$558CAF32-6E52-431A-BC79-1FA9CCC397C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial functions in type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_functions_in_type_theory"}}}}}