{"entities":{"Q3088267":{"pageid":3098982,"ns":120,"title":"Item:Q3088267","lastrevid":79980074,"modified":"2026-05-06T15:09:38Z","type":"item","id":"Q3088267","labels":{"en":{"language":"en","value":"The rewriting logic semantics project: a progress report"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5940759"}},"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":"Q3088267$057E2A0A-2C6E-42A8-ABD3-DCC3139EC74C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe3bdd7a4a9cef144e44bb42320d2f9fe2338df4","datavalue":{"value":{"text":"The Rewriting Logic Semantics Project: A Progress Report","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3088267$09F27B71-E5B5-4198-9E90-E9572A637B92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"42a7297378f8431d25981c75e1aa1ff7c6e4306e","datavalue":{"value":"1342.68198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088267$B8F9E49A-6429-443C-90BF-4843B2B1486B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"240eb4e16645c6ea2d7e3a8f48f529c7efcd1d51","datavalue":{"value":"10.1007/978-3-642-22953-4_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088267$C27A37E1-8387-4FF3-B686-40B8E21CA942","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$EC38D7F9-7B65-483D-95D4-A2B0112672A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ec5e68015f94b1a9bef7898aeee73fd906f705d5","datavalue":{"value":{"entity-type":"item","numeric-id":393079,"id":"Q393079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$117B973A-C16B-4CC6-8337-3C00B9D19964","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d5f933ea207a65c750dcb31f616ab3a85677a7f1","datavalue":{"value":{"entity-type":"item","numeric-id":2842766,"id":"Q2842766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$02434EC9-1BB3-4A0B-A16F-855AF122B4D2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c9973b58de11bddbd329b1cc3e6e49b7db7b7641","datavalue":{"value":{"time":"+2011-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3088267$148C410B-A4EC-407A-984D-A1219CED6958","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088267$678F575D-B47A-4454-9182-CFCB75F6E29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088267$FB937BE1-FEFC-4956-B447-B66A97639AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088267$AFCA2BC5-B6D0-424A-9043-9ED640D193B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088267$5A799B75-2554-4CF9-9964-A2DA099675E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088267$13DB2AA3-565B-4F74-979C-EBE987EE9C30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1e529655097562ba2749cd6f14853554449d2878","datavalue":{"value":"5940759","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088267$3EF4743B-A79E-4148-93EA-ED21DB33FA6E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$D15377B4-C553-4BA4-B66D-4A249F947F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"903c7da49c20c9009e67a8d7476070a05dd9137f","datavalue":{"value":{"entity-type":"item","numeric-id":15266,"id":"Q15266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$00DD3E68-3CFD-4101-9AEB-F7D51916933B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4875bf5ef4030072805e7369a480c4d67cf56c4b","datavalue":{"value":{"entity-type":"item","numeric-id":21999,"id":"Q21999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$2D809059-1610-4E70-9158-0BC8299A2690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c84a95fccdab14533447d10553494c021eb7f89b","datavalue":{"value":{"entity-type":"item","numeric-id":19921,"id":"Q19921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$D816BC6F-D0BE-4D35-9B8F-74DEED392C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1086135eb7b4322a0d05723606cf2a9c1c52657c","datavalue":{"value":{"entity-type":"item","numeric-id":41255,"id":"Q41255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$A9AB6CB0-5C91-4E6A-B5E8-28736D3B19C8","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":"Q3088267$CE337367-57E7-4901-9060-916F51145353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a7e8c0ef4b2b655550f401b23c169644988922e0","datavalue":{"value":{"entity-type":"item","numeric-id":21725,"id":"Q21725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$797C6E96-B83C-4CCE-A6BC-7FB768637AA7","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":"Q3088267$D19F874D-DE3A-4DF8-94EC-3BEE52187046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d8c9ff4a9eac2a34ae6381abc2842acda7fc49e9","datavalue":{"value":{"entity-type":"item","numeric-id":43968,"id":"Q43968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$AEF6B805-FC42-478D-BADF-C6E05C435476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3edcee9066c8af5560373e04318011aa326faffb","datavalue":{"value":{"entity-type":"item","numeric-id":14483,"id":"Q14483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$4976B072-54EC-4667-9B7E-D75A0194C2DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcd47c161806a25bc13ea42a8c1475e950973b73","datavalue":{"value":{"entity-type":"item","numeric-id":19351,"id":"Q19351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$E85E910A-9C65-4C55-855D-E1473D7FA93B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f092ba9293d8b7ac65e42c9cbe995e637a0ef6f9","datavalue":{"value":{"entity-type":"item","numeric-id":22032,"id":"Q22032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$4D2B1CD4-81D9-4A51-B16E-3B443937C7CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b2848a22139715b6b4db6935d72ae558466dfe12","datavalue":{"value":{"entity-type":"item","numeric-id":43970,"id":"Q43970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$20977182-242D-4E49-A226-4E3249070BF7","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":"Q3088267$354EFFD4-2C8F-47CD-B4FE-7DA87F929FF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"59919fc0a89d0e262ebf7faae251c43c0ec38a0f","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22953-4_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3088267$0955BA7D-B59C-4ED5-A290-E96EF181AFDC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f0ef488765bf74d613093b234400441688ed4c70","datavalue":{"value":"W197556432","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088267$12A90507-D20B-4AA9-9999-177C06ED082B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ee9d5f4efce57aad8d86642a198daf9ff288bc6","datavalue":{"value":{"entity-type":"item","numeric-id":5387854,"id":"Q5387854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$EB8E183A-7645-4891-9367-3D2EAF13C7BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d550d470cfea6dc613ed71ebb175e2b091fac7ad","datavalue":{"value":{"entity-type":"item","numeric-id":3066121,"id":"Q3066121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$DC97DF1E-5FA7-4548-A497-C2AD2C63D56D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c79eaac2b8f83a9fe2a2586bf764b22510431f74","datavalue":{"value":{"entity-type":"item","numeric-id":3045455,"id":"Q3045455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$E3371FF7-49BE-41B1-B4C6-8935FA2B9036","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"354985d83868ff9d88e164f5936ab486c8dbdf5b","datavalue":{"value":{"entity-type":"item","numeric-id":1190491,"id":"Q1190491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$167F92ED-B091-4017-B2A8-9ED7C3AFB33E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f90f9000203b5cc02cd5a95785f3228e4b1b7c0","datavalue":{"value":{"entity-type":"item","numeric-id":2655325,"id":"Q2655325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$758E48D7-057B-4E7D-B9E6-D35752D90816","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ca916372ddf4976e9a7d31ed43c886f2e9cf804","datavalue":{"value":{"entity-type":"item","numeric-id":973052,"id":"Q973052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$78D0DDF1-A2DB-48BE-8BC0-552F139A7D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8de066f90ca966c57957d7d6f8ddd85b903555b5","datavalue":{"value":{"entity-type":"item","numeric-id":3079927,"id":"Q3079927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$9FBA747A-72EC-477B-B49F-1A9CBADC8454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d19f3f3b7b52d6ade047170369a3a6029e80999","datavalue":{"value":{"entity-type":"item","numeric-id":2849873,"id":"Q2849873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$948F3B92-1FF3-4D28-A12A-95B39BF88C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"993a0290c8b5d5862b3c4459907f50d914c2e0e5","datavalue":{"value":{"entity-type":"item","numeric-id":3763565,"id":"Q3763565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$B1C6BF17-A0E7-4B63-9E47-79A4571592C0","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":"Q3088267$95BF8EF4-3695-4C28-824F-A653AFC3BBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae5a68d987e3be5c6a6c5b5e962b6a8881b23a8f","datavalue":{"value":{"entity-type":"item","numeric-id":4447234,"id":"Q4447234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$35C7C847-6C82-4B91-834A-DDAE0B6ABF08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69bd394a77de6a66e7c3ead14354e268bd49cc00","datavalue":{"value":{"entity-type":"item","numeric-id":997833,"id":"Q997833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$18534B15-6D04-4B91-AFCB-C244237E4B7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eba26b4c6e7e14713296e06199e1f3da07085d22","datavalue":{"value":{"entity-type":"item","numeric-id":3184729,"id":"Q3184729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$11158B56-3071-4F55-A687-2CEC141580EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2b02b0da49b64177e47031faaa0120c9d5d8da7","datavalue":{"value":{"entity-type":"item","numeric-id":5312939,"id":"Q5312939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$9FFFCCED-473E-4850-B000-403C2AB2157C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a80a8f56558e83d7ae0691e1e0732ffa170b4c5e","datavalue":{"value":{"entity-type":"item","numeric-id":2873775,"id":"Q2873775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$361549F8-1C63-4DEB-B75A-35BCD79EF50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6007691293185549382bd2150d0c35a27394ef21","datavalue":{"value":{"entity-type":"item","numeric-id":5312976,"id":"Q5312976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$6F7133F1-5461-48BE-ACCE-67FC3C50B151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c1f656279da7b62fb310a2931362daf8282e1f7","datavalue":{"value":{"entity-type":"item","numeric-id":2736592,"id":"Q2736592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$13D49AD6-E57C-4F15-ACCA-C214B46EDB47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c730e7a11765d2866ae1e1a84de71868633eeff0","datavalue":{"value":{"entity-type":"item","numeric-id":4346205,"id":"Q4346205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$BB7AC673-6CCB-4822-9751-3D1E35D7A1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43ae42d29f950cc03234680715c3f919e70eaff","datavalue":{"value":{"entity-type":"item","numeric-id":3920616,"id":"Q3920616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$C2C51CB2-6D8E-4253-87DF-E716B119F415","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"819659da126c075c90133a709f8e37d582777724","datavalue":{"value":{"entity-type":"item","numeric-id":4283242,"id":"Q4283242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$B8DA752F-11C7-44DA-8AFB-D35A0C8E3486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$F78B3FBF-834E-43B4-8820-B0DF5AFBE8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3afbb4a47d7209874efa72790978439092feae1","datavalue":{"value":{"entity-type":"item","numeric-id":2873785,"id":"Q2873785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$AE7385E7-AB50-4838-B6E6-F4F2115EB023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f4016685ab586a486062134045d983ec6717750","datavalue":{"value":{"entity-type":"item","numeric-id":2849872,"id":"Q2849872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$E2F9DA86-182A-46E4-A153-82853BA45A34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"573c6c41ed26aa070e75225c6352a26e064dd624","datavalue":{"value":{"entity-type":"item","numeric-id":3774923,"id":"Q3774923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$352A171A-9A25-435B-8539-CBE02EDE5096","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae1e61e01faa04828b1fc9f03d146749b43168ed","datavalue":{"value":{"entity-type":"item","numeric-id":4933283,"id":"Q4933283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$D6BC884F-6C81-4A52-8700-8C2DEDE2996F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a8e791a785306c8b3508eb0c4e3f1bd0bbc0d0","datavalue":{"value":{"entity-type":"item","numeric-id":2873774,"id":"Q2873774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$A3673AAF-A0F2-49CB-882F-18F60AA7719E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f1f500bc5b0e1553468bf9427e3bbf3704bf564","datavalue":{"value":{"entity-type":"item","numeric-id":5391526,"id":"Q5391526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$7B2E7249-A28D-49EE-B96D-346B1C63F732","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":"Q3088267$ECBD9AA7-4CD5-427C-8CDB-80265C3B26FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35de7df0c420175ccefc3da8012590103dbdf602","datavalue":{"value":{"entity-type":"item","numeric-id":3839051,"id":"Q3839051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$BA1BBDD9-44A2-4382-850C-8958238CFB99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ab0340c0005c68f498e3451d1ec6cf3d32bacd3","datavalue":{"value":{"entity-type":"item","numeric-id":5312993,"id":"Q5312993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$7E7ED517-1D64-40E9-B5D5-E0A5169728A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9476ac1a83fef954224ee7cb1285ac824e5ebfbd","datavalue":{"value":{"entity-type":"item","numeric-id":877024,"id":"Q877024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$2A7A52C2-2885-4AD9-9E5B-9DF8F19646C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd64455995daac03a223d9fe45663bf4ad84b95b","datavalue":{"value":{"entity-type":"item","numeric-id":3613396,"id":"Q3613396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$07B92714-A716-4582-B188-DE065423670B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ce34cbbccb9cd5eb24a450616dc2e119bb503a1","datavalue":{"value":{"entity-type":"item","numeric-id":4385537,"id":"Q4385537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$555EDC2B-A166-492D-AE37-2BF87E7EA28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78d4ae7bdbe48148468de7cf4b48ebc920235126","datavalue":{"value":{"entity-type":"item","numeric-id":1878712,"id":"Q1878712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$637FF85D-2DB8-4E09-BC53-52E7D623BF7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"730c66190d161c62379a21e901aa6aeaf6d3f898","datavalue":{"value":{"entity-type":"item","numeric-id":1608921,"id":"Q1608921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$E639D672-D66C-43CB-82D9-5FE0B6FE9521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f17343293c82352a41b45771a8f5da36d8ea202","datavalue":{"value":{"entity-type":"item","numeric-id":880982,"id":"Q880982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$FC997C4B-C063-4C3C-AA8D-4C405C7EF36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e32e6c895a421389f04c5499d388fc13d53e99f","datavalue":{"value":{"entity-type":"item","numeric-id":2778806,"id":"Q2778806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$3F1AF2E7-E830-4872-AE7C-3473E2CD843B","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":"Q3088267$E7A465B9-9B30-440B-8E35-51BBADD937AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15bf6d897983c1481a365b427ec596e60e13f4a5","datavalue":{"value":{"entity-type":"item","numeric-id":4933285,"id":"Q4933285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$B31CD3C7-E6E0-432E-9008-29A0FC077F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"605288590e1847fbecf82b7f3abf4591e1cd9d8d","datavalue":{"value":{"entity-type":"item","numeric-id":3067473,"id":"Q3067473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$6550862E-9E5B-47D6-9FDB-5D331F3A3B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23623728af77877c2c658b5f16ea2ac66fec79f9","datavalue":{"value":{"entity-type":"item","numeric-id":987974,"id":"Q987974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$0B153BB0-1FE4-44D8-A926-9F364B5AD319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b379364cb252742c8efdf365072062c0dfb27c0","datavalue":{"value":{"entity-type":"item","numeric-id":5685626,"id":"Q5685626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$D1C6869E-3B57-415C-95E9-5C5B9884DEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c3fbcaeb90e2237225f0fbcbddb29c893ca5fed","datavalue":{"value":{"entity-type":"item","numeric-id":1012130,"id":"Q1012130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$9AA0CF5E-8401-447D-883B-C82434DA58A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3f1f6c43af3c6d33fccaf941b2fb3b3adab4658","datavalue":{"value":{"entity-type":"item","numeric-id":4855362,"id":"Q4855362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$4FB32479-FA77-404F-A7EB-09E2FBF6FD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b61b47c85558b5faaed5c516671e61165169563b","datavalue":{"value":{"entity-type":"item","numeric-id":2742791,"id":"Q2742791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$89FF6180-B3FC-4433-B9AD-46367D7A7098","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d4f1c5b719e73ed3058b8bbc5d147cd8e03642","datavalue":{"value":{"entity-type":"item","numeric-id":2851057,"id":"Q2851057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$E7AEE7F9-57B8-48D9-AB43-6A300C39CEBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed7643293467287b538da53a9e92f70fbc16f1cc","datavalue":{"value":{"entity-type":"item","numeric-id":2851059,"id":"Q2851059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$CF55CA32-B0D9-4B32-9472-37E049CDCAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5ba768d5535cb89837cb76303bb0a20b79390a5","datavalue":{"value":{"entity-type":"item","numeric-id":2715823,"id":"Q2715823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$9046FD0B-1154-451F-82FE-745512C261F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1ec042254cd964ad4dd9d9c4795be9dd93123eb","datavalue":{"value":{"entity-type":"item","numeric-id":816216,"id":"Q816216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$D3A1D90D-4749-4DD7-83CD-0E2E8A4F6FD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6162c349ebc1556b23372601241db714d15b970a","datavalue":{"value":{"entity-type":"item","numeric-id":2369036,"id":"Q2369036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$263C8B49-4D51-477B-86F4-27696CABBF6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d9525944835ab99fe0caee89af1d1c4f1696592","datavalue":{"value":{"entity-type":"item","numeric-id":1608925,"id":"Q1608925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$E780E81A-5605-4C65-85EA-4012BCF4EB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f930f357ff6152602f87a7d86b2ef183ddcec648","datavalue":{"value":{"entity-type":"item","numeric-id":1135108,"id":"Q1135108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$2820BC5A-0A3B-4C56-9341-E4624A3F522D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882d93c69c7ed7ad382958774ea4f9ca8a239ebe","datavalue":{"value":{"entity-type":"item","numeric-id":935476,"id":"Q935476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$B7F87A64-9FF6-4BF3-BBBC-374A295A4A70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"703c38c42313d689716c7647a70e27bfc1b2255f","datavalue":{"value":{"entity-type":"item","numeric-id":1608926,"id":"Q1608926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$D22C07C7-6F78-489C-9E6A-477A073F09E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088267$51D8D90E-B432-42F0-BC62-8BF876788F67","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f11ab555b7f115442d11c8cc9120555602651df","datavalue":{"value":{"entity-type":"item","numeric-id":393080,"id":"Q393080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b73d9bc89c3087e6357745e51b9ba01fea7e3dd4","datavalue":{"value":{"amount":"+0.9999986886978148","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":"Q3088267$DF5EC469-0185-448F-B8F5-1C4859F32690","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52efce906e0d09dd81500032ef7f803d4ae493ae","datavalue":{"value":{"entity-type":"item","numeric-id":2852094,"id":"Q2852094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e9f723f7faa300927c5804ecfdb603e376e022e","datavalue":{"value":{"amount":"+0.9182257056236268","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":"Q3088267$307B0A65-579B-4880-855B-83086E1AB755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8edec816c32ebde0d32d076b656f190d4eefd3fb","datavalue":{"value":{"entity-type":"item","numeric-id":877024,"id":"Q877024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed171a25f4c06a56ba992c7af94cca0a73b526d5","datavalue":{"value":{"amount":"+0.907701015472412","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":"Q3088267$47408313-63F2-4E1F-B2DA-88D673B43B6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d530b4582e3a2d11eb708625e99d82f79077b23a","datavalue":{"value":{"entity-type":"item","numeric-id":5307047,"id":"Q5307047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10c501a5efeb1ec81fab4c664a3bf0c95a98ee17","datavalue":{"value":{"amount":"+0.8481831550598145","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":"Q3088267$AD0E1D43-976B-456F-A915-21E9073D713B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"150ec41cca31534b83a2031a23ff46f22a466d9e","datavalue":{"value":{"entity-type":"item","numeric-id":2945730,"id":"Q2945730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37c259ebc79c813efb2dff46e3da2a3cb1abb84e","datavalue":{"value":{"amount":"+0.8361082077026367","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":"Q3088267$BA5D517E-DA71-498A-942C-AC79A5ED22AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The rewriting logic semantics project: a progress report (scientific article; zbMATH DE number 5940759)","badges":[]}}}}}