{"entities":{"Q5757928":{"pageid":7787479,"ns":120,"title":"Item:Q5757928","lastrevid":50160941,"modified":"2026-01-13T07:43:32Z","type":"item","id":"Q5757928","labels":{"en":{"language":"en","value":"From OBJ to ML to Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5188821"}},"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":"Q5757928$0F543167-DA4B-4C3E-8AFC-B216E5EE925E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e5bb9dd9dc18a312b9fe54d348ccb1539238a45","datavalue":{"value":{"text":"From OBJ to ML to Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5757928$97112A1A-EFB8-4696-8616-291B9101A565","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"89391e3e27f29fd7c2281fed75fab575d8acfc14","datavalue":{"value":"1132.68344","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757928$BFEEAC6C-9DA3-4A7E-BB35-C80044DFE433","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9863ed9fce2c827cb20ffeb7f1f00a34d66db6b6","datavalue":{"value":"10.1007/11780274_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757928$B8C5CB45-6493-4210-985D-D244183E4D34","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"266d48a9c2e37ea24b4a5e4d6235b0f28f65402c","datavalue":{"value":{"entity-type":"item","numeric-id":276261,"id":"Q276261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757928$489F7F26-D4ED-4438-85A6-EA8EB436CC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b1bfbcb4e8f5871a00d29a6022e3016b3479851","datavalue":{"value":{"entity-type":"item","numeric-id":235599,"id":"Q235599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757928$DA3382D1-83CB-4916-A700-AD910C991D68","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"bbd4504589019f211eb6322a1c0b2bc9e8c55acd","datavalue":{"value":{"entity-type":"item","numeric-id":5757912,"id":"Q5757912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757928$352C0A39-00D3-438B-868B-DC553A7E1A6C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a0f126e0f773412df6fca1aea3308e338ba6e0c","datavalue":{"value":{"time":"+2007-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5757928$47DAB627-73BE-46FD-9C33-5AF5C48CBD4F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757928$15B14D6C-1DC2-4166-B772-ECCB4A95A23E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"518d812ceecab52bfaa45296ca41f170f0968f8e","datavalue":{"value":"5188821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757928$7DE1EC6D-7DB6-47C7-8292-95D42A0BA649","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":"Q5757928$BFD58DE4-E0D2-4576-8BF0-9FDE8F4CFCE8","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":"Q5757928$78827EBB-A9C1-4DD2-8C13-50D6A0D0A3C5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6c1bb8ce8fb3800263aafb2bdd1e49927773048e","datavalue":{"value":"https://doi.org/10.1007/11780274_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q5757928$43CEDCE5-B331-4EF2-9FE0-10C8A90A91AE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"224da4b2cc99bf40fe2c97cbd2daf98ab4c199b7","datavalue":{"value":"W1497814170","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757928$B13F2169-E81A-4CAD-9695-D683623EE059","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83cfc1c13440aac9b577c59ab7eff8de6c98cc4c","datavalue":{"value":{"entity-type":"item","numeric-id":2643131,"id":"Q2643131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4559ce8e8b1c6a4113bec60d64458e097d0ae79c","datavalue":{"value":{"amount":"+0.7297120690345764","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":"Q5757928$72E9FF00-BF41-46A4-A984-E2EAAAEFC2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"714e15e5a2ba4fff06e9121fed38d3236869a4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1267035,"id":"Q1267035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eac962dcf934b11319b722f660135ba354c9d495","datavalue":{"value":{"amount":"+0.7140598893165588","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":"Q5757928$656A0C13-D44A-40F5-A73E-CF1F330CD0DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a637a3ec8530fd323624ddc6f2ba82d813d4aa6","datavalue":{"value":{"entity-type":"item","numeric-id":3546045,"id":"Q3546045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c17cf77964d6d0d7f511890055e570e4ca5f3482","datavalue":{"value":{"amount":"+0.7124431729316711","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":"Q5757928$C8CA2922-29BF-4550-BDB9-A1CD97B11F3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c823eb76233e4855e66828e769991a47beaee71b","datavalue":{"value":{"entity-type":"item","numeric-id":1190474,"id":"Q1190474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7de5142ddd897dac94f4a35daa9594ba6ee4e7a9","datavalue":{"value":{"amount":"+0.7081747651100159","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":"Q5757928$1F8FEC8F-DF6F-415C-B18C-62D1941426CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54945991e72c4e075bbdaee9b84ef77985d61019","datavalue":{"value":{"entity-type":"item","numeric-id":3087993,"id":"Q3087993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de56aee417537e482edae74600b0f2ed1bc39623","datavalue":{"value":{"amount":"+0.7072893977165222","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":"Q5757928$0F518DDB-F1EA-4DEB-830F-A7052257C68B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5757928","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5757928"}}}}}