{"entities":{"Q5134281":{"pageid":7163853,"ns":120,"title":"Item:Q5134281","lastrevid":100383689,"modified":"2026-06-05T21:59:55Z","type":"item","id":"Q5134281","labels":{"en":{"language":"en","value":"A constructor-based reachability logic for rewrite theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7274558"}},"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":"Q5134281$9EAE8F11-E57E-4F30-9F38-6A42C7A517E8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19861bd7759f992decea9316caa2c151afc6c438","datavalue":{"value":{"text":"A Constructor-Based Reachability Logic for Rewrite Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5134281$1C12463D-F913-40BB-871F-4947C93B7874","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf8d81d6a62ffe5263c5e260399e5aafc0f7d3b6","datavalue":{"value":"1471.68076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5134281$BF11267C-C073-4B34-BBFD-300A25BCEF43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"353310a66deb1ad7fd55d3915aaa61d55212bb4b","datavalue":{"value":"10.3233/FI-2020-1926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5134281$B0B96457-6192-416E-9D77-4E6D3544A204","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":"Q5134281$0F0EECB4-8231-487F-A4AE-EE0AF5F01B5E","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":"Q5134281$DF50DB55-AABF-49BD-9707-F4760440921F","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":"Q5134281$2C8C33E8-16D7-4F2A-BF17-279ED3FDECDE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5134281$63C5C20A-2454-4960-A2DC-ABB881A66B52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f310bcec3602af10de71dee4be7d2083db46264f","datavalue":{"value":{"time":"+2020-11-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5134281$2800C3D8-CD69-4549-B7A9-46EC4783F884","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5134281$C7378F08-468C-43C0-B485-328C2675C1A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5134281$57AD21CD-D8C4-46A3-AD9F-2BC41312DB14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5134281$741156CC-C754-4D34-93E2-9DE67F6A1EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5134281$BBFD6E56-E13E-4157-8D06-8BAC12D7CAFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5134281$C9B85E46-25D0-47E3-9EEF-0C617A54B711","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93c9fad1c28ba5cabca91cdcc1f1750d87911c8e","datavalue":{"value":"7274558","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5134281$50E57116-4A86-43A0-AB7D-C1E8A2CBA2F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"add1fd86ce5259fe50278a4ff0da6103dbf57846","datavalue":{"value":"reachability logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5134281$FF4DAD76-DC87-4B17-B677-F1310DEA649F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"302e7bd67d2646d1e0615c1195ca61ad56775360","datavalue":{"value":"rewriting logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5134281$7E6CC3C8-856E-4D90-9B80-5EC8D3ABBEFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aaa74f946f4a7cf49359214ccbeddb232ccd2dee","datavalue":{"value":"deductive verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5134281$A4B8146E-C24C-44DF-BEC5-49A0BCA7CA32","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":"Q5134281$6D69B145-2748-4966-8429-A5A7C8D58E03","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f53430be3e63b53037556f228b8559ae84c227","datavalue":{"value":{"entity-type":"item","numeric-id":1671153,"id":"Q1671153"},"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":"Q5134281$1739B8ED-E1CF-4CDE-A287-C3D715AC1FF3","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":"ac88c6f39c68efa69765225e9c5d97582cd6dbbd","datavalue":{"value":{"amount":"+0.8234516978263855","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":"Q5134281$D3CE6980-B4D8-428D-8D85-13F3AB3F4EF2","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":"77aa9e86d9523482e3854eb2c78255b1c4217071","datavalue":{"value":{"amount":"+0.816417932510376","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":"Q5134281$879543A4-955D-4813-8E51-D3051BD75247","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A constructor-based reachability logic for rewrite theories (scientific article; zbMATH DE number 7274558)","badges":[]}}}}}