{"entities":{"Q5757932":{"pageid":7787483,"ns":120,"title":"Item:Q5757932","lastrevid":50160953,"modified":"2026-01-13T07:43:32Z","type":"item","id":"Q5757932","labels":{"en":{"language":"en","value":"Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5188825"}},"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":"Q5757932$116E30CA-5D3B-4B7A-BE11-325FED6DC30C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"deef65f40e33d8cedc878ba0d5cc754619194270","datavalue":{"value":{"text":"Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5757932$592BD549-B8D5-4805-A242-18F11D52F1F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"958e1a86c4243e80bfa3c2e4c8aea52c26c8bf6d","datavalue":{"value":"1132.68489","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757932$6EB369AF-1F23-4470-8FD0-1B2CB8AFCF93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"06110e94a453f6fc5c1d3abc7efa465f4520cea4","datavalue":{"value":"10.1007/11780274_31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757932$557D5155-9338-4293-A97D-7B58939DDA69","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"19c8b8152eb049581c2538d13b0e2ff0fba8e40b","datavalue":{"value":{"entity-type":"item","numeric-id":520242,"id":"Q520242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757932$4FFF78C2-813F-4FCB-BFE2-F0CC204BED27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f6f99687ff908843c429ffd48d1e31213ec62ef","datavalue":{"value":{"entity-type":"item","numeric-id":520243,"id":"Q520243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757932$C933F5E1-A788-452D-B593-D7681FACBA9D","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":"Q5757932$AF3CB4B1-29CE-4C45-A187-E9B49679362E","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":"Q5757932$79CB952A-E87C-49C9-BBFD-80CD021D2FCB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757932$400A18C7-B1FA-4184-8861-58B3D3FAED03","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6154963f6770eb3a17248b0863fccf32fcba9d1e","datavalue":{"value":"5188825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757932$6ECDC3BA-E605-41DA-91D8-4597FB313D37","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91328e3ac5dfce9b45d01b607b8d8c272a5b6733","datavalue":{"value":{"entity-type":"item","numeric-id":14670,"id":"Q14670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757932$79018CEA-7D9C-444E-8629-C115CB24C9F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9cc08f1ee64c2fc0d984a8fe54c7c857eeb0cc4","datavalue":{"value":{"entity-type":"item","numeric-id":18366,"id":"Q18366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757932$400CF9BE-70D1-45B2-8083-D231F86F6E87","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":"Q5757932$A51609F6-E1C7-4290-902E-74BE7CDDB45E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22db79b96bb38b05f2456980e354bfe0540ebd53","datavalue":{"value":"https://doi.org/10.1007/11780274_31","type":"string"},"datatype":"url"},"type":"statement","id":"Q5757932$D1F8BCA5-360B-4075-907C-88A9D3603F88","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8f3375a161f0abe78f948c9b35d970d6cedafeb6","datavalue":{"value":"W1498922229","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757932$1AEAEEDE-DF67-42E0-A57C-908BCAE8300C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25736883009efaae8de8977a8e3f10e459b60b2c","datavalue":{"value":{"entity-type":"item","numeric-id":5902548,"id":"Q5902548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a08e278ad897cde822f058dac70906d5a7a8eb32","datavalue":{"value":{"amount":"+0.8189628720283508","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":"Q5757932$6F8008C2-A232-4358-BF2B-FA6956D81A61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01bb9d87dfca15f9f91465c3f5882ccb143ee83c","datavalue":{"value":{"entity-type":"item","numeric-id":5403084,"id":"Q5403084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e43270f6cd61cacbde1993dbabc51e02afbc76b","datavalue":{"value":{"amount":"+0.8043364882469177","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":"Q5757932$E0F00830-D13F-4EF4-8198-6B8608B8DA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da7f7d986cb197af63368075cf4757c0b33d874a","datavalue":{"value":{"entity-type":"item","numeric-id":2863871,"id":"Q2863871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1143c05ac085836c5188b44ffce1a2dd51c9464b","datavalue":{"value":{"amount":"+0.7854589223861694","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":"Q5757932$5891774B-2645-4C93-A492-3365D924652E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b56e97bb40511e5826c664071220970d165b082","datavalue":{"value":{"entity-type":"item","numeric-id":2945712,"id":"Q2945712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"711c2a437b11a0b460636ae91c12f1feff14d2a3","datavalue":{"value":{"amount":"+0.7629907131195068","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":"Q5757932$75251404-2128-497F-9ED6-3B4129599269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4697e35a29eb033ce61d01130aff3b086a815d26","datavalue":{"value":{"entity-type":"item","numeric-id":1929233,"id":"Q1929233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"058eeff7df3909317e95553942fbd0424f89f853","datavalue":{"value":{"amount":"+0.7391387820243835","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":"Q5757932$73B43505-25BD-457C-B752-737D9B7204C4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5757932","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5757932"}}}}}