{"entities":{"Q2958376":{"pageid":2969095,"ns":120,"title":"Item:Q2958376","lastrevid":52733342,"modified":"2026-01-23T09:29:59Z","type":"item","id":"Q2958376","labels":{"en":{"language":"en","value":"Abstract logical model checking of infinite-state systems using narrowing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6679817"}},"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":"Q2958376$736006C3-7763-4B5D-BEAC-9FF943300AB8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e9f7c7c9460fe4c05cc1db0c8bfab630f34284a9","datavalue":{"value":"1356.68140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958376$D3FB7745-349A-47B8-91DF-0503E143CC1B","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":"Q2958376$1B8E4DAD-727A-4807-A49D-A31EE2AFA952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5805f02852c8c5214c4739c3a07407316889a81f","datavalue":{"value":{"entity-type":"item","numeric-id":462490,"id":"Q462490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958376$AA5256BF-3740-4EC3-921C-95E6819D580B","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":"Q2958376$C83B8665-D8B9-4A39-BC0C-84C2609D5F47","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9849d71e29537eeb70c12e6244018ee5a71fc837","datavalue":{"value":{"time":"+2017-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2958376$92936B56-DA4C-430E-A7C6-B3A38ECFECF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958376$B272627F-311E-4BE3-91F1-BAC2BCF030B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958376$4727D9F0-BD0A-4C2D-A58A-A9259C8356FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958376$975BF633-77D4-46C6-A293-5F2446E2811B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"de0bbaf0f7d4fc8becd2489cc2864c60c3ea2578","datavalue":{"value":"6679817","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958376$949817E3-2DED-4319-8F7E-C1DD75CC1978","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958376$2C8B47FE-1BC5-45A6-9787-4A4452B2E1C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"080e227261d01a29ce6a8ce72383d4ad594e4353","datavalue":{"value":"infinite states","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958376$E8B2406B-B818-476B-8BF6-0812A7231E44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e388ec49e913382c0fd28fc7db7c4314fe256ca0","datavalue":{"value":"rewrite theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958376$91F6491C-EDE7-42D9-AC0E-2FEEFE97A660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50e20429622ec08ba47dc9e7a4c57de8bf8a42d9","datavalue":{"value":"narrowing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958376$3F23C49D-15B7-4D3D-87AD-31FF72980EFA","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":"Q2958376$2A64A782-3AAF-4E59-842F-2C609A366BF1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5b31cc9267d9abae52c8e4f39ef696d17470b13a","datavalue":{"value":"https://doi.org/10.4230/lipics.rta.2013.81","type":"string"},"datatype":"url"},"type":"statement","id":"Q2958376$AAA1ABD1-BBCA-4D00-B519-352A689AE73C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f8257745290a400c4441a9d252aee3eecd3b6eec","datavalue":{"value":"W2294307095","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958376$E2B4E1F2-93CA-4F41-907F-5442726D8B22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b884cb79f8387671ba6ae7f4192e73c798b4bd77","datavalue":{"value":{"text":"Abstract Logical Model Checking of Infinite-State Systems Using Narrowing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2958376$34F52AC8-DD3C-4599-962C-F9D1EAC87EEB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bc0c3cd6a4a4e412fb5699edca844077cf3d44e7","datavalue":{"value":"10.4230/LIPICS.RTA.2013.81","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958376$736E85C1-F2F1-453C-9BDE-4EE15851AAB2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94433ddcc3b1e1a51adee54d8cfb7b1456b7677d","datavalue":{"value":{"entity-type":"item","numeric-id":5432339,"id":"Q5432339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a59e63350afa028ecce19fad1d239f0b8313fd6","datavalue":{"value":{"amount":"+0.8832249045372009","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":"Q2958376$EE0787B8-EC88-408F-92CE-F236A1527D3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95f9f687a5297234e093a151d1c25779a08ca874","datavalue":{"value":{"entity-type":"item","numeric-id":2945133,"id":"Q2945133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f327dca7597759897a0d9553f1108bbdfcf273a","datavalue":{"value":{"amount":"+0.8642536401748657","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":"Q2958376$2FA9F2D3-DD0D-4660-B87A-BD7A2202F4E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3bdb30f2210c203b63358eacadbbe03c10c614e9","datavalue":{"value":{"entity-type":"item","numeric-id":2797862,"id":"Q2797862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d1fc415a167ee99bfd776a7ca3747980ede3f9e","datavalue":{"value":{"amount":"+0.7947745323181152","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":"Q2958376$3D044B1C-6BB2-4068-80FA-AEA23E91875C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad2d35295038f2df360c593926d2672609d0f9bf","datavalue":{"value":{"entity-type":"item","numeric-id":5179134,"id":"Q5179134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b3bafd2d519b2cb7ee9ddaf6afa01e9ac178fd9","datavalue":{"value":{"amount":"+0.7848063111305237","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":"Q2958376$C7718FED-CBBD-4C1B-88B8-6FF0118B3D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c28fd55a29f6d32a1c55565c108241b7d263d37","datavalue":{"value":{"entity-type":"item","numeric-id":5170808,"id":"Q5170808"},"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":"Q2958376$67A1D1EC-9DEA-40EB-B07F-71A94FFE59C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2958376","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2958376"}}}}}