{"entities":{"Q5757944":{"pageid":7787495,"ns":120,"title":"Item:Q5757944","lastrevid":41893519,"modified":"2025-05-09T12:10:16Z","type":"item","id":"Q5757944","labels":{"en":{"language":"en","value":"Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5188838"}},"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":"Q5757944$759D4469-5A43-4622-B0C9-60918AC03C18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efd9b9b98d74f04efb510525b7dd50beb66c5e4e","datavalue":{"value":{"text":"Non-intrusive Formal Methods and Strategic Rewriting for a Chemical Application","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5757944$264E4DA5-D095-47CE-8B1E-7C945AA44697","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"384917a8567378aff105007a7dd27fb913f17ea0","datavalue":{"value":"1132.68319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757944$AC5FB092-8518-4858-BB02-2B2C5A105643","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d65449369e91adc47fa13c19dbae2f42205f9022","datavalue":{"value":"10.1007/11780274_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757944$B7F4878A-FF93-47BD-826E-8E3FEC2BCC71","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7406cc5bd586b8c46eeb27ef7bd3127717c722b","datavalue":{"value":{"entity-type":"item","numeric-id":271707,"id":"Q271707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757944$EC9FD6CF-BAC3-4D22-A733-74C8F29DBF6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"262647456a5692fb763ad370ec72184fb1ee3cb5","datavalue":{"value":{"entity-type":"item","numeric-id":2863875,"id":"Q2863875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757944$FED01791-8CE1-4395-956D-522DDD621E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"318dcafa750fdebd097595276bc4d8a687f38a37","datavalue":{"value":{"entity-type":"item","numeric-id":271708,"id":"Q271708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757944$2A23AFBC-328B-487C-B583-3E05DBD21432","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":"Q5757944$EF72196D-90C8-4309-9345-B8360B66EB5C","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":"Q5757944$6045B508-0F53-44AF-98F6-2F4B9956BB05","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757944$C7A46F70-6939-4161-B387-053B64475063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0e40b847cfa456e95c1c964a8cd9df72656b7c29","datavalue":{"value":"68U20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757944$DD2D14ED-B037-41F0-BB71-E5820E54203C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0401b536e7fb40315b94c06d6e995ad118c1cfc","datavalue":{"value":"92E20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757944$11A8777C-F6B8-488B-BD56-8EA7F3577BF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"542969262d31c114153a1806687fb5d5bf80cf90","datavalue":{"value":"5188838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757944$6AB6116D-9238-4FB0-A378-B38DA4054C31","rank":"normal"}],"P1463":[{"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":"Q5757944$7FBCB893-A4A3-4196-BD03-D8AC02CF3623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"885ee1ec1aee75d494f5fda220bb0afbe53a9008","datavalue":{"value":{"entity-type":"item","numeric-id":22087,"id":"Q22087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757944$BAEAC196-AA7C-4497-9872-DD4482A917AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9603190ee33506d1da020c1738e35e67bcae23b6","datavalue":{"value":{"entity-type":"item","numeric-id":13999,"id":"Q13999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757944$E657F2A2-37F1-47A0-830B-7624E8AA6650","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cd04686736bf6ba8b9ed99666881790f28821c88","datavalue":{"value":{"entity-type":"item","numeric-id":15692,"id":"Q15692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757944$EFBFB795-B5E3-4758-AA7B-901CCB919C88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757944$48F42FA0-C316-437B-87D4-4098BFF67020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fd02d4d62b5959aa902e1ad2d76d1a474786d83a","datavalue":{"value":{"entity-type":"item","numeric-id":23262,"id":"Q23262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757944$F690FA45-7955-4DC9-AB7E-BFAD5BA4AB41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ff3afe29d1e8937c87b1c893d05e113e8bb60d3","datavalue":{"value":{"entity-type":"item","numeric-id":21793,"id":"Q21793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5757944$A7AF58CA-5D14-4196-9462-A99DE3DEE24C","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":"Q5757944$E97E2FB3-A10C-412C-A7BC-2BF0510EEC6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e67ebc322b06b7eebf79781c2ee03d872e617851","datavalue":{"value":"https://doi.org/10.1007/11780274_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q5757944$B1E4FEC9-DA57-4244-B39A-369EC829B0D2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ce138e6b0939ea10101a811f2868e705523a9fd","datavalue":{"value":"W1503244527","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5757944$2E5C3F08-CBB0-499A-B9E6-44096146DA14","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8d13af9ba0ee746392737396b7900f2070e50b2","datavalue":{"value":{"entity-type":"item","numeric-id":2863876,"id":"Q2863876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73387ca6ba382a7b39aa31c1889424c1958fb1f9","datavalue":{"value":{"amount":"+0.8321752","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":"Q5757944$E502C78F-1FDD-4432-A0D8-D8ED087FF932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07565b01232e9bbd5ccd9499c1558b7e94528976","datavalue":{"value":{"entity-type":"item","numeric-id":5942699,"id":"Q5942699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8b884c650d2900f40db446ec138d8898f80a2b4","datavalue":{"value":{"amount":"+0.8268697","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":"Q5757944$8D6D5C8F-8879-4FA9-8099-9DAF4413AF9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43e4ef054c382306e121bc03b6fcc57cf5c11995","datavalue":{"value":{"entity-type":"item","numeric-id":4222982,"id":"Q4222982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de11e30b56d9e626de0b641ca0ba47b31603b65e","datavalue":{"value":{"amount":"+0.8243305","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":"Q5757944$14683ED6-EFA2-454E-B4DF-BC16DEEDCE97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6bc0c2102d794bc0af34ce7d91cbacc07455f82","datavalue":{"value":{"entity-type":"item","numeric-id":4845488,"id":"Q4845488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1713d8a59942ec622f2bda0935685a096ded05a0","datavalue":{"value":{"amount":"+0.81803274","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":"Q5757944$1BF458F8-DD0E-484D-AE05-878CA51E49A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9d4bbca2b7044a14600d84ac18e7685b191252d","datavalue":{"value":{"entity-type":"item","numeric-id":5709377,"id":"Q5709377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5658711c858f575380863df869d3729f6c4c390b","datavalue":{"value":{"amount":"+0.81586736","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":"Q5757944$45DF7663-A270-4612-964F-A86945536ED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85a4a6a8102781341cefe1f38188188080abfb03","datavalue":{"value":{"entity-type":"item","numeric-id":2728864,"id":"Q2728864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6721ed4c3824b233e581aa9cfe35c90baf7556f","datavalue":{"value":{"amount":"+0.8154076","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":"Q5757944$B7AB61AF-5011-4CC6-8445-ED1AFF64CB5B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5757944","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5757944"}}}}}