{"entities":{"Q5170808":{"pageid":7200380,"ns":120,"title":"Item:Q5170808","lastrevid":52047707,"modified":"2026-01-20T20:09:59Z","type":"item","id":"Q5170808","labels":{"en":{"language":"en","value":"Predicate abstraction of rewrite theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6320435"}},"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":"Q5170808$8DCF6871-F222-4B5D-A7FB-EBC87D01AA6C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a9e7a21f97d76690410c7d7edab5bbbf6b8685dd","datavalue":{"value":{"text":"Predicate Abstraction of Rewrite Theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5170808$E13BC696-B8CB-4072-B1C1-28AAADADC9AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1de7230b2318259c40a6cf63d9fb417d86fa193a","datavalue":{"value":"1416.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170808$FE1DB4E7-B59E-4E5D-984D-AF9108F69F81","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef0cc4c25ae3121633f2316ca61ec7dfc6de9da6","datavalue":{"value":"10.1007/978-3-319-08918-8_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170808$7EF04CC5-B906-46FA-901E-FA08C88FE9B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7abae01514d1760eb4f9d93836437ad171626b69","datavalue":{"value":{"entity-type":"item","numeric-id":1951604,"id":"Q1951604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170808$BBC2EB7B-EA75-45C4-B1BE-64BEEA1610B2","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":"Q5170808$9D5E29C5-B506-4D3A-BF28-6A89266C0482","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5170808$DAEE4B81-D1A8-46F3-AB82-F082AE39F3EB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"62d5b6bdf672ccc34d428067b7e9172e5c9711cb","datavalue":{"value":{"time":"+2014-07-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5170808$6B084F14-0AC0-441C-9210-9B69341C696A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170808$F318691F-AB94-4AF1-A67C-C5599DBF017C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170808$FA4BDEE4-82DE-49C4-B070-700C8EDD35CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170808$E976ADDE-FD41-45DB-B2B2-24C8D9BF0BA6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08f406f5c58fa8f18baadcdf80c4ea10c403f97c","datavalue":{"value":"6320435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170808$702E15A2-AB68-4664-9AF0-8329A3DE7DB8","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":"Q5170808$AD615FE2-0364-4924-9952-C72AD938E52D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"50f70097f7444b74f724a3739c9798a2326b54e8","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08918-8_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q5170808$B30610BA-D9CB-4103-B7D6-0417121E1FD4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"905619fe49081958d45008d5f21fee13ed5c378c","datavalue":{"value":"W54610100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5170808$2322AD3A-A32B-4E06-903E-D8470B8B9DE6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7de3722ed636c8f8489cec00c41ba0042963140","datavalue":{"value":{"entity-type":"item","numeric-id":5310681,"id":"Q5310681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9e4d1e13f3c9a7f4d5715844217ff9bb65ef010","datavalue":{"value":{"amount":"+0.8007833957672119","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":"Q5170808$6CDA1167-9774-4837-839A-EB092F449CA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dadf15a86ab27de24c71c6278f501043afe2c895","datavalue":{"value":{"entity-type":"item","numeric-id":5277793,"id":"Q5277793"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35774bc55f853dceffd096d75c8081b939890292","datavalue":{"value":{"amount":"+0.7987407445907593","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":"Q5170808$1DF72959-DD6E-410B-B0DC-7198D6E77406","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef1008b80011faf6c45c5de6770c7a7142f4b24","datavalue":{"value":{"entity-type":"item","numeric-id":5901914,"id":"Q5901914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa973c43ea7b1923c7ffdf3b013ed27c86ad3eb1","datavalue":{"value":{"amount":"+0.7922965288162231","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":"Q5170808$6F29E27E-AA90-4642-A842-07BD0D9E2384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191cd7535726b8d0e7a45c0ad3f3baf12cbd31a5","datavalue":{"value":{"entity-type":"item","numeric-id":2842588,"id":"Q2842588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09fc74232a0f083e98ad022dbe4ed56ecbe1817","datavalue":{"value":{"amount":"+0.7736527323722839","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":"Q5170808$E9DB08D7-A94C-4B8D-A2F0-277081C7BB5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb6768e94c7996322ce021fc09b34ca279a1730","datavalue":{"value":{"entity-type":"item","numeric-id":2958376,"id":"Q2958376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2bc2f92b8d85b32ad25fbcee9ccbeef7f778efc","datavalue":{"value":{"amount":"+0.7731223106384277","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":"Q5170808$44D9729E-6FDA-4D77-B7F6-30E93CFCB164","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5170808","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5170808"}}}}}