{"entities":{"Q3003492":{"pageid":3014216,"ns":120,"title":"Item:Q3003492","lastrevid":51255017,"modified":"2026-01-17T11:36:09Z","type":"item","id":"Q3003492","labels":{"en":{"language":"en","value":"Program specialization for verifying infinite state systems: an experimental evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5900392"}},"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":"Q3003492$2AF4AD29-40D9-4590-B6D5-323E8B908F1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5d9cc2f5f819cdfe2f8b58673bbd6b4feb1f3056","datavalue":{"value":{"text":"Program Specialization for Verifying Infinite State Systems: An Experimental Evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3003492$A1A5A651-91FE-4A57-8047-3D4301AC8EEF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"34dbfa8cb8a188edb62dff1be8e6dfd4b071efef","datavalue":{"value":"1326.68184","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003492$E71B1B2D-27C4-474F-A10D-00FBFF1B67D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4aa0a14f541f86b579ebba44c875b74eae0d9ef9","datavalue":{"value":"10.1007/978-3-642-20551-4_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003492$0662373B-80BA-4E06-9141-7CCDE40ADA84","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":"Q3003492$4B631766-336D-4C50-9AD4-BD9C50D1374E","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":"Q3003492$49E8DB1A-FE52-42D6-9DFC-9735664E44A0","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":"Q3003492$90DCA1A3-8D24-4523-821A-F388C366CAD5","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":"Q3003492$38A16B14-0216-4972-A1AB-420BAACDC6FA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"adb24e8791ad8d605f348f62fef07af498b65f70","datavalue":{"value":{"entity-type":"item","numeric-id":2848891,"id":"Q2848891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003492$17635AA2-CAF8-41B0-BA1D-B23B71A1C08C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3175b0056ab29270a0640c1aae102bae06142a3a","datavalue":{"value":{"time":"+2011-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3003492$782EF0A4-3540-426B-A315-399E2E094FD5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003492$F774CB91-D308-4395-9BDD-A146FA48FFFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003492$1780F853-477A-4070-9ADE-A0120E16FA64","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0eca76db353141dd1a44b565cbc06f06f1af6988","datavalue":{"value":"5900392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003492$D3110123-1B38-4B98-9F39-EC85D46553C7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c19906f7a381f985883f63cec5e8a507a13287f","datavalue":{"value":{"entity-type":"item","numeric-id":16310,"id":"Q16310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003492$1A1211AB-4E4F-455B-8CCA-E29078EA4274","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"91dd7e13f71e3e62484b361def521e363c006e6b","datavalue":{"value":{"entity-type":"item","numeric-id":16380,"id":"Q16380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003492$8A095999-71AE-4D52-B519-6A8930942C12","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":"Q3003492$F7D58EC5-0FAB-426F-B228-459882363682","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b5e2dd14581840991d30802c0566479d237764e5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-20551-4_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3003492$A7A44ECB-7B12-4711-988A-FFB2CA5F3509","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd23d47fdaf528285a16c9569a907872b0ea9a2b","datavalue":{"value":"W1854246520","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3003492$52B24906-463E-41B6-8914-1332FFCD8CEE","rank":"normal"}],"P223":[{"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":"Q3003492$760F5115-049D-4C20-91E1-418672A10B82","rank":"normal"},{"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":"Q3003492$599AD0DD-9E0B-45F0-84EF-40A5C256B6B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92fad865b077c2075f9e4a91ae650f98b63640c7","datavalue":{"value":{"entity-type":"item","numeric-id":3066089,"id":"Q3066089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003492$FDD7C329-747A-409D-BED6-0D791E1E8A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d74408d9724eea082cb47c3f0a587647d0eab119","datavalue":{"value":{"entity-type":"item","numeric-id":2729083,"id":"Q2729083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003492$09E93BDC-27AD-4DAB-8D8F-05B52713967F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"353dab22332923e55a96f95488b7aeb1ef99091e","datavalue":{"value":{"entity-type":"item","numeric-id":4371515,"id":"Q4371515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003492$497D1F26-CB42-4E3A-96F9-3DFF92F315D4","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":"Q3003492$EE6F6157-E338-4FBB-A7F0-A215BAA68EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe378ad32816b2abbe80595494524fd11aedfba4","datavalue":{"value":{"entity-type":"item","numeric-id":4945217,"id":"Q4945217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003492$EFE176A0-F7DB-4C70-854F-08F23D463F1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fc6f8ad8cdc3788a0a19ff0e637a835747976bb","datavalue":{"value":{"entity-type":"item","numeric-id":5953447,"id":"Q5953447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003492$C228CEDB-CD50-41CB-B2B9-FA747AD30FE6","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":"Q3003492$CEEE90F2-966E-40B7-B6E2-972C7AB75859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd4ccd4622dd39a518c518fe56f54bd501cfce99","datavalue":{"value":{"entity-type":"item","numeric-id":4421875,"id":"Q4421875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003492$43AAEF2B-3530-4D1B-8C0C-32EFF51BB5EF","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":"Q3003492$AA7A6997-1A36-40A8-8CB5-853243A529B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b022fe950928f92806f5b429d4f5a3164495555","datavalue":{"value":{"entity-type":"item","numeric-id":4791848,"id":"Q4791848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003492$977C7EC8-A978-48FA-900F-DB77D48023F2","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":"Q3003492$241006D2-7986-4D12-98F8-FF4ACFCBBAC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9914a81061db7e275279b67023334e6d42b84e","datavalue":{"value":{"entity-type":"item","numeric-id":4223070,"id":"Q4223070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003492$B2B4724B-751F-4090-A59A-A83E4C727272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9c0cef408c2c9206603a8a9ef5c91000f1b63d7","datavalue":{"value":{"entity-type":"item","numeric-id":4414739,"id":"Q4414739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003492$7D287B48-76E6-40C9-8A3E-25C5169890F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2202f2a2bed1831fbe8d3a5a0b91fa4e3f6a974","datavalue":{"value":{"entity-type":"item","numeric-id":2767047,"id":"Q2767047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003492$EEA15457-1E2D-4C0E-99D5-E10DDA35AB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae8271a7bb5e17c84c722fe910447f740c0c68d7","datavalue":{"value":{"entity-type":"item","numeric-id":2723916,"id":"Q2723916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003492$436B32E5-0E01-40CC-A9BB-EE73A2887D2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f02bd0704d8fc11806ff198bff7b9ddc4d7a6572","datavalue":{"value":{"entity-type":"item","numeric-id":2767073,"id":"Q2767073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003492$DD80FE45-3174-43FF-9F55-49403E21EA16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19128463da5ba9902efae5e07f014687737612ec","datavalue":{"value":{"entity-type":"item","numeric-id":3079923,"id":"Q3079923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003492$A1BD0E1A-4874-4AEF-88BD-2E24222E69B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec785066f721fdcdca6ad8622011c52b3fb6052d","datavalue":{"value":{"entity-type":"item","numeric-id":1158954,"id":"Q1158954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003492$07C3CFD0-72A9-4855-A77F-A23AE411C170","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610389c016cce706c86a29e1e76f9e2f25cb5bbc","datavalue":{"value":{"entity-type":"item","numeric-id":4518894,"id":"Q4518894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3003492$0803F9D3-3B66-4952-8EB2-4CAF72B55616","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":"Q3003492$0031112C-81BC-42EC-A75B-6A59C73C97AD","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":"Q3003492$B4D7585C-1260-4576-9273-6FDE2EA23ADF","rank":"normal"}],"P1643":[{"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":"c893d4c19ffade0b78d80350dcc237c26c7c890f","datavalue":{"value":{"amount":"+0.9136719703674316","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":"Q3003492$09BD67E6-3E06-43C6-9140-ACBDA54BF953","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":"bad13b67824f78b9effd8558fa3e916878eaf904","datavalue":{"value":{"amount":"+0.8368902206420898","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":"Q3003492$1324B4EB-7C6B-4D2A-9E0D-A857BE99F139","rank":"normal"},{"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":"057f22fa27422cce046dc52debf3eb1e872e67b4","datavalue":{"value":{"amount":"+0.8340488076210022","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":"Q3003492$98AF7F52-3715-4863-BC2C-1272BF063E1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6193a8bd4c4a1bf0568e319011c33c15b8564a9","datavalue":{"value":{"entity-type":"item","numeric-id":5894983,"id":"Q5894983"},"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":"Q3003492$8F7929AD-F89A-44AE-ABFB-2396837D703B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6906c036e81f1a77f85dffd7b0697286a174da6","datavalue":{"value":{"entity-type":"item","numeric-id":4475692,"id":"Q4475692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e2e5dff16fdd070c07ceec62499ac489c2db27f","datavalue":{"value":{"amount":"+0.8236654996871948","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":"Q3003492$B5D14488-B08E-40E7-81E3-82A9B575116A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3003492","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3003492"}}}}}