{"entities":{"Q1049401":{"pageid":1051249,"ns":120,"title":"Item:Q1049401","lastrevid":66626937,"modified":"2026-04-12T11:23:22Z","type":"item","id":"Q1049401","labels":{"en":{"language":"en","value":"An efficient simulation algorithm based on abstract interpretation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5656617"}},"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":"Q1049401$1B22E23E-273D-47B5-B2A9-BB17D5BCDD09","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"16dcb283d9acc1c9b57111be36303efb3e938c0c","datavalue":{"value":{"text":"An efficient simulation algorithm based on abstract interpretation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1049401$89109DA8-AF43-45B2-9C11-92163B407762","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"81de093bbf9b5f4e2b9105cb6e0d1861eff08654","datavalue":{"value":"1188.68197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049401$FA92956F-25F1-410E-BF9E-90E75B7E6F6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"210f06773da60a84f3e0c4f4d099d38fa9aee286","datavalue":{"value":{"entity-type":"item","numeric-id":453544,"id":"Q453544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049401$ED46DEE6-F8AC-423A-802E-3C89E823114E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b8ee6d7487469fb10537f323a2ee630480c1ff1","datavalue":{"value":{"entity-type":"item","numeric-id":924725,"id":"Q924725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049401$CE99E16E-B65B-4825-8BEF-5C03E734798D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049401$11C12D85-2A45-4673-B1EC-D1C857E2FC94","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"149999f0c51cbac40d9c91928c2dc96d82dca2c9","datavalue":{"value":{"time":"+2010-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1049401$11DD00BC-550E-4E36-BBC7-3C50CC04FB38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049401$DF66116C-6E31-4A50-85A1-1F9D24BE4D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049401$13E331F2-EBE5-4E53-9B25-1653CD6BBDB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"79b3bc872b6637176b35f9e46ac855febbf884f5","datavalue":{"value":"68W05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049401$1315BC21-9ECB-49B8-B6FA-040C46B2142F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8255418b99909a3301816fa42e3109f68318e61c","datavalue":{"value":"5656617","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049401$EF63232F-F045-4594-B5D9-E632E46163D8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049401$5C654365-DC1D-46B9-8AEC-729F9E7B7561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db5dda6eddc3af43051cf2e4950044c022ab5ffd","datavalue":{"value":"simulation algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049401$24298DF7-A72C-4E5F-AE79-109549B9A3B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53064f6609fb5177611c085d6f78e739c7e3f7f6","datavalue":{"value":"time complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049401$1AB48CC4-18C1-45C3-8447-76C76DCDE473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fc59007b2b1960a263350309435ca1e06e896b5","datavalue":{"value":"space complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1049401$F1FA3572-DE90-4209-AE25-2BE55DB794D5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0e230cce435d1f6ec096ebd06862394cba001386","datavalue":{"value":{"entity-type":"item","numeric-id":21789,"id":"Q21789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049401$E4A59574-1876-46D9-A38C-E6629A74B561","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":"Q1049401$929D1BFF-4621-4FB6-B061-78C6896D5BB3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4695415406c4397f362cedee3146557a302f4b34","datavalue":{"value":"https://doi.org/10.1016/j.ic.2009.06.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1049401$467FAAD2-23B2-4201-8FC8-DD806A478128","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a143d7fd657f70dc4a04a3b6d622aa67bb218698","datavalue":{"value":"W2129934517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049401$C6FFD61A-3A6E-4F0A-AE39-70F1A9F5B138","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049401$2F2249C2-2D47-42A3-A6D1-2D37C2BA4860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7fc49cc172128cedc48b48157e5d0ff89c01e8","datavalue":{"value":{"entity-type":"item","numeric-id":1899135,"id":"Q1899135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049401$F35DF29B-8141-4845-8B0F-306F3EE660DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049401$7E39328F-D074-40F7-8411-99CA46DE6F47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"051e3582c8389d8a9ea6b6cbd1c1508ad73cc707","datavalue":{"value":{"entity-type":"item","numeric-id":5267428,"id":"Q5267428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049401$0E60CAC8-D123-41D3-87C8-0378BD8D6037","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02a005a09619e3a95c7a8fb372b338dab77bde28","datavalue":{"value":{"entity-type":"item","numeric-id":2760243,"id":"Q2760243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049401$A63971BB-6FA4-4982-85F1-927CBBC9E11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bffe48c7c76b90bf68970921698e19786e1600b","datavalue":{"value":{"entity-type":"item","numeric-id":2747613,"id":"Q2747613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049401$A47A30DF-3F15-4B38-BA85-D8F7EAF8D564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90f06b363f5719862f98dfbbe9bbdce60dd6b1f0","datavalue":{"value":{"entity-type":"item","numeric-id":5178905,"id":"Q5178905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049401$E3CFCD15-B088-4440-8A65-2B6F16540FDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6635542395ceab89ec0442ca8322133bfddc11d","datavalue":{"value":{"entity-type":"item","numeric-id":4369871,"id":"Q4369871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049401$F9A85581-C51A-4DA1-AAEE-51B4CA978BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f553acea82991f68f999bd4ad304bedf513f3fe","datavalue":{"value":{"entity-type":"item","numeric-id":1884863,"id":"Q1884863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049401$8AE46FFA-8467-4E0D-9D89-A19C10502797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbf2126ec31c7fc7d45c247c9431c6fae536e374","datavalue":{"value":{"entity-type":"item","numeric-id":1431342,"id":"Q1431342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049401$689F9C43-075E-4DFC-97EC-A0C8ACF2BCB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1a428cddd9ec403b8385cb20736e7c02b5a58ca","datavalue":{"value":{"entity-type":"item","numeric-id":4779119,"id":"Q4779119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049401$3DA72A19-E700-46BC-9628-1A24B147B100","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d9af677e614b80799ce2fac10e1841dcbb8e90c","datavalue":{"value":{"entity-type":"item","numeric-id":1818325,"id":"Q1818325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049401$1A851BA2-6157-4B86-AE93-159EAF38B12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e4d173d86e0c216957e12c1d5d9e85e51ce99f2","datavalue":{"value":{"entity-type":"item","numeric-id":3512514,"id":"Q3512514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049401$CD979506-33AF-4AA0-B3EC-CD96CE77F7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a44720d2fb83a21f8f7f48b86172e34e19841d9","datavalue":{"value":{"entity-type":"item","numeric-id":4252730,"id":"Q4252730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049401$DCB6D4F4-F9DD-4A70-99DC-CB9313D4B0DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79295103dfc4bddd48b1a13a0dbf4314d0049bf8","datavalue":{"value":{"entity-type":"item","numeric-id":4484513,"id":"Q4484513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049401$E02F5230-C13E-4123-BBD9-6765D9275FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a6320002eee51efddaa9f2f4a03f37bab8991e","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049401$C9B8CFE3-CDBE-4278-B950-3E46503FB42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fa25ecef461a83ce03679a7bacb00b33cb4090","datavalue":{"value":{"entity-type":"item","numeric-id":3801084,"id":"Q3801084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049401$7D7B7292-6D53-4B11-A278-1071EF804BE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c3349d98487c183203fbd7365efbb609bb808e8","datavalue":{"value":{"entity-type":"item","numeric-id":3437262,"id":"Q3437262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049401$30AD3E70-92F0-43F4-B1BA-44E3FB793383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55219ffb08479eea056d4935e47c830652aeb7c2","datavalue":{"value":{"entity-type":"item","numeric-id":2771063,"id":"Q2771063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1049401$7073BD65-B033-4F6D-B78E-A333304E83FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"62cd3918fbd4f3000cde55b61eb16a162a5cce7b","datavalue":{"value":"10.1016/J.IC.2009.06.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1049401$C88F5939-5BB6-4554-BCD1-4089E0F3E1BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"909fcb888d1a6e1d1add4c713b120198b29a8d66","datavalue":{"value":{"entity-type":"item","numeric-id":2895774,"id":"Q2895774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ff56bca783fffd45c22077346239d4009c47e35","datavalue":{"value":{"amount":"+0.9210725426673888","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":"Q1049401$A3467BD3-7787-4C12-A26C-80879316A206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ebe66424f65cba7e0c9fd0adccf43f0959b93b89","datavalue":{"value":{"entity-type":"item","numeric-id":5144615,"id":"Q5144615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5496e362c32b34bf6d28eb46bb8fa25559386c6e","datavalue":{"value":{"amount":"+0.8729767799377441","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":"Q1049401$B55427EC-DB22-437F-81F6-61C84BEEF094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac0dc18867f46b523a64bd5f0b5836f3e677d4e4","datavalue":{"value":{"entity-type":"item","numeric-id":3512514,"id":"Q3512514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07884c12e50a8d889bed118c64d8538193a848e2","datavalue":{"value":{"amount":"+0.8560976386070251","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":"Q1049401$6682D8E6-AF41-4791-AAFC-F0C169959D1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An efficient simulation algorithm based on abstract interpretation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_efficient_simulation_algorithm_based_on_abstract_interpretation"}}}}}