{"entities":{"Q5091141":{"pageid":7120717,"ns":120,"title":"Item:Q5091141","lastrevid":55417177,"modified":"2026-02-17T15:58:49Z","type":"item","id":"Q5091141","labels":{"en":{"language":"en","value":"Martin Hofmann's Case for Non-Strictly Positive Data Types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7561486"}},"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":"Q5091141$B5EE1C88-6B82-4C6B-8335-2B43E09B56A3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56802c23e662b5a0028381459762dce10bc420a6","datavalue":{"value":{"entity-type":"item","numeric-id":234584,"id":"Q234584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091141$F6762F0D-CDA6-49C0-8123-E0D22002614B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f31cf0ba649c82a71b5cbd30114eb63bfddbeed","datavalue":{"value":{"entity-type":"item","numeric-id":627203,"id":"Q627203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091141$23E67DDB-2750-4ECD-A2BB-C5127BAE7A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"726d6d17ffd7097481aaa7acac69959461b65139","datavalue":{"value":{"entity-type":"item","numeric-id":587965,"id":"Q587965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091141$DB841568-28EF-4459-9674-982736DDD13A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ae3e014d42c3e727189349ca8167d2ae32144d1","datavalue":{"value":{"time":"+2022-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5091141$A1760EE9-C2AC-4C3C-AD5F-CDA1D4B96358","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091141$270ED534-0132-4204-9BDB-EFEC4AE601AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091141$79BC4C5D-4404-4066-B968-9C78F07C2A5B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7cc8f94e63629987b04e1c77e88777927493d796","datavalue":{"value":"7561486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091141$C7BCD760-2DD3-4DAF-BCD0-F9273DCA9E1F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf51402d04ad581c161d7bdee819d243dc4d09b7","datavalue":{"value":"non strictly-positive data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5091141$BE2B7EC3-1593-4212-BDED-5E2505423443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53b5f80b68d55092d51c923cffa9488beddb370","datavalue":{"value":"breadth-first traversal","type":"string"},"datatype":"string"},"type":"statement","id":"Q5091141$FFDD333B-7183-4EE5-A52B-48F38B3C63EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5091141$1C638B60-42B4-4101-8B01-4CA4C7C3F600","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75bc362b1db15e83ffb68c1f04b0252bc1b6fce6","datavalue":{"value":"mendler-style recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5091141$F64A51DC-5055-4186-8C2D-E95F8A98104A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"826cb17a61389397478ca005848e294acb35a0eb","datavalue":{"value":"system F","type":"string"},"datatype":"string"},"type":"statement","id":"Q5091141$297FEEE3-EA5C-48C3-BF77-D9E6FE8B4534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5091141$8B76DFA7-AB7F-4A48-8508-1FF9806A5E0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q5091141$1B030916-A92C-4D2A-B552-7211BED32F8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"580864d863fd4cc1640003fd36405d0fe555241d","datavalue":{"value":"agda","type":"string"},"datatype":"string"},"type":"statement","id":"Q5091141$55F20FD8-FC35-4EEF-9153-3F0691770DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c1e279257237f9f0127161028bc008972c224b1","datavalue":{"value":"haske","type":"string"},"datatype":"string"},"type":"statement","id":"Q5091141$41905446-9A7B-4C2E-977F-C5120E90165C","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":"Q5091141$C840AA6C-04D4-4AD2-9B19-148AB9F0CA4D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8e358264bd4fafb5ae8fe354ce3b216cca1b18","datavalue":{"value":{"entity-type":"item","numeric-id":5311256,"id":"Q5311256"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091141$A894BC59-A375-466B-A030-D32E9CAA7C82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"219c1bb96cecb67d33cca75f9ca3069dcf90679b","datavalue":{"value":{"entity-type":"item","numeric-id":1606917,"id":"Q1606917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091141$70ED8015-0EA9-4F16-95AF-CE57C1DAC15F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a7e7dfa9d530d207d8af0616a7342a81c167185","datavalue":{"value":{"entity-type":"item","numeric-id":4720069,"id":"Q4720069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091141$05EE2314-E4F7-4A39-AB9E-472A8E510AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d319956b37c6e73051264425569e3f5bcdc44bc","datavalue":{"value":{"entity-type":"item","numeric-id":1868162,"id":"Q1868162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091141$5192EDEF-1B32-4B06-A4AF-5913C855978C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f67cf6c04c5faf0f424f885e4fcd9ae42741aed","datavalue":{"value":{"entity-type":"item","numeric-id":2943362,"id":"Q2943362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091141$65E32D5F-3B83-4664-B607-A34FD2AB9EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091141$6BDECF98-B748-4DD6-B652-9432D78F57F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa9457bed3a56f290e2cc5291783aab1e7d8fd2e","datavalue":{"value":{"entity-type":"item","numeric-id":3216629,"id":"Q3216629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5091141$0549DC68-BF16-462A-9535-C44A6BF77FAC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e6d9d59d7c4b0c3b48fa07889b8c3dabfcd78808","datavalue":{"value":"https://hal.archives-ouvertes.fr/hal-02365814","type":"string"},"datatype":"url"},"type":"statement","id":"Q5091141$27ADD2FC-69EB-4AA8-9562-382CF70643A6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"96c9537a343aff6bb5da2c21b810eb3f43b6adff","datavalue":{"value":"W2991146782","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091141$7833E29F-F65D-4C2E-97E9-B880200C15FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b23113e097da6dcae8c64a7abf523a5e8b76b773","datavalue":{"value":{"text":"Martin Hofmann's Case for Non-Strictly Positive Data Types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5091141$E0532B26-528F-4218-9DE8-5320A6859922","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9494c0687c4baec71cae03539a4c4a53d1d360a5","datavalue":{"value":"10.4230/LIPICS.TYPES.2018.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5091141$D5D42154-E2A8-474F-BD63-2D721C999D60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09ed5e2e7d4dc77510541ad71bec66a20b46a487","datavalue":{"value":{"entity-type":"item","numeric-id":2566024,"id":"Q2566024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc7400e4f1a05649850e22b757dc7bd9870befa3","datavalue":{"value":{"amount":"+0.667326807975769","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":"Q5091141$3C383C8D-C4D2-4E28-904D-0A49B3AF8EB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b2de2eb2b2ea2e9ac379d4aba1cbc81d003e4de","datavalue":{"value":{"entity-type":"item","numeric-id":2176671,"id":"Q2176671"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"06f75a066dcdb9cca3dca8bc70a0336adadd3e4c","datavalue":{"value":{"amount":"+0.6540102362632751","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":"Q5091141$AB562373-B384-42F3-BA24-CD16B0056724","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415c74083e2c553c67650cb0e36dc1b2900d867e","datavalue":{"value":{"entity-type":"item","numeric-id":4647505,"id":"Q4647505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e75cfbcf2690e44f2d8d6ca16b17afa8270d573","datavalue":{"value":{"amount":"+0.6516801118850708","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":"Q5091141$3B2A24AE-2EA0-47C5-8832-293005FAC903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91ec8e8eac53e05577480854f8321be8825771ba","datavalue":{"value":{"entity-type":"item","numeric-id":5144617,"id":"Q5144617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b520f99ee4e8af9560cdbef887d53a210d42af3b","datavalue":{"value":{"amount":"+0.6480748057365417","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":"Q5091141$C10B1A57-62E5-4610-A6D9-2068870BD1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c269e5a99f2caa587ad2d3307a55084f7b365d25","datavalue":{"value":{"entity-type":"item","numeric-id":5246718,"id":"Q5246718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d77d333beef4afd1fc681ddbcd69b28b338e4b70","datavalue":{"value":{"amount":"+0.6457419991493225","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":"Q5091141$7702C850-E811-4535-A84D-3CF0B059E215","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5091141","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5091141"}}}}}