{"entities":{"Q5403072":{"pageid":7432646,"ns":120,"title":"Item:Q5403072","lastrevid":75490816,"modified":"2026-04-19T06:21:01Z","type":"item","id":"Q5403072","labels":{"en":{"language":"en","value":"Inspecting rewriting logic computations (in a parametric and stepwise way)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6273799"}},"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":"Q5403072$2F693F7A-9CF3-4113-97D4-CB061E0863FF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3557c352491de72f43d158ef9e08270a8068bd68","datavalue":{"value":{"text":"Inspecting Rewriting Logic Computations (in a Parametric and Stepwise Way)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5403072$53838F85-BE12-4A04-9AC3-7CCCEA4984D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7be96ee8c6c89754c30b0f7927edf290bdc79056","datavalue":{"value":"1407.68097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403072$34C2F612-C97D-454C-ACDA-3252A9D17417","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fd4231066b180a704b77465537f2d8b44dff2d92","datavalue":{"value":"10.1007/978-3-642-54624-2_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403072$9238797C-9C87-477A-8F3A-315720CC60B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4df2f4bc2ffe4036b415b2ee5c20621445d90244","datavalue":{"value":{"entity-type":"item","numeric-id":5403065,"id":"Q5403065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403072$D0D77768-1307-4666-8184-C1088D0A1BFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dffee03b61d790552fa728bec5833993c2eb4588","datavalue":{"value":{"time":"+2014-03-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5403072$293B418F-5811-4C78-B199-2500B2FDE2EB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"49ebf0d345db082847bdcf5cca4eaa18f2af1318","datavalue":{"value":"http://hdl.handle.net/10251/47179","type":"string"},"datatype":"url"},"type":"statement","id":"Q5403072$9C475916-8D3D-4BF7-A25D-E38FBC399354","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403072$042597B4-1FCB-4981-B499-C2D2A202CCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403072$B7FE08CF-7AC6-49C8-8F29-6E86D151B112","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"65b6fa951f97d16d57631e51dd7ecdc9fc779c51","datavalue":{"value":"6273799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403072$28446F44-6E5A-4F0E-8B6A-7C87E8C64368","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"58a120c84e86c4b9678ada44958848bf104e3fdd","datavalue":{"value":"Q57978126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403072$B908D124-B1D4-47F7-B200-14A3784DCA5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9ad0f43ee1ceda3dd968cb3b2fb5c858da6895a","datavalue":{"value":{"entity-type":"item","numeric-id":671507,"id":"Q671507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403072$8C13DE5D-F69C-4025-867A-1A8AC229992F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7bedddcaa4079608b92d416340054faab978bb4d","datavalue":{"value":{"entity-type":"item","numeric-id":739627,"id":"Q739627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403072$A4B23553-4AA7-4355-B297-277C8455D9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f24c28fd08a413ff0f28ef13aeed0d37f740f98","datavalue":{"value":{"entity-type":"item","numeric-id":739628,"id":"Q739628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403072$53E8C408-A784-4BDB-901B-2FED7A2FE655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6d326dde040720157c585183b6d2e8a202bb550f","datavalue":{"value":{"entity-type":"item","numeric-id":739629,"id":"Q739629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403072$ECF2FFD3-6878-4665-A5AF-66AF74A97262","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":"Q5403072$811F2A92-22B9-4DCC-BEA2-AAADCECC6425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c79e7ab23ee82c98546ee8c91c30e7af9df0ec50","datavalue":{"value":{"entity-type":"item","numeric-id":21882,"id":"Q21882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403072$F467B6B4-BE81-43C4-8B91-EEED4EE39DA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f159de17de6661aec16c3d427739a87985eba64d","datavalue":{"value":{"entity-type":"item","numeric-id":21883,"id":"Q21883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403072$C0C0CB43-3478-4387-8109-74EB909570BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1740e4072c5c516f9acf46b64f4773bd79e8a00","datavalue":{"value":{"entity-type":"item","numeric-id":21884,"id":"Q21884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403072$237B254C-3BC6-48BE-AACA-41C954C5F3D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e4c1740b7bc279a487e70ef859787993552f1950","datavalue":{"value":{"entity-type":"item","numeric-id":22070,"id":"Q22070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403072$FBC3870E-EE07-48AC-8557-0DCE0A0A9B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4c46d5a399090ba32f5e0f0288380e87e058a780","datavalue":{"value":{"entity-type":"item","numeric-id":21760,"id":"Q21760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403072$83EE1265-671A-4FFA-A25D-3AD1C5170D92","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":"Q5403072$926E8A22-4F0C-4C60-9928-084C55BE2C83","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90e4db15b5e0a6ee50858606edc1449b439b6dda","datavalue":{"value":"W2109540130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403072$103839BC-4963-4F07-884D-02879A46AD57","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ada905b9ffd50d362eb0f5bf00c43613ad6045ee","datavalue":{"value":{"entity-type":"item","numeric-id":5200013,"id":"Q5200013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403072$9ECDE0AC-D3E0-47E6-A629-266039714F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2cc2053bc498163f0806d262c731adbbb33a09e","datavalue":{"value":{"entity-type":"item","numeric-id":2891440,"id":"Q2891440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403072$6AB96320-961A-49A1-AB86-F78C60DB5585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84ab5e8e2cb4633034d3747a964aea829975e001","datavalue":{"value":{"entity-type":"item","numeric-id":2503334,"id":"Q2503334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403072$C944B483-02B3-491C-A72D-373A506D28FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e39b46036e0e44c388baf61cdcb5ecf5b5fa7252","datavalue":{"value":{"entity-type":"item","numeric-id":4447224,"id":"Q4447224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403072$C8E9B847-7EFF-41B7-BB2A-B4705D22C56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866e49a2bb01a72bdb249686d914712453b16f61","datavalue":{"value":{"entity-type":"item","numeric-id":2763681,"id":"Q2763681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403072$10C01740-C52B-4D38-AAA3-5C1784F88A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7759559e7c39755583ff3aabfb74de64789139d0","datavalue":{"value":{"entity-type":"item","numeric-id":4933280,"id":"Q4933280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403072$6D27C195-A5C4-4CBA-8D04-90D70BFF6BCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e76fb45e28ec1fe2b0effcfeeca5b6f58e3c6de2","datavalue":{"value":{"entity-type":"item","numeric-id":4447218,"id":"Q4447218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403072$0710FAFE-1141-41C5-A3AD-EE3493805684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"720f52ab783e3305f6a4289711e5737a68051525","datavalue":{"value":{"entity-type":"item","numeric-id":1615001,"id":"Q1615001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403072$D94EED16-5363-4BB4-9D51-4CAA87B04832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c264d0378a5f30df399a3e5c6ab315df59ddacaa","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403072$C42BFD5B-7EFA-4237-86B8-AAD819430675","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cab673f4e1c1b60b2fc4458be2cef3d08cfda647","datavalue":{"value":{"entity-type":"item","numeric-id":3507374,"id":"Q3507374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403072$BC4E81D5-65A6-468A-9B8D-2FD78ACA8209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61f346e63dee789653d6bad4df7ae6e151140655","datavalue":{"value":{"entity-type":"item","numeric-id":1878710,"id":"Q1878710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403072$2907CFDC-A2BB-4DC8-8B9A-F4CCE08338DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b0036de8f2ce926e07e3b848e8779c91a62283d","datavalue":{"value":{"entity-type":"item","numeric-id":3184739,"id":"Q3184739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403072$1DF2B490-90EC-4566-A67E-4C57285C38B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ffbf8b13b78749fedfdee6abc7a71da8c006c2dd","datavalue":{"value":{"entity-type":"item","numeric-id":5389150,"id":"Q5389150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5403072$D1808C9F-C972-494A-8F93-DD40CCCAE882","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"fd34af602b21b0fd18c88e4d669843bc5972226f","datavalue":{"value":"conf/birthday/AlpuenteBFS14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5403072$743BE25E-4082-4212-99C0-893601EFF3DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96c60be588f61c4bf09146379554fc46dbf7ec8b","datavalue":{"value":{"entity-type":"item","numeric-id":485831,"id":"Q485831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27b0e6b471ca72001d097b197aa8e8d964e00101","datavalue":{"value":{"amount":"+0.8756119608879089","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":"Q5403072$F2DFFAB3-09DE-4FDD-8CC2-836844C2DD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f83340d00027a2ddf1d5fc3ffb7e3b8f09fd4796","datavalue":{"value":{"entity-type":"item","numeric-id":5200013,"id":"Q5200013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c05a0c130a08db2154c0f1a35e0df0ec4c334f7b","datavalue":{"value":{"amount":"+0.7898120284080505","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":"Q5403072$08281AD4-9DC7-4B9E-BF51-1FFF7B0FDB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97fb6a13ba993bc9825abde3fffb168165722322","datavalue":{"value":{"entity-type":"item","numeric-id":2891440,"id":"Q2891440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c13d4afa1979c15bcf0b9ea8586bf1bcd2fa99e","datavalue":{"value":{"amount":"+0.7620005011558533","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":"Q5403072$6CBAA533-5207-4D9F-BDA7-A00DD76DF095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"843275076a97d6c90eda2664e85eafd1b20f31a8","datavalue":{"value":{"entity-type":"item","numeric-id":5881198,"id":"Q5881198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6823f7f6bd9d04cb71eb153de41b22f1ad2bba0","datavalue":{"value":{"amount":"+0.7146831750869751","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":"Q5403072$DBA40705-0A35-470D-BE21-40401D2EAF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb938d9d598046ea42ef47ea8515a69de2a93a97","datavalue":{"value":{"entity-type":"item","numeric-id":3617763,"id":"Q3617763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bbb65dd56893d6fb528362003d6990f73e1f28b","datavalue":{"value":{"amount":"+0.7132757902145386","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":"Q5403072$478ED656-447D-4D33-9B80-8A4ABD5AC6EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Inspecting rewriting logic computations (in a parametric and stepwise way)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Inspecting_rewriting_logic_computations_(in_a_parametric_and_stepwise_way)"}}}}}