{"entities":{"Q5894983":{"pageid":7934102,"ns":120,"title":"Item:Q5894983","lastrevid":51585119,"modified":"2026-01-18T22:08:19Z","type":"item","id":"Q5894983","labels":{"en":{"language":"en","value":"Improving reachability analysis of infinite state systems by specialization"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6100196"}},"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":"Q5894983$BF8A3721-8951-454A-AA15-F85F6461A608","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c699b68243ab6431b22536894da2d8674da347bf","datavalue":{"value":{"text":"Improving Reachability Analysis of Infinite State Systems by Specialization","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5894983$3EC72B4F-E509-4BD3-B494-C708FC7526CB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2ac1b43b71f4b48a3f46c8a94c7aa38c4de4967d","datavalue":{"value":"1279.68209","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894983$B412E797-93FC-4B34-897B-A79BCC924707","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0118836e3d9fc08d8e013ad5406d0acb5967d244","datavalue":{"value":"10.3233/FI-2012-738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894983$90A8DB85-1192-48F5-B22F-015745B56E7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ad0fb3e6789b1b1570ed736e8448792de0de85a","datavalue":{"value":{"entity-type":"item","numeric-id":1664382,"id":"Q1664382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894983$1C64962D-C38F-4EDF-B261-3BE04B41372D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a87226e249edb34abf2b072fcc5b9b500b03b478","datavalue":{"value":{"entity-type":"item","numeric-id":673495,"id":"Q673495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894983$4198BB86-FC5C-45F8-A691-8D396F8137DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1b380511e08624421de73be74130c083d2234aa7","datavalue":{"value":{"entity-type":"item","numeric-id":673494,"id":"Q673494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894983$CCB0A736-5F94-4C4A-A2E4-684561637913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9431f83a4f8857bb74e3ca69031f854d9b027223","datavalue":{"value":{"entity-type":"item","numeric-id":1941872,"id":"Q1941872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894983$ACC56745-EC8F-4632-A23C-18A0A18925B1","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":"Q5894983$66E1A2A8-6176-4C6D-BE07-8791B579F6BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"78850d0f93143245d71b956be1f4431496cab06d","datavalue":{"value":{"time":"+2012-10-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5894983$7CCA1DDA-3809-4EE3-A696-D002321894F6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894983$3921C23D-5365-4571-A5BA-F1C23CE36EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894983$4947C0D0-2A09-48D6-B490-25197219559F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1c4c90e31ab199fe0d58acb5866e172df42ccf14","datavalue":{"value":"6100196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894983$F508C85E-0EEC-4D6A-B64B-6F16416A283C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894983$634DE3A3-C464-46EB-B6DF-6AB81DB089B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894983$EC244816-2AB1-4447-A9FF-9D4C87306F64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894983$2D698052-7A75-4613-9FA0-64F84DAE5BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ae3f0d13ad92818eaf45462f9d67f2d319a5148","datavalue":{"value":"constraint logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894983$A5F3B185-8322-4365-A132-4C7A96410505","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":"Q5894983$36751412-1AA3-4BE7-90CE-E0620AE7D8CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"66dcbe3d955747c74d5ce6954307257f316d8c56","datavalue":{"value":"https://doi.org/10.3233/fi-2012-738","type":"string"},"datatype":"url"},"type":"statement","id":"Q5894983$4E68BF5C-2EF4-41BB-AAA7-134F59398084","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"23ccc0cd31546e99bc4c974897516d997c8d448c","datavalue":{"value":"W2180284319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894983$9AAA83A6-3BBF-42D7-8C63-CE55F7B8FF07","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"511d3e7e768d7dd97aad06f2d24723b7f41f00f8","datavalue":{"value":{"entity-type":"item","numeric-id":5895015,"id":"Q5895015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec1fd8bea136204c8d7da574433955c1a1b3a0ea","datavalue":{"value":{"amount":"+0.9941320419311525","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":"Q5894983$DBB6C5DE-DC58-40A6-973E-90CE682B978A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23e66e33e9b0ad9e91bc22dc5cd82cd54685796b","datavalue":{"value":{"entity-type":"item","numeric-id":2841959,"id":"Q2841959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"57c373d5b7a66af5d75775d0b52e037c795b4bc3","datavalue":{"value":{"amount":"+0.8492534160614014","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":"Q5894983$3A95FCB5-4939-4FD0-A25C-13A30650D93E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11db9497f6f2d999542c901c4a35e858cc28e542","datavalue":{"value":{"entity-type":"item","numeric-id":3003492,"id":"Q3003492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e16be619940351b9ccdd8514558208612aee4a8","datavalue":{"value":{"amount":"+0.8279352784156799","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":"Q5894983$BA4FBDAF-E9D6-4108-A3B8-DE3FD7CB0EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b8276ca81ef811bc52b0536aea4bd09cca2edcb","datavalue":{"value":{"entity-type":"item","numeric-id":5299583,"id":"Q5299583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1f249aa4191c407a1c7fd34590544041c837d96","datavalue":{"value":{"amount":"+0.7683514356613159","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":"Q5894983$8CBFA41D-E1B2-4490-8FB7-7104D2CB0AC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b0b33f024dd7f5321b769595c104f48a1504190","datavalue":{"value":{"entity-type":"item","numeric-id":5292668,"id":"Q5292668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4be0e82c33de74fd761ccd727ae08a997e2c6085","datavalue":{"value":{"amount":"+0.768281102180481","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":"Q5894983$26F4176C-117B-42E3-81F0-E026DDB9FCE2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5894983","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5894983"}}}}}