{"entities":{"Q4921501":{"pageid":6951083,"ns":120,"title":"Item:Q4921501","lastrevid":51713132,"modified":"2026-01-19T15:38:40Z","type":"item","id":"Q4921501","labels":{"en":{"language":"en","value":"Regular model checking using widening techniques"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6162140"}},"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":"Q4921501$087559C7-5764-4278-9654-FDD9F77F96FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"20047ff9b054d3f97654ef9b044013cdbe831d2a","datavalue":{"value":{"text":"Regular Model Checking using Widening Techniques","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4921501$AEF0A5D8-7BD4-4BC2-8589-4373D5BD57B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c382664413adc7b2597da0311c482a8d9d4e5bbf","datavalue":{"value":"1262.68130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921501$3D9AB53E-2FF6-4914-83B5-4FD9EBF198B5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"87fe57f5a5dc73f123366adcdbf083b2f26a5a59","datavalue":{"value":"10.1016/S1571-0661(04)00187-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921501$3D837540-B233-4587-8FE7-1748222C664B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4210cde0488918f9e758e0070524bd78d3176514","datavalue":{"value":{"entity-type":"item","numeric-id":402128,"id":"Q402128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921501$14760C38-305B-43DD-AA9B-72470ECD0620","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921501$0BDA35AC-1598-4BAB-946D-959387AA7968","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bcee510111679fcd7197118580cf67e59ca48dba","datavalue":{"value":{"time":"+2013-05-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4921501$B4F937BD-D44A-4E9A-A7E4-F349A5BBEBDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921501$8314E6DB-4B47-4232-88CE-E1F6B2222417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921501$E1FB5940-3F92-442E-BBA7-B99A321AE6BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"52e3d26118596ed63d810c94afd44f1d87e292b8","datavalue":{"value":"6162140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921501$2D2A02D2-F336-427D-832F-4C952E3F812C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9e3f84d9812dbe2b9f43d05f4bc1fc3ce47540e4","datavalue":{"value":{"entity-type":"item","numeric-id":18304,"id":"Q18304"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921501$38FEB06B-80C4-41D9-B7BE-5952F6E8A183","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":"Q4921501$303C4547-9507-492C-B9A3-D0AAA906995E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3543b6ab16d24051c1f38949623316c0a3308454","datavalue":{"value":{"entity-type":"item","numeric-id":4817539,"id":"Q4817539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921501$C52B7102-53F9-4960-B3A6-4B4C5F18FD4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ceb97ad59b8d3c6a4e23ab323f66864f1135a91a","datavalue":{"value":{"entity-type":"item","numeric-id":4571986,"id":"Q4571986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921501$596E0220-D9C5-4167-8F49-16D0F4771431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405e423365a63f056daf918c24255c84fbebdaed","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921501$71967E77-DF34-4960-B64A-076308430B96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a5d0f608e7f0e955120a32669152b078a21d908","datavalue":{"value":{"entity-type":"item","numeric-id":865624,"id":"Q865624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921501$F9EE203C-70A1-4667-A43B-B9A7FAC9D88C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc53c4fa5b18b0e75c95fe8399022c819bcd116","datavalue":{"value":{"entity-type":"item","numeric-id":4508292,"id":"Q4508292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921501$9C8D2C0D-226A-4022-A793-74D410A43837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1dcaba85eaf9b02283987ee8f5ec2f8f6402ce65","datavalue":{"value":{"entity-type":"item","numeric-id":689297,"id":"Q689297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921501$10FFB7E8-D98A-4E1E-AB77-62EADA25A0DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be4c10713dc8a049bf69c817dfcde9c9cf557e4","datavalue":{"value":{"entity-type":"item","numeric-id":5696925,"id":"Q5696925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921501$772F5214-BEF4-45C2-BB1A-6BAC599B01AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f5bfa59c371845c9fd3bd4800fc9edda9dca81","datavalue":{"value":{"entity-type":"item","numeric-id":4223068,"id":"Q4223068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921501$8AE76901-F2D7-4BE2-B0E5-7662B032B0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7c75468b64299a6c5da2128e0e91430f00371f3","datavalue":{"value":{"entity-type":"item","numeric-id":4518896,"id":"Q4518896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921501$CFF2F4EB-5282-4B55-872F-8050788D384E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08c4ae690845ef0e16a84b0f424e1f11c612ea2d","datavalue":{"value":{"entity-type":"item","numeric-id":5941102,"id":"Q5941102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921501$42C828A0-2F24-4B3B-9223-8475A1531B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"405126dd61c0280c8a6e72613d3b0ca29345ddb2","datavalue":{"value":{"entity-type":"item","numeric-id":3126969,"id":"Q3126969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921501$444A3C7B-4831-424C-8357-3D75F8DE6E01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b2a2787ed47a4d5e91d9ce327d2742e1960b77","datavalue":{"value":{"entity-type":"item","numeric-id":2754094,"id":"Q2754094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921501$14D892F5-4B41-4413-811C-2686A83B3A85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1dc1c2dae98a465e7350a6b9e72254be8ec580","datavalue":{"value":{"entity-type":"item","numeric-id":4921501,"id":"Q4921501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4921501$4676E280-E882-4F44-829D-CB9473D835B1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba1658c33a69a7f44c882d3e76e76f9a3264d287","datavalue":{"value":"https://doi.org/10.1016/s1571-0661(04)00187-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q4921501$DAC5736E-B1B5-4527-A76C-AF6A4B515A5C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"90b7d4e6c601594339934e98cfd58aa36da6acf7","datavalue":{"value":"W1971521983","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4921501$43FE2E93-7013-45EC-94FD-93B248E7CDB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9812515b3ccb140eed3b46a394afb70e05cba7f2","datavalue":{"value":{"entity-type":"item","numeric-id":2754102,"id":"Q2754102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca51ae8477b03de0e15a5e7678982fa210624e2e","datavalue":{"value":{"amount":"+0.879713237285614","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":"Q4921501$4394610C-6B6B-4932-BAF4-B27073D2AEF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1de754979d8ed4a332bfa07f8950b63fa1e5f35b","datavalue":{"value":{"entity-type":"item","numeric-id":5429319,"id":"Q5429319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"188b01bee4e24f95e1496b7305b17512a84d9c58","datavalue":{"value":{"amount":"+0.8323642015457153","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":"Q4921501$93A1A27F-288A-4C5D-A39A-D32390EA1A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1a4e69567d6aa8b80c6dee0fc5a69e3f2431b1e","datavalue":{"value":{"entity-type":"item","numeric-id":4474215,"id":"Q4474215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8466cbc358a83e5462a56b7a2c306f98549d9f68","datavalue":{"value":{"amount":"+0.8294228911399841","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":"Q4921501$B8BF697B-2D31-4DFC-8654-EFA079C549DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81965cfa0e8625dbb8c2028308bfbcb856bff3ec","datavalue":{"value":{"entity-type":"item","numeric-id":5900681,"id":"Q5900681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5315469362868b50774b86c5858c5705bd24ee9","datavalue":{"value":{"amount":"+0.8254651427268982","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":"Q4921501$4D45EEA8-F238-486C-B127-4DA03CFCF3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3f46a425a9a29a7b242dd1459072961c4e8e195","datavalue":{"value":{"entity-type":"item","numeric-id":5311492,"id":"Q5311492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05efc944c331455316cddeb1d2208e1a3136c45b","datavalue":{"value":{"amount":"+0.8130128383636475","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":"Q4921501$13123AA7-5A75-40C7-91C6-11AA88602D0A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4921501","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4921501"}}}}}