{"entities":{"Q3025340":{"pageid":3036056,"ns":120,"title":"Item:Q3025340","lastrevid":48513070,"modified":"2026-01-05T01:47:31Z","type":"item","id":"Q3025340","labels":{"en":{"language":"en","value":"A Verification Logic for Rewriting Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2187134"}},"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":"Q3025340$4F5DD770-C943-4DFE-8F5C-04EE763C0B85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e10554f17db341418ab578ca2d1c96b3c6750b66","datavalue":{"value":{"text":"A Verification Logic for Rewriting Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3025340$945DF7F5-17C1-4D63-BC6C-C9B6CE4E0ADC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c02a13fbb0115fe052027eb6784709334666e158","datavalue":{"value":"1101.68684","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025340$E267B069-0628-4ACF-B2CE-A1EE5CBF4C64","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf075aaec86a3ce2575469311f0a5edc1faa7cd9","datavalue":{"value":{"entity-type":"item","numeric-id":816215,"id":"Q816215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3025340$ECCD6F25-72CE-48BC-B293-B512E3CD54D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b21888a8ac048de8b4c4dfa1b049a7bf144cfa8","datavalue":{"value":{"entity-type":"item","numeric-id":1402472,"id":"Q1402472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3025340$8CDB5F1D-C70F-4D09-9BCD-17D2A7B4B2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"754d0fa1bb49600f4f02ba3ce85d71701d3732c0","datavalue":{"value":{"entity-type":"item","numeric-id":407505,"id":"Q407505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3025340$39F1B71B-E64B-4017-9947-78FFD16DB16A","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":"Q3025340$783B09D9-B43F-49EC-B1F5-9C8BB212C76F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b70ccda10eee0149f281c226dd8d9cc2ff73c3","datavalue":{"value":{"entity-type":"item","numeric-id":673999,"id":"Q673999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3025340$6F0C634B-7E64-497A-9D1C-5D8F3D989428","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f460ecd3e2e10668e6c23b104091f0f56f4b7683","datavalue":{"value":{"time":"+2005-07-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3025340$BD748F58-662A-456A-8F7C-D4A86CFB6AC9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025340$CEDFBC3D-D402-4A3E-9297-FA061C025F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025340$D9FA11C9-B248-4A98-8571-A199CBCCC4DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025340$AE67E741-FB22-4D28-84AF-E6B70C992573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025340$267E3B58-CC47-4072-B3D1-DEACE88AAE29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025340$B167F044-727D-4C7E-BDB4-2E8CD2536D6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e0caa158ba56abef3dd688bf20cc11e76981f5f1","datavalue":{"value":"2187134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025340$0C74AED9-703A-4E9A-8CF7-E7BCE5DED325","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c15bda0610ba1a460baddf4003de12ce3845ee80","datavalue":{"value":"Rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025340$21A1A156-3AE1-484E-B079-0A96CE1C438C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1dc548ee6e2412a1eb818a61442ace80a93da905","datavalue":{"value":"modal action logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025340$8DACB0E9-9284-4047-8197-C76888BFE964","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025340$3781FD9A-C088-43FE-B521-B5297979CA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025340$11CBBF96-37B4-41D8-B83C-C3C549549C7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3025340$26DE9E53-81DC-46EA-9F1D-BF2F070C73A7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1dec436d7a27d57a4d1348c53992f2ff274bbb8c","datavalue":{"value":"Q123905894","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025340$5E2DE639-9E70-42AB-B915-51C4B2B9011D","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":"Q3025340$0EFF5771-5E2E-4F19-9B38-287E694E6C0E","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":"Q3025340$6C3DC7BF-1C19-46D3-9E36-F98024259CD3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4f85ec3bdc4992251259991ecf866214f1c03c1e","datavalue":{"value":"https://doi.org/10.1093/logcom/exi015","type":"string"},"datatype":"url"},"type":"statement","id":"Q3025340$F0630E37-B9DA-420F-AB84-C8E17546C6AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea47391f0902181e2aa29cc2d8fe5128f731b2a3","datavalue":{"value":"W2148361595","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025340$124FD905-0C0A-455D-AA8D-AEC82296CABA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"716c28c6d6243e19a7eee618260d0577f908cbbe","datavalue":{"value":"10.1093/LOGCOM/EXI015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3025340$D93463F8-A79A-4971-95DF-EE140014C593","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3025340$0D7AD30B-EB81-4772-BE37-C329DB258023","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983cd21deef8e8804b56013c2e7cdcc132ea1307","datavalue":{"value":{"entity-type":"item","numeric-id":2722043,"id":"Q2722043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddce1bac09d4f6e7104ee697f71633162de3be43","datavalue":{"value":{"amount":"+0.9736936688423156","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":"Q3025340$6F742772-E6EC-42D8-8091-8BAE0A0586D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11b9c66dd7979b2753708f697c863777f7765acc","datavalue":{"value":{"entity-type":"item","numeric-id":844884,"id":"Q844884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddce1bac09d4f6e7104ee697f71633162de3be43","datavalue":{"value":{"amount":"+0.9736936688423156","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":"Q3025340$895C2655-689E-4745-A871-15FCB010C9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62914308c0631b8c8027cd93d5a4c76e0e98147","datavalue":{"value":{"entity-type":"item","numeric-id":2945720,"id":"Q2945720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f030aafd9375c8226ec7407a3dc7501aa15e2e41","datavalue":{"value":{"amount":"+0.8195856809616089","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":"Q3025340$EDC017B9-0F98-4891-AEFE-29BED09CAAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e8d79d393b68a623775dab7a4b12e8e280acee0","datavalue":{"value":{"entity-type":"item","numeric-id":2850670,"id":"Q2850670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"320e080399944af321b5ce59ef12a3ed51dbc0bd","datavalue":{"value":{"amount":"+0.8108195066452026","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":"Q3025340$F17D5947-7785-45CF-ABED-A214D3F4F7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95bf4e7cec3be29039b124e7af997727f9b30b50","datavalue":{"value":{"entity-type":"item","numeric-id":1931904,"id":"Q1931904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a778679482d3789b18bbbd37c35176401125c60","datavalue":{"value":{"amount":"+0.8070616126060486","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":"Q3025340$95096950-0FC1-4FAD-AA6C-23FE02D1A459","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3025340","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3025340"}}}}}