{"entities":{"Q3079927":{"pageid":3090642,"ns":120,"title":"Item:Q3079927","lastrevid":86431082,"modified":"2026-06-03T21:00:26Z","type":"item","id":"Q3079927","labels":{"en":{"language":"en","value":"Mapping modular SOS to rewriting logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5860268"}},"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":"Q3079927$ADEE87F1-EFBF-442D-9306-1DEF6D04ED2C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"508fe2146136046c80652d444b2898977af8ed4b","datavalue":{"value":{"text":"Mapping Modular SOS to Rewriting Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3079927$EADB6A77-16A6-4705-B5C5-37F46E63437B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4d7d6c5e79120ce992748bfdb2102eb572f059b1","datavalue":{"value":"1278.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079927$79297ADC-D7F3-4ECA-A6D4-8FB33432A3A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f0fddaf7bfb790539b567708f314a87b0cacf751","datavalue":{"value":"10.1007/3-540-45013-0_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079927$B35AB405-E46E-49C2-A712-645B3F6EA0B9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa34893d5bb2643175d60768cc852b9ee634e16d","datavalue":{"value":{"entity-type":"item","numeric-id":3079926,"id":"Q3079926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079927$E0E43AA5-C140-4B99-BDF4-E933389E2347","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"523eb1c9f92e29e52a82edbd2df5947e22806cd3","datavalue":{"value":{"entity-type":"item","numeric-id":281153,"id":"Q281153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079927$279CD08E-5FE4-485A-A341-E1FDAC0010CC","rank":"normal"},{"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":"Q3079927$88C10A0F-78DA-4196-B8F8-DAF47BDF7563","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"73fae7aa6d0c7c2cab5ae77c738df9d6a0e9e85b","datavalue":{"value":{"entity-type":"item","numeric-id":516040,"id":"Q516040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079927$27DD9369-9488-49C6-A622-343F7164C997","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1b30e253b497c9ae83eb323a9f6b0623853ce927","datavalue":{"value":{"entity-type":"item","numeric-id":3079910,"id":"Q3079910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3079927$2EE18EF4-D23F-4376-AE23-744F0D9A56DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aaeaed951fddecc25ccb3e6e454be3a7c14119bf","datavalue":{"value":{"time":"+2011-03-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3079927$721D85A6-F461-4817-B155-163A055B139F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079927$92C486D4-C97C-44C3-8484-65D8D6A42CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079927$A4832F70-4F99-401B-A4DC-5A51494962B3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7746cf11384666aded38149fff9635a47b4128e0","datavalue":{"value":"5860268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079927$9F02C51A-0000-4DCC-92D9-2B39EB055002","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"dfb3d7f30b632900d66bb24490dd32dbdd311d32","datavalue":{"value":"Q57783496","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079927$56AE6D10-3C61-45F9-8075-A43EF3A7EBBD","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":"Q3079927$02DD6ED9-E0A3-4B60-B067-07EDD0F146EB","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":"Q3079927$02D3BC56-8D63-451A-B506-CE58D59884FB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7644c97372c8f39682ecaa2c7c60081636006f9","datavalue":{"value":"https://doi.org/10.1007/3-540-45013-0_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q3079927$FD16C48A-EC33-404C-B753-1AEC8DDC4CE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fc410808050fead0a75c0090566a3a01f783ab8","datavalue":{"value":"W1554594749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3079927$68BBCDF6-8B65-4F7B-AF9A-6C45E922C6AB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db7cb7b2052e3ea7e556ceee518dcffffbdbb659","datavalue":{"value":{"entity-type":"item","numeric-id":1878712,"id":"Q1878712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"375c79175a905bcb45145e022a377b622f8f687d","datavalue":{"value":{"amount":"+0.8045725226402283","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":"Q3079927$2D1517C8-29C9-4F4E-9376-80AA30E50215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24723129e383448b883fa7b53ed16c0e37319c0d","datavalue":{"value":{"entity-type":"item","numeric-id":5312993,"id":"Q5312993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdd0f308f0c58b5ecf28a7d64b807c81422c1b80","datavalue":{"value":{"amount":"+0.7861211895942688","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":"Q3079927$E3D16301-9782-4861-8D23-BC2DBE8071D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9daa8b4b827c92a6981e1545775b394e11a4b31a","datavalue":{"value":{"entity-type":"item","numeric-id":2767190,"id":"Q2767190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f65dc68a87cc05aa94cbd69044dbe8ff165d563","datavalue":{"value":{"amount":"+0.7835494875907898","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":"Q3079927$C7E62D7D-D629-4D6E-81A5-D1F4C317056D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8f4c9630170b9fd0de64ca312283447776de174","datavalue":{"value":{"entity-type":"item","numeric-id":4223005,"id":"Q4223005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"665e386dbb3e23085d39a5ddf66c11fb897c17fc","datavalue":{"value":{"amount":"+0.7595793008804321","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":"Q3079927$47658165-4612-45AD-A411-8CF483D05035","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":"4c915f26c17297de9d05d77d488610179aa5a6f7","datavalue":{"value":{"amount":"+0.7512887716293335","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":"Q3079927$919AB9EC-D445-4E52-B2C1-29DC41151D49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Mapping modular SOS to rewriting logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Mapping_modular_SOS_to_rewriting_logic"}}}}}