{"entities":{"Q689097":{"pageid":690946,"ns":120,"title":"Item:Q689097","lastrevid":42644771,"modified":"2025-07-07T15:42:57Z","type":"item","id":"Q689097","labels":{"en":{"language":"en","value":"Programming in equational logic: Beyond strong sequentiality"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 439988"}},"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":"Q689097$A8982066-E78C-4D4A-806A-4408188CBB0B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3ee10ccd63e7c2f8230d31ab7c5351a18908e1c2","datavalue":{"value":{"text":"Programming in equational logic: Beyond strong sequentiality","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q689097$61CDB8BD-FCC3-42C6-A520-D8EA8636AF88","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a0b623d3b9ba7dc589b5521bdf0dfd5edfd2d993","datavalue":{"value":"0803.68060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689097$A9928C62-73D4-4B60-A43C-C5A10E4CF3A9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"778fa1065527b41117b384448e05e152064c441b","datavalue":{"value":{"entity-type":"item","numeric-id":689095,"id":"Q689095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689097$390FADB5-925D-4C78-BEAA-BEB1BB270A27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d868a6653ce7573f7ca7b61211a204aaa987411","datavalue":{"value":{"entity-type":"item","numeric-id":668509,"id":"Q668509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689097$AB9C1478-AA1B-4365-ABA9-84D148CC912F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689097$7CEB212B-13AA-42B0-9613-5FD258FE3AE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fec002a86967a3d68ab1d50269b51e2d2e883c0","datavalue":{"value":{"time":"+1995-01-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q689097$C8633E93-EAAA-4C15-B20B-7D93C52ED045","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c0a7309c1518a2b761e50a96ea38249264d943af","datavalue":{"value":"https://semanticscholar.org/paper/2412818376b72210aaa6f1800d5c40a11882301c","type":"string"},"datatype":"url"},"type":"statement","id":"Q689097$37F3E3F5-0701-4BC7-A326-5B647E0B3B13","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"31456cdd16919df9fcb59dbe4f1b92652be9094f","datavalue":{"value":"The authors present a solution to the problem of normalizing a given term \\(wrt\\) a rewriting system which is not strongly sequential. Their solution is optimal in the sense that it minimizes the wasteful reductions and it is also lazy on the strongly sequential parts.","type":"string"},"datatype":"string"},"type":"statement","id":"Q689097$A86BCDD8-9467-4C96-98D8-3B41881BAEE6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689097$2D46524F-22D6-4D8D-8036-F1775ADE6EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689097$6F95A6A7-3567-46CF-862A-72806574A283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689097$52E8311A-B4E2-47AB-82BC-42AB5A918AFF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d27545033e68d1514b60922cde97f4ec2cf202a","datavalue":{"value":"439988","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689097$C535C98A-1154-4CFC-83E1-41394DAEFF1A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q689097$89F9AE36-FC57-4CA1-805C-7DD6A4AD2764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22bc85edc603bb887b8847e6cadfce6ad099bf48","datavalue":{"value":"strong sequentiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q689097$23D883C2-D117-493A-BC73-4D7330FF639E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b4976379e13f1a77945ab6ccab618756930b4eb","datavalue":{"value":"necessary redexes","type":"string"},"datatype":"string"},"type":"statement","id":"Q689097$E28761C9-D5F2-48F3-8605-CAB5D105AF30","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"0952533bb8ddf126d68f7cc4b1c2c4ed19555944","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q689097$D0855BB1-AFFE-437A-AA30-7EAF14899F41","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":"Q689097$0112886C-3826-4099-BA33-730DA992B965","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ffa1959a3d6e827dac2fa03fcfa0ba503851e826","datavalue":{"value":"W2102574149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689097$1223D415-7717-4FD0-AA5C-CFEB4D3A3A53","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aa998994ac69855b1dec21fabddd6102c9c09673","datavalue":{"value":"10.1006/INCO.1993.1026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q689097$4ADCBFC1-3EDB-46F5-945B-3F2F82D48AC1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"803e4bf765d7edc092a2ce10d3e64145eef2dc57","datavalue":{"value":{"entity-type":"item","numeric-id":5492827,"id":"Q5492827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6843d826c05db9304f4b83b2e3ec8be20f29a61","datavalue":{"value":{"amount":"+0.924949","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689097$8E112423-A3B8-4058-9B30-B12A036B1B86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"590a3aba254f67160cd7f0cfc21c422fd1874ede","datavalue":{"value":{"entity-type":"item","numeric-id":3012523,"id":"Q3012523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aecd01efb5c6287686ef45f26da497fd35b4ad6f","datavalue":{"value":{"amount":"+0.9203128","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689097$2B0B3301-695E-4EE4-AE18-7DDD9B14112E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99a0c9557400bd05cf1c521b5f980192dbc272c0","datavalue":{"value":{"entity-type":"item","numeric-id":2900525,"id":"Q2900525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8dbea41ee7291d4bdf8371f910cb0e01afc24bf5","datavalue":{"value":{"amount":"+0.9133433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689097$34DC9586-5946-4A17-A168-D721CF40B11F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6e120e715734180afc3ab140168d58ad33395fb","datavalue":{"value":{"entity-type":"item","numeric-id":1801319,"id":"Q1801319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"179ccc553590a6273998f28af4a89da9d89500c8","datavalue":{"value":{"amount":"+0.911796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689097$1A91AB8E-830B-4432-BD6B-3934A363291C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbbeef8669d2cbd89ab3a988f9d76fd886688334","datavalue":{"value":{"entity-type":"item","numeric-id":3776590,"id":"Q3776590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0c31857199986a904a1c4fd3538d1a380a56ff3","datavalue":{"value":{"amount":"+0.9108266","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689097$253D5B01-51B8-493D-8B6B-7DA6B14FB214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1f2af4ec774ddf93fa5655789596a53dfe9cd9e","datavalue":{"value":{"entity-type":"item","numeric-id":3727354,"id":"Q3727354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b10e78ebb36d0c4ed9022c23c50d39af3ed5704","datavalue":{"value":{"amount":"+0.9072872","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689097$4A83D707-1644-496E-9BD6-0457453E48FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"994abafcebf920ff08b53f01fe6fca3bc5aaf07b","datavalue":{"value":{"entity-type":"item","numeric-id":4038676,"id":"Q4038676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4c3ac33d671cbab1d026ddca033ad112f9358c9","datavalue":{"value":{"amount":"+0.89986277","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689097$2CA8ECDB-7F2C-49D3-BE62-CAFF447D8B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53750e778f847713f90c4de725d66f46175e2206","datavalue":{"value":{"entity-type":"item","numeric-id":801684,"id":"Q801684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73adaff552b3a1a0d03e43d21c69127e4db89ddd","datavalue":{"value":{"amount":"+0.89852184","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689097$1B0B5F52-2752-461E-AEDD-E454C6F49E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"641a798635b3ef511df325f1a279cb02318df3bb","datavalue":{"value":{"entity-type":"item","numeric-id":3316584,"id":"Q3316584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"208d048b7e2305862eba0ff9c36389ec6fabb1de","datavalue":{"value":{"amount":"+0.8976941","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689097$2A2EF4E9-DF74-496C-B710-03479954DF5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5bf0f16f9bd2a779f2f0fde3110857be40584aed","datavalue":{"value":{"entity-type":"item","numeric-id":1322836,"id":"Q1322836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"757239cc4e43dc626e1bce67a150013d252c207f","datavalue":{"value":{"amount":"+0.8976282","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q689097$6392BD2B-3F4C-4876-AA72-615C23E2658F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:689097","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:689097"}}}}}