{"entities":{"Q5299583":{"pageid":7329157,"ns":120,"title":"Item:Q5299583","lastrevid":100719857,"modified":"2026-06-05T22:56:34Z","type":"item","id":"Q5299583","labels":{"en":{"language":"en","value":"Generalization strategies for the verification of infinite state systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6181251"}},"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":"Q5299583$5DE4C857-F533-4C69-BF27-7697AC6A8451","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"71a40a8f8c8420a67dfbc311220d53f5e5572a49","datavalue":{"value":{"text":"Generalization strategies for the verification of infinite state systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5299583$3E4B5461-2C96-4FC8-AF92-8A16A394AF1A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ed7e33d9037b1d29e75a6a6d47bb949ef6501438","datavalue":{"value":"1267.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5299583$E1E53063-75CE-449A-B3A5-FE7B32FE5B4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6072627c24d2246080222e177fd5676b3f2dbb71","datavalue":{"value":"10.1017/S1471068411000627","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5299583$FEF611B9-59FF-4D5B-B11C-CAD363B06A7B","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":"Q5299583$924FCAAC-2E98-4F34-BFE1-6376CBC5C71B","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":"Q5299583$719FDB08-8D0F-458A-BF08-895F37EF10CE","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":"Q5299583$1CA44276-D7CB-4B40-AF97-8B9704E3AB8E","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":"Q5299583$41D5A5F8-AC39-4BD6-A88E-9D0D56E4D52C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5299583$CAFDE36B-8A51-472C-B93E-9CFBFEF985AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e67818e5660eb5b02d2b35370b17cb77659a2c2b","datavalue":{"value":{"time":"+2013-06-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5299583$6E5924A9-CD3F-4890-A2DF-9AACFB9576C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fd7ced6c2bd3766b0e5b16eec25d76c2727e6a7d","datavalue":{"value":"https://arxiv.org/abs/1110.0999","type":"string"},"datatype":"url"},"type":"statement","id":"Q5299583$A2EB4CAC-3A95-4F89-9571-458ECF2786A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5299583$2031BC50-6E37-4537-91CB-33F315E81A59","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b00c619b7bbfc25a5f28e16965e6ad57d2a5156","datavalue":{"value":"6181251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5299583$33B4ED78-E752-41DC-B043-EADE46A6CE69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37bc3c8932a5bd37937f4713c67a399e5ca897ae","datavalue":{"value":"computational tree logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5299583$899612A2-0845-4B0B-BE39-D97F1AF751D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad96a3185f5faaf4b7601a070f365951d6e7cef2","datavalue":{"value":"constraint logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q5299583$2AA6E035-8F72-4DE4-A8FB-C02B96257A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3520bb13c06a2e495664caf6fc0e2971b471782e","datavalue":{"value":"generalization strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q5299583$0DE14EC7-10A4-4DE0-9542-02369BEC863C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65ca41c6bd39bc481c6e6cae3f26fd519783289a","datavalue":{"value":"infinite state systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5299583$A1775F0D-D83E-4F29-BFD0-A5077081F1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c70679488f854d98013845cb75e8bf7b0e19981","datavalue":{"value":"program specialization","type":"string"},"datatype":"string"},"type":"statement","id":"Q5299583$274A2F3C-32B1-41CD-8E20-F2033CCA0B41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5299583$8327BB5C-A367-47B1-B3D9-640D88C33A66","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":"Q5299583$9FCCA649-8767-480D-B963-F1DD19AB407D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02eeb10cb50a02d090ad395a3c2c363c71340d2e","datavalue":{"value":{"entity-type":"item","numeric-id":4305624,"id":"Q4305624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5299583$20E1E4DC-C2FA-4443-87FC-B22106A28784","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1db59f76df444163b20fefb5198b53fe84a10a83","datavalue":{"value":{"entity-type":"item","numeric-id":3646165,"id":"Q3646165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5299583$E55B5961-4987-491C-920F-58B89AD84DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dce3c2e75c2ce94c37447123ec1c37ac00aeec39","datavalue":{"value":{"entity-type":"item","numeric-id":4452606,"id":"Q4452606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5299583$C6A549D9-878D-4B32-97B6-48775A9F3E1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab124a7373ba82029ffdcc597bda7b4f27aee620","datavalue":{"value":{"entity-type":"item","numeric-id":5287559,"id":"Q5287559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5299583$2E1ECB2B-0D57-4A4D-AC9E-26EFA5C5D2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a388ffd503a2561c64bae2f63ad0b8c1881469e","datavalue":{"value":{"entity-type":"item","numeric-id":1856193,"id":"Q1856193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5299583$D606E4CB-C26B-4D55-981E-3BA190D58028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a06cc82621fb5a480563de61a6ce44ffbe8888b","datavalue":{"value":{"entity-type":"item","numeric-id":2581762,"id":"Q2581762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5299583$3F51DE3A-B92A-43A4-B295-72B3EB21D052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64b95fb93857a7fee214f8d1058a95819db0427","datavalue":{"value":{"entity-type":"item","numeric-id":671648,"id":"Q671648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5299583$CA6183D2-8201-4BD7-919F-1210B1C0EFAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c7f6243e8c1e019fa7573e1043f7114ec98acef","datavalue":{"value":{"entity-type":"item","numeric-id":1920224,"id":"Q1920224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5299583$752DD6AD-DA7A-49D3-A6A0-642A9C572CB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88513da3b40e8d94cc45b6d0ad9dbb72de7a7e33","datavalue":{"value":{"entity-type":"item","numeric-id":1878907,"id":"Q1878907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5299583$8454197B-3461-4C70-A13B-9CECAC74222C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89398ad3e2930cc547170fac6e41094053781490","datavalue":{"value":{"entity-type":"item","numeric-id":845244,"id":"Q845244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5299583$F037D04A-2738-4385-B9A8-D56A75FE5A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bcc3d89a265c0fbf05cbcc30aa42dec8f0736b15","datavalue":{"value":{"entity-type":"item","numeric-id":1177929,"id":"Q1177929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5299583$6635DD5F-086F-4353-8ADF-2B111D31E1D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"aa702389429588a690bdeedc0efd59423e084bd6","datavalue":{"value":"W2124412120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5299583$ACB7BA0D-2E9F-41C7-9214-662EB5E37D7E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ab708b87e2154529b600539565947a2ae82c8e5","datavalue":{"value":{"entity-type":"item","numeric-id":5292626,"id":"Q5292626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e13514ee7b15b8a34117b8743cfb55d66ed5d5a","datavalue":{"value":{"amount":"+0.93420196","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5299583$39DF2997-A651-4690-85EA-4A32E397AA71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f1d892fafc997bf4e518fc8e8e79e6da6074ef5","datavalue":{"value":{"entity-type":"item","numeric-id":5703797,"id":"Q5703797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f1313544b22da91dd1a0c83b064ff663525b221","datavalue":{"value":{"amount":"+0.9287371","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5299583$C0B421BD-8871-4E35-BAF8-1F86B189E746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"935a0c321885c08cc0d6f06a42b54e79a12a3512","datavalue":{"value":{"entity-type":"item","numeric-id":4532082,"id":"Q4532082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b17fcf7afe761dd7d1b46f334f81b50ed75dfc0b","datavalue":{"value":{"amount":"+0.9245472","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5299583$87CD4FBE-3A9D-4787-959D-B7B7E70F7EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf5b43b408b2da4a683dba83631a428854b25f1e","datavalue":{"value":{"entity-type":"item","numeric-id":5491850,"id":"Q5491850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f79143db98aa55d3987f523aec6970753e175777","datavalue":{"value":{"amount":"+0.92253935","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5299583$18760AE8-C246-4A97-A39A-E7A4ED80D202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c895a9cbb43a2cba041157fda7dcbfc7f9f01f8","datavalue":{"value":{"entity-type":"item","numeric-id":4817540,"id":"Q4817540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52e5d405381ff4424ba2c06966cd815c9c1d1dd1","datavalue":{"value":{"amount":"+0.9218655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5299583$CC402ACA-EA5B-44C7-8F8A-6978B7EFD1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6a1754e9f24f53d0ad889d0482f26317c0f3b22","datavalue":{"value":{"entity-type":"item","numeric-id":4501131,"id":"Q4501131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91b176766bffd352e088953a6521f412e9f80db6","datavalue":{"value":{"amount":"+0.9047941","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5299583$E946D92F-49ED-475C-8B8F-8FF8FEEB7E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b2c988cc3f34d40cbf17b731a2c7f9da7aa65bd","datavalue":{"value":{"entity-type":"item","numeric-id":5312916,"id":"Q5312916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7593ae07b49514200d1e1fa9aefc7be8044acf72","datavalue":{"value":{"amount":"+0.90278715","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5299583$A88A1AFE-C46B-4A91-8585-01009F550CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d28b0b11fc8f86118e03d0ab936f51f7e124784b","datavalue":{"value":{"entity-type":"item","numeric-id":2767987,"id":"Q2767987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5af60aaeca6cea3d1121d24afc80e9dd0fc58db","datavalue":{"value":{"amount":"+0.9023297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5299583$4DB21CD3-3F19-4F1B-82AE-0159C4E3791C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"498b348c822bf3cc8cca64913278d146aaa15c2d","datavalue":{"value":{"entity-type":"item","numeric-id":3527279,"id":"Q3527279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd65415128b1629767a84690b5d0c8c12e3340e9","datavalue":{"value":{"amount":"+0.90184975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5299583$00E7BE47-90B1-4252-8450-48176263970D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7068b4dbe6cd53f4aab200e573ee40bb50dadbd4","datavalue":{"value":{"entity-type":"item","numeric-id":5311486,"id":"Q5311486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fec87061af21b92a4c598db79f583d4a7d6c05a3","datavalue":{"value":{"amount":"+0.90118676","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5299583$27BD0390-A92F-4DAD-826E-3ABDF7141839","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalization strategies for the verification of infinite state systems","badges":[]}}}}}