{"entities":{"Q4935999":{"pageid":6965581,"ns":120,"title":"Item:Q4935999","lastrevid":47434234,"modified":"2026-01-01T18:05:59Z","type":"item","id":"Q4935999","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1391399"}},"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":"Q4935999$737A9899-9ECB-4469-9D6C-B7E0D875A43B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"697b00b625e5eccb89961f53ef0c3b1848d6d640","datavalue":{"value":"0947.68032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4935999$BBA72BD0-5B9B-4517-9DC4-24AFF87D50B2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ac73ca5db176c9a1e70bfcf85ec2d48c6f84e4e","datavalue":{"value":{"entity-type":"item","numeric-id":1404424,"id":"Q1404424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4935999$42ABCA10-C491-4940-AC91-28F81A84A70E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5692ae0feb9ef55d32bada1571dc0e7027d76ea0","datavalue":{"value":{"time":"+2000-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4935999$617146B0-093C-42CB-83C0-5C26C3724BCA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4935999$28A26687-512E-4DD2-98F2-9C7F72BFFB5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4935999$1621F893-5EBE-4705-9A74-2462074A3FE8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6be43cc9820c0701402b8b61bc8722b2b2d3f2b","datavalue":{"value":"1391399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4935999$D287AD0C-BD77-40FD-84A4-D1E588C7E4DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c658f92cfca10399e0b9df9aa408c3bc22cae6","datavalue":{"value":"constructive type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4935999$58573B7C-9B2F-450F-BFD2-F311F441D83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"803071656ef49caf5ffffeffb35be0afbcb7ae7c","datavalue":{"value":"pure type systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4935999$2B6892AF-A561-4CC9-B7D0-171595B89ADE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4935999$9303BD91-9E79-4D8E-8D24-1A0D24E98A58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q4935999$DE988580-1A4E-4E7B-8A52-1BBBA896FC76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4935999$F00749E1-A124-4A52-B89E-34AFF4844651","rank":"normal"}],"P1463":[{"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":"Q4935999$B1768D98-A36D-4448-B93F-6AEA027E9B0E","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":"Q4935999$A02D9BA0-6203-425C-833D-2CA4290182D4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c864e2e11aecc76e4b679c6d8bf290dd6d7245d6","datavalue":{"value":{"entity-type":"item","numeric-id":4263878,"id":"Q4263878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e321125fd029de0d9f14a072ee972646b320069","datavalue":{"value":{"amount":"+0.7116442322731018","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":"Q4935999$ABDBCF5E-24D7-45AE-B9E2-555FC179D227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0c361e61fe9880635bfc94456f072c25e17cdd1a","datavalue":{"value":{"entity-type":"item","numeric-id":1342134,"id":"Q1342134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e321125fd029de0d9f14a072ee972646b320069","datavalue":{"value":{"amount":"+0.7116442322731018","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":"Q4935999$78496644-6F3C-46A4-87DF-05431281569A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebd9e6b27fca9821b67a1b1c62b57ce00f712ead","datavalue":{"value":{"entity-type":"item","numeric-id":1391729,"id":"Q1391729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"310f0b5752cb6be1cba4911f21c6a98ad7f42fa1","datavalue":{"value":{"amount":"+0.7094491124153137","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":"Q4935999$25AF0A22-46AB-4ED1-B499-0A0D4F7A5B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66debf8c513c428c59edcbf061dbfc4c87ba8625","datavalue":{"value":{"entity-type":"item","numeric-id":4362923,"id":"Q4362923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9a2b85c71960cbbbdd4c309304f237378327a5d","datavalue":{"value":{"amount":"+0.6741730570793152","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":"Q4935999$C74EB324-6821-43A8-9D75-E6F76D2F1879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da651c30726fff5f8ed6670d920e77f2b604308d","datavalue":{"value":{"entity-type":"item","numeric-id":4247084,"id":"Q4247084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9a2b85c71960cbbbdd4c309304f237378327a5d","datavalue":{"value":{"amount":"+0.6741730570793152","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":"Q4935999$7D3769F6-3E36-4EB2-88B9-B9FC44FA83D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4935999","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4935999"}}}}}