{"entities":{"Q1850960":{"pageid":1861702,"ns":120,"title":"Item:Q1850960","lastrevid":70994025,"modified":"2026-04-13T18:46:05Z","type":"item","id":"Q1850960","labels":{"en":{"language":"en","value":"Dependent types for program termination verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1845374"}},"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":"Q1850960$133253DE-1675-4233-804A-D680FE9A4903","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"26b14a68f36a051e8e6f84f9ecc12a3b1ec1f588","datavalue":{"value":{"text":"Dependent types for program termination verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1850960$214B71D2-8274-4B67-BF52-8BCABC68F6C9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6a3f4127514a86ac244e58ec218f13343554805","datavalue":{"value":"1041.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850960$19FCF5DC-C0F7-4C12-AB3C-6DA4826798E1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"248d61d18cd7a3aedf11c3aaa83514ece045c676","datavalue":{"value":"10.1023/A:1019916231463","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850960$C53C2EBF-5707-46E9-B156-76359BAA2615","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bef15dcc9d238b439c915f4010ff60c2a860bd9f","datavalue":{"value":{"entity-type":"item","numeric-id":1286372,"id":"Q1286372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1850960$2EFCCA95-10F2-43C2-A16B-FBEF63021EF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"64a3a07e604cd8e480c16efc452d3568f025ae86","datavalue":{"value":{"entity-type":"item","numeric-id":162338,"id":"Q162338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1850960$A31556D9-63F6-4D50-A261-D851BA753350","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b32daaf1d1d23d14c238646cd1461a574f35b82a","datavalue":{"value":{"time":"+2002-12-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1850960$087D016A-7E70-44B7-A776-68AF76AD532F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850960$1DFF1E4A-95FC-4BAC-8723-D5EB329C4031","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0716cf7bb67da89df2a8811cb148576a3580864","datavalue":{"value":"1845374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850960$B54AB461-D1CF-45BE-95C9-B9E663449933","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850960$5D66DACA-9465-4E88-B9C1-588985E5EAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e22447b229c7a32c8d247e1ea4002861fd0fbd68","datavalue":{"value":"dependent types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1850960$82BD7232-DB2C-4D45-A934-C4EE76196CF6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1850960$6CEB4B6A-CB15-4CDB-BD95-1D32D2AE36D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1850960$4ED962F2-3083-4A89-9793-753EE114EF76","rank":"normal"},{"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":"Q1850960$F2B2F326-2836-4F52-8AC2-A1A75F7EE6DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1850960$A7DFB975-4A8E-472C-9D6E-5D23FB0016A8","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":"Q1850960$0A8CF3F0-9384-4802-BBB8-D3CB04ED3006","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3be97e2f04ad853d3b9d43fe5b0c190a3b07a54e","datavalue":{"value":"https://doi.org/10.1023/a:1019916231463","type":"string"},"datatype":"url"},"type":"statement","id":"Q1850960$354F6AE4-1778-48E8-B9F7-D9EACD43B991","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"424ba2085545d3c806ff2282092cccb27414deba","datavalue":{"value":"W2168162624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1850960$FB8DFA99-5C7A-4E24-9C2D-8467B2A22517","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"968ef3c413e5fe02e2d496a820a84be2c7737a1a","datavalue":{"value":{"entity-type":"item","numeric-id":5255080,"id":"Q5255080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c7717c0943f362093525b84367ae02b52d486db","datavalue":{"value":{"amount":"+0.90208924","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":"Q1850960$FC0255C4-C114-442C-82BD-D452C79C57AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c39361e0ff8b7ca29be23d62f7ee4944da5424af","datavalue":{"value":{"entity-type":"item","numeric-id":923883,"id":"Q923883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5cbfc64de0652e17d9170f84387e115d3888eb3","datavalue":{"value":{"amount":"+0.8944388","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":"Q1850960$443BD7CF-3FBF-4327-9B58-97F540B7757D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0712d7a29a924a2ece9e5c4c46b8bc70284ae23","datavalue":{"value":{"entity-type":"item","numeric-id":1916364,"id":"Q1916364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd1ebe3fc9029afc7186947d0d0f5e3c4642aa7c","datavalue":{"value":{"amount":"+0.8919294","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":"Q1850960$C30190B6-33A6-45BF-8300-E67FB3B766AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4246eaf4aeb7ee18b6fadc7db2ccfc3206320db","datavalue":{"value":{"entity-type":"item","numeric-id":5703756,"id":"Q5703756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b90626745cf0075fa6c40c6a4382594c6a081798","datavalue":{"value":{"amount":"+0.8918697","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":"Q1850960$75F8FF5C-0C58-4E5A-812F-34035709B48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34be2662826ba3932304951a0b3c661047bbf58b","datavalue":{"value":{"entity-type":"item","numeric-id":4659886,"id":"Q4659886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"948ba3189efc908c3353e1becedf6fba9f653c2c","datavalue":{"value":{"amount":"+0.8886337","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":"Q1850960$0023040C-1358-4B5C-A589-EAC678B1006C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b1d36c3b70bbca215dd88f12733a13e625d7ce6","datavalue":{"value":{"entity-type":"item","numeric-id":4457444,"id":"Q4457444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63d16f26fee6a954735cf83462993d63fc8cea7a","datavalue":{"value":{"amount":"+0.8787267","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":"Q1850960$8ADC0A80-12F7-4C7A-9392-F3D7BC56A22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83a9a1cb2c762ff8bfb3334266634affdfe71512","datavalue":{"value":{"entity-type":"item","numeric-id":5193019,"id":"Q5193019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78c7b70ebcbdee7e872db19920efc0b9c86c0c4e","datavalue":{"value":{"amount":"+0.8781402","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":"Q1850960$8D578BEE-EBF3-444C-9DC6-331C9EB4ACE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7af9311d197fd3763491f8916480e5525fc975fd","datavalue":{"value":{"entity-type":"item","numeric-id":2500473,"id":"Q2500473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c206376882617e2dc05f1cf85f9f09a609d36a18","datavalue":{"value":{"amount":"+0.87704253","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":"Q1850960$14A0273D-47B7-4994-99F3-6ADC265534A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dependent types for program termination verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dependent_types_for_program_termination_verification"}}}}}