{"entities":{"Q5457268":{"pageid":7486827,"ns":120,"title":"Item:Q5457268","lastrevid":50335328,"modified":"2026-01-13T20:31:38Z","type":"item","id":"Q5457268","labels":{"en":{"language":"en","value":"Validating behavioral component interfaces in rewriting logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5263015"}},"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":"Q5457268$8FF5BC4C-150A-4A41-96DD-E9D6BC34FDB4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d98e438589b501d9c88741ca46dbc8ce2a35156a","datavalue":{"value":"1147.68573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457268$868BC300-18B7-4EEF-B818-E1E4962995A6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"766a7b4a0daa5b8547ebae773097f31bce780235","datavalue":{"value":{"entity-type":"item","numeric-id":444464,"id":"Q444464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5457268$6ABF4DAF-3DA6-4315-AD38-1D8FAADA786C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"49a3a8c4e00dcbc97f85642c2695ec01433ebead","datavalue":{"value":{"entity-type":"item","numeric-id":444465,"id":"Q444465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5457268$09265DA1-8F2D-460A-8D85-91E4B09E5D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a30807a509639250990563df470b348ecdb45a1","datavalue":{"value":{"entity-type":"item","numeric-id":3400929,"id":"Q3400929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5457268$E2A22CA1-C4E1-447D-9AA8-5221365FC5CB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f9febd79edc09e0529544fa9ed79527a572db90","datavalue":{"value":{"time":"+2008-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5457268$9EA6F1AA-B89E-4EA2-8399-0F686BC846A1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457268$9C960CD7-3702-40F0-B52D-6932202143EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457268$F06251C8-A5FD-4774-A629-B65657F73489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457268$8E81F10A-C411-4080-B953-BAEFC4F41E61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7be2f073164cab1e6340638d91250f258843106b","datavalue":{"value":"5263015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5457268$CC420CD1-5767-4483-835E-3A4432DA0E6C","rank":"normal"}],"P1463":[{"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":"Q5457268$F850A460-3535-4A10-94DD-9CF0ABEA0A13","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":"Q5457268$52C329CA-AD9E-49A7-94EF-33F158F92F6C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6003db5f6ccae9674d8d07e316512ccbb50047e9","datavalue":{"value":{"entity-type":"item","numeric-id":4705977,"id":"Q4705977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"600e0fc0ddfd7d1af4847cfce8179147b5fa5416","datavalue":{"value":{"amount":"+0.7160666584968567","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":"Q5457268$BAD74F09-19C9-4A1D-B0E9-A9A13DFB98BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c31bdd06763137e362e8a19c21d4ecae83c1ae","datavalue":{"value":{"entity-type":"item","numeric-id":4804913,"id":"Q4804913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a7de5a46225827ba477dd925858e1f6cf814b7f","datavalue":{"value":{"amount":"+0.7010768055915833","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":"Q5457268$11145590-8BAB-4A71-930E-22B1474FB86A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1334a64f1751c4fed96bc40180dc5614c1bf07ac","datavalue":{"value":{"entity-type":"item","numeric-id":5900951,"id":"Q5900951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3119c1f17a703a896830deba1bc4f8a558ad09b","datavalue":{"value":{"amount":"+0.6904619336128235","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":"Q5457268$BB23C83D-D22F-464A-8197-EC4FEC828E66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d223594e2bdadab991cd6c7d1b492c494f4dcbc6","datavalue":{"value":{"entity-type":"item","numeric-id":4762648,"id":"Q4762648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc89dd784f98c7f04246331c38a8fae8d2ffb10","datavalue":{"value":{"amount":"+0.6834389567375183","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":"Q5457268$351B8367-E495-44B5-831E-FDB7EF4D6CA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"471ab01d9a0f4aa020c1377dffa884b32b68684d","datavalue":{"value":{"entity-type":"item","numeric-id":4222864,"id":"Q4222864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbc89dd784f98c7f04246331c38a8fae8d2ffb10","datavalue":{"value":{"amount":"+0.6834389567375183","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":"Q5457268$3BCDE916-4675-439B-A431-D711F629F206","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5457268","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5457268"}}}}}