{"entities":{"Q1671153":{"pageid":1681894,"ns":120,"title":"Item:Q1671153","lastrevid":68227425,"modified":"2026-04-12T22:16:42Z","type":"item","id":"Q1671153","labels":{"en":{"language":"en","value":"A constructor-based reachability logic for rewrite theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6932831"}},"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":"Q1671153$8F30A241-23DC-42B0-A648-7D7ECD792931","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3188134f840398c01f35e07fa5f60c2dcaeb273f","datavalue":{"value":{"text":"A constructor-based reachability logic for rewrite theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1671153$4B69CBC6-A829-4000-B37F-646AA55BC204","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"04d47d6c5a9159cc2e9a463dee437648f6b9f27b","datavalue":{"value":"1471.68075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671153$7001FE7F-0DCA-419C-8F21-755BDE71F6EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0df07c5dcee52e346d256021b907217e30183dbb","datavalue":{"value":"10.1007/978-3-319-94460-9_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671153$D5224301-7052-484C-8363-E684AC0A4988","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c9c91656e4fb99e949fd586d1de2461e88c53457","datavalue":{"value":{"entity-type":"item","numeric-id":1671152,"id":"Q1671152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671153$BA95B488-A3AC-461A-87CF-2B9EF0347436","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":"Q1671153$BE0CCDD7-026C-45EC-A58A-3ECBBBF071C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a84ac9228878308f86175625fe15a1c15896ebb","datavalue":{"value":{"entity-type":"item","numeric-id":730475,"id":"Q730475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1671153$FC58F714-D638-4335-9920-18F71204BCEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"95251e74dfd058313c94d01023632403bcdd7ae4","datavalue":{"value":{"time":"+2018-09-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1671153$7730AB8E-89E9-46DA-A3DA-196890071B72","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"949aa29a7c0b97aa67110b3d71795a724e6ae78d","datavalue":{"value":"https://arxiv.org/abs/1709.05045","type":"string"},"datatype":"url"},"type":"statement","id":"Q1671153$A4F3283A-D857-4654-9F65-6BB58A31FB3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671153$422C8A76-3CE0-488D-9BA0-4C7F95AF1FBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671153$953F3A6B-A7AB-477D-85A1-99EB32945447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671153$FA8A4BD0-C6E3-48AD-94B7-F7488E5134BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671153$BE06CF45-6564-4BF7-9481-AD90EC464559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671153$CB651E00-F59F-4CA3-AF91-F278C38C8D4A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5029856d52848a0dba8dd4466f3d189de321fe98","datavalue":{"value":"6932831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671153$0E61F8D9-6D0E-4AAF-9673-7EDDE36A498A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1671153$52448414-2543-42A8-A194-920A78A14653","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1671153$A8BB633B-CEB7-40FA-9FB8-64F5B5D7F9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"add1fd86ce5259fe50278a4ff0da6103dbf57846","datavalue":{"value":"reachability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1671153$EF233F0B-21D5-4120-B981-38AC8940D935","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":"Q1671153$7E5F0DE3-BC95-4F3C-BB4F-F1C1A4981F0A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e3ac1231d85b50a2edd5740fab2feef904028f2a","datavalue":{"value":"W3027204833","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1671153$C1315634-D6A0-4F67-99AB-71169477F315","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d26436a96f7d2cf431beb31dc392294cc47579b0","datavalue":{"value":{"entity-type":"item","numeric-id":5134281,"id":"Q5134281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e6ab7a8528eb96c6849427e4299eaddf79577b4","datavalue":{"value":{"amount":"+0.9735775589942932","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":"Q1671153$27F78C92-E55B-4279-88AA-001296E03284","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":"ebaaf5056a9d32cafcaf489adc3e25b9e67b7521","datavalue":{"value":{"amount":"+0.8034330606460571","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":"Q1671153$12A745B3-E629-4721-A947-90F24A59AC90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02e6439c9ecc37247f435ac5bca7e4bb5111310f","datavalue":{"value":{"entity-type":"item","numeric-id":5271073,"id":"Q5271073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"708badfdf3a1e2c40a4e267aa7f26463502ae61b","datavalue":{"value":{"amount":"+0.79476398229599","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":"Q1671153$40C646B7-FC90-46D0-B3F6-EEAB3D9A9341","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A constructor-based reachability logic for rewrite theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_constructor-based_reachability_logic_for_rewrite_theories"}}}}}