{"entities":{"Q6562521":{"pageid":14173676,"ns":120,"title":"Item:Q6562521","lastrevid":40561869,"modified":"2025-03-06T20:54:49Z","type":"item","id":"Q6562521","labels":{"en":{"language":"en","value":"SpeX: a rewriting-based formal specification environment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7871792"}},"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":"Q6562521$6E2CC604-81DD-4D9F-A850-C0AF49C56AAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ea367dd7514f3fd7f2cf01f7fcf08eef5e378746","datavalue":{"value":{"text":"SpeX: a rewriting-based formal specification environment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6562521$CFAF80AB-D126-4460-AF87-3BEC74592FDC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eecd827ffd1c218cf8cf974c95b066d2c58bad03","datavalue":{"value":"10.1007/978-3-031-43345-0_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6562521$FACB6731-6330-41C3-8D4A-60778E6F961F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4d4ed989a6c46179e6e7f8db67beec0a18bd0fec","datavalue":{"value":{"entity-type":"item","numeric-id":387995,"id":"Q387995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562521$F10FF984-9633-4F9B-9CAD-0C1CC29CD0DB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fcfcd1ef10c7fde6c1cfae7c43e4bb4c52933f52","datavalue":{"value":{"time":"+2024-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6562521$6971A2F8-07B0-44AF-AD5F-302F8518F63A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6562521$96A8AF7E-FAF7-4208-B0FF-B70EF31B2F0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6562521$7A9B8A95-B94B-481B-B088-F5D56DDA32FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7a76cd03763b6e87b4c0bbc6974a666162d88c02","datavalue":{"value":"7871792","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6562521$0B023AC4-81E8-4461-ADA8-3F5730C464B2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"127ffaa7dcc9da0fb6c4b86d2c1eff9e3a7d9e5a","datavalue":{"value":"logical environment","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562521$D4F403D0-E74F-4B24-827A-3AB3DBA6BA77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562521$F8BD4944-6B38-4ADA-9922-066C43104D15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b172b2c59917d90b3aefae2164f9710bd7c55c75","datavalue":{"value":"experimental development","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562521$A673C0C5-FEC9-4454-8FFE-F7195B6B48CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2b32aca426b78b5f53b98e17acd6efaca9a8ca4","datavalue":{"value":"conditional rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562521$AA9BF13A-32AE-47AA-BE45-F525AB5A607B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f073cae3586bdd5b00d0c1fce5fc8134365091ea","datavalue":{"value":"Maude implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6562521$794F431B-4300-42AF-85F0-71A87E107B5B","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":"Q6562521$55E50D23-099F-443C-BD1F-DD1731C0CF27","rank":"normal"}],"P223":[{"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":"Q6562521$97A82704-A274-4EB7-9481-B3F5D06B56EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3fe8e21fcf95c6e9487d16a28947ced702ceac","datavalue":{"value":{"entity-type":"item","numeric-id":2571203,"id":"Q2571203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562521$57C53296-B9A7-4A0D-8B6C-B8BD08035BFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"443ade8344e996017f9036639debfb0f18f67baf","datavalue":{"value":{"entity-type":"item","numeric-id":4302820,"id":"Q4302820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562521$8C37E6C3-F868-4287-8214-1F13C99DB09D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c0b8cbc0550b2f8905e471ff15c76bfd64ad0a0","datavalue":{"value":{"entity-type":"item","numeric-id":1575735,"id":"Q1575735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562521$8346542B-85B9-4E62-8CA5-3975B9F4213C","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":"Q6562521$A1B90038-1ACD-49CD-969D-8E8BB9778FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d766c92a02efd0f190c1e52cb70b7e562de649de","datavalue":{"value":{"entity-type":"item","numeric-id":4764615,"id":"Q4764615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562521$BA6E6DA4-BAE2-4FBA-B79E-D5CDA4F4F36C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c73c4001000eb02721d5ba68097f163c82dcd83f","datavalue":{"value":{"entity-type":"item","numeric-id":4222859,"id":"Q4222859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562521$6DF3650F-67DC-4361-84D0-E50CFEE2C052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e46d03ed8baa9ae878960109d39dea9a2288f13","datavalue":{"value":{"entity-type":"item","numeric-id":391632,"id":"Q391632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562521$A486EF7D-20A0-4F34-BED0-EFDD1100A34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3ac21557d803c5a4877d0b0335294fac14ee919","datavalue":{"value":{"entity-type":"item","numeric-id":4600770,"id":"Q4600770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562521$AABB4B5A-841D-45B4-9F29-427EB73DA678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c39b5f9dcd79584b6fdafec6c298e260be4aeaae","datavalue":{"value":{"entity-type":"item","numeric-id":1108775,"id":"Q1108775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562521$956066F6-1AA0-470A-BA28-260C609FEB4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008d5149dadf0259955075894a5c9bf5d51f4f29","datavalue":{"value":{"entity-type":"item","numeric-id":4921512,"id":"Q4921512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562521$BADEA763-A93B-4DF4-9693-437B9B3EDDCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55a0dbb5860f02dc39ae6339f68b8940a91f6b50","datavalue":{"value":{"entity-type":"item","numeric-id":2445331,"id":"Q2445331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562521$6501C538-759C-4277-9FE1-FB76DD209967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d3386f9d29b20ec9d66cdb621d2f0c39c3e1a7c","datavalue":{"value":{"entity-type":"item","numeric-id":6488473,"id":"Q6488473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6562521$49595EDB-86E4-493F-B364-0CF76CC1E6B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6562521","badges":[]}}}}}