{"entities":{"Q688736":{"pageid":690585,"ns":120,"title":"Item:Q688736","lastrevid":42643875,"modified":"2025-07-07T15:30:16Z","type":"item","id":"Q688736","labels":{"en":{"language":"en","value":"On specifications, subset types and interpretation of proposition in type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 438470"}},"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":"Q688736$CF7E0C10-14A6-4F05-A7E7-8E12A26079A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6fba14f57cb39dbfc75394e0bce309eb3cea8638","datavalue":{"value":{"text":"On specifications, subset types and interpretation of proposition in type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q688736$5A74CE7E-ACC4-446A-AD1B-70C7B3D124F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"111320e09ba1e94d3f00c9e4b684dbba8e458b1b","datavalue":{"value":"0788.68095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688736$3403316A-76FB-4256-82E2-DCE8D4503A95","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c59a3d866f19b781e33eb19ba0e284ae9e4e9874","datavalue":{"value":"10.1007/BF01995110","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688736$4BE75580-F8F0-4D97-BECC-CD596316B8FA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6900c0491634e7bc3abf928ac2131f9800fc8c18","datavalue":{"value":{"entity-type":"item","numeric-id":688735,"id":"Q688735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688736$2A4DDE24-2305-4176-BED5-4E029793387B","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":"Q688736$98401771-073A-49E5-971C-E33EC84609E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"61a335d09cf4057e5c760f9e6e170367a29098e7","datavalue":{"value":{"time":"+1994-06-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q688736$DED6E753-A1AC-4E6F-A8C4-259B8F8C5713","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688736$F8BE5DB1-9A5B-4D55-B63B-EEDA25FBD828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688736$19E6542E-FCBA-40EF-9F47-AB3855D3A17D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e993f907a9f2f19fe9ddde69ba92770974966828","datavalue":{"value":"438470","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q688736$2EE1B941-4144-4210-8111-A078C8431593","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q688736$D1B550FF-B244-48E9-97C7-884996FC0A0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b211b4dd569b746945e55556358ad5d7610f9a","datavalue":{"value":"specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q688736$60E51B27-FD64-4693-9C10-F95B59C96185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4518906703ac547f79888d08670823c3951a15da","datavalue":{"value":"program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q688736$B2826CF0-5D3D-4785-8DC1-F84BF7E844CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"657b1dc58dc8383e3970395d34173e20fb990340","datavalue":{"value":"programming language","type":"string"},"datatype":"string"},"type":"statement","id":"Q688736$29340615-8373-44BA-93AF-AB0EDD1F4273","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b39bcd33ba55d4227ecae1456f6e1430405ab2d","datavalue":{"value":"programming logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q688736$D4A5DECD-C877-47AC-AB83-A843DDD3EF62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q688736$BC90C7CA-62D7-4B38-A620-5727E4CE2D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3f1f6023e839fbe032df5adf04543e2b4f17e44","datavalue":{"value":"G\u00f6del formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q688736$73CB007D-CDE3-4C51-B0FA-521F6572E8B6","rank":"normal"}],"P1463":[{"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":"Q688736$21AFDBAD-4216-4623-A88F-C8AD5C1996E3","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":"Q688736$FF4D0732-5BF3-4515-B48F-1B6B02F154E2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688736$2C68E317-825E-4E00-84DC-665C40E3163A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f052a64cf669c48b098163e065f113a757924c","datavalue":{"value":{"entity-type":"item","numeric-id":3278334,"id":"Q3278334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688736$AB4045C3-4777-4BB3-AE14-845967E2CF70","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":"Q688736$E5660884-A460-4FC0-A0E8-0CB888DFFA57","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":"Q688736$F1F25673-FCEA-4FDD-B55C-BD2DDF248A18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d35b4d42cd9800c18a607f9bb8c03bfe75c1fbe8","datavalue":{"value":{"entity-type":"item","numeric-id":5633977,"id":"Q5633977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688736$7B1BCD28-EC5C-4762-978E-032E3C02C6A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q688736$CE56AB9E-412B-4B55-8849-820264341F8A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2371d7e39e67f9e097929f3463bbc28fc00218d","datavalue":{"value":{"entity-type":"item","numeric-id":800719,"id":"Q800719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e312db6a97cfd00cbb0105e26bf257aca4867743","datavalue":{"value":{"amount":"+0.91747105","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":"Q688736$411F7329-8D97-4773-A289-A1CBC3F0F20F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"439e9dd343409dd3dd1f22bd3240e6f824d19efa","datavalue":{"value":{"entity-type":"item","numeric-id":3719801,"id":"Q3719801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58f38159ad7e81cb5c851bf40339de288d6cc168","datavalue":{"value":{"amount":"+0.90441704","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":"Q688736$4D6B0595-9731-403C-A665-34DC443CBCE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e23ce1b74ce90f8266b0685417baeadd29ef9ed","datavalue":{"value":{"entity-type":"item","numeric-id":5168936,"id":"Q5168936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6009839e54c9c504ebe2c692d9afed933f479759","datavalue":{"value":{"amount":"+0.8977329","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":"Q688736$1933B36B-CC9D-4F78-9276-04B06555C22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b1e3fef7a91f717d982de5af60bbc76f7514a80","datavalue":{"value":{"entity-type":"item","numeric-id":4944846,"id":"Q4944846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebd450ffecd63adf318628b487dbb64c86fb24b7","datavalue":{"value":{"amount":"+0.89680624","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":"Q688736$3DD07AC2-8738-41F4-A30F-B93B81FF96C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de130555eb69cf97ad1ff27332a93c8b10c7601d","datavalue":{"value":{"entity-type":"item","numeric-id":2851085,"id":"Q2851085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"622e788f08c3f214509e29bea775ef42a598eb1b","datavalue":{"value":{"amount":"+0.89550614","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":"Q688736$44B3C25C-9567-45D7-97D8-5E69B45A6726","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90bb553dce1a7850427f2b10761069eb256af0be","datavalue":{"value":{"entity-type":"item","numeric-id":3452185,"id":"Q3452185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04beceda016a045487be5680c542f6830a358be8","datavalue":{"value":{"amount":"+0.8933538","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":"Q688736$A8D589AA-E3A7-4AC6-A038-604DDBD2C980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5531ee82428d164e989bcf3a0461f04bdc72c74","datavalue":{"value":{"entity-type":"item","numeric-id":4252873,"id":"Q4252873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c41a06174d2b57dfd046843440f47670e61f5b9","datavalue":{"value":{"amount":"+0.8932462","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":"Q688736$A15FAE1C-7636-4D58-8E49-5DBEC1A10734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"837409f71ec4128b8b656ea5b8d0913f49cfd6c0","datavalue":{"value":{"entity-type":"item","numeric-id":4903721,"id":"Q4903721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"478c113057d1ed6bef2db74914369464cd7db4f5","datavalue":{"value":{"amount":"+0.8913484","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":"Q688736$A0821ED9-687E-48AE-9B2D-3917FE47F887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696d83aaec159cdf8ddedd031545e8cc3910de03","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9915ea65456ef059fdea7d55523eca289c20ffd9","datavalue":{"value":{"amount":"+0.8907155","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":"Q688736$A2C545F6-2300-4176-B42D-2E209FBBE8E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2864f526e769696f5d1bdeea21f6747b8432192","datavalue":{"value":{"entity-type":"item","numeric-id":3813789,"id":"Q3813789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cf75b6dd88da4fc87fb96928b325673ec64d0b4","datavalue":{"value":{"amount":"+0.8885199","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":"Q688736$09CBD0F6-489C-4031-AB16-2ADCFCB44BFF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:688736","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:688736"}}}}}