{"entities":{"Q2248058":{"pageid":2258801,"ns":120,"title":"Item:Q2248058","lastrevid":78706394,"modified":"2026-05-06T12:14:47Z","type":"item","id":"Q2248058","labels":{"en":{"language":"en","value":"Loop summarization using state and transition invariants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6310010"}},"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":"Q2248058$F6C742EB-8564-4DC2-A2FD-C00EFCA6C7AB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dfef8c3a4852ac31f7a55d4a495ef4d81bf02531","datavalue":{"value":{"text":"Loop summarization using state and transition invariants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2248058$7B3C3FB8-330D-4248-BCB9-8E8CDD923884","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a9fe414aae3906c972adb7b5f907f1c2b7d6998f","datavalue":{"value":"1291.68262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248058$02689A93-8525-4367-846B-4F7FE6983336","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$AFE2C538-38B0-464C-ACDA-44B9E0869DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66a480d2e9b29ea82a9b0fc72873fd6d8201d31c","datavalue":{"value":{"entity-type":"item","numeric-id":287271,"id":"Q287271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$76E37817-5D87-4A0D-92CA-AFB5BB13179E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02a3a6d65cef09233c3157717e074297efd5d7a8","datavalue":{"value":{"entity-type":"item","numeric-id":479825,"id":"Q479825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$512EAA51-BBEF-4DC7-B0CB-E924D1F3775A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1c87c9af4e13b37692406d4217688fa0be235ad2","datavalue":{"value":{"entity-type":"item","numeric-id":479814,"id":"Q479814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$30D687DE-C741-43B1-8EDA-EA678F2DB22D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ada47f60430f7f43a9dd2d117ab9ea6a873d3dba","datavalue":{"value":{"entity-type":"item","numeric-id":1799085,"id":"Q1799085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$86E8DAD5-FF9D-48F9-96C8-F30058EE2149","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$C78D9D69-6857-40EA-858C-7E450ACD2CFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"117a9f146c2b43e9cf22c7fca681da0aad1e0ba1","datavalue":{"value":{"time":"+2014-06-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2248058$94EEBDF3-24B2-45F0-82AA-484BB5A7EAA8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7fef9bc8756077f555af2e436a36e26f3953ae99","datavalue":{"value":"http://doc.rero.ch/record/310194/files/10703_2012_Article_176.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2248058$A424572C-D60D-4C59-B6C4-824C59669F29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248058$72693D10-F6C8-490B-A9F1-AC56F77ABB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248058$46AF414D-27A8-4F46-AC69-99FD32352919","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f820d17308f90ab04322054d64a5d7629ec2b29c","datavalue":{"value":"6310010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248058$EA999C91-8B87-4F7C-8AB8-2CC1FEB4527D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6fa786db4b22752cc8983cfc8236fc3eb53e00e9","datavalue":{"value":"program abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248058$BFBB4D76-1134-4396-A3E3-188FEA4C5019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b6853038df51a9c5057342ca4e48a9c1896a2c2","datavalue":{"value":"loop summarization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248058$2AD8C84B-63E7-4A92-ACEB-CFC4B4C34F3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c6b234052d577bbfc0605fdbf112f40bb1c4228","datavalue":{"value":"loop invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248058$37EB2D9E-C67E-443F-955A-A578A8556681","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be6e5d80df225f6adee32f465efb737d4741015d","datavalue":{"value":"transition invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248058$2E60B85D-A417-49FF-856B-B55483179DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q2248058$D1D51F9C-6738-491F-A5DE-43A1BAF92D23","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b6da1f42e3d4d28e24ecb68672c28ee0982a60c2","datavalue":{"value":{"entity-type":"item","numeric-id":12950,"id":"Q12950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$6C162DB3-2820-4638-9030-6A65E4B3E8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a1d6b9e920f2e41a66a9767e31ca972ed7628dde","datavalue":{"value":{"entity-type":"item","numeric-id":15668,"id":"Q15668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$78E53113-FD5B-4B2C-8042-D4A92A7A0B0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"14bcb78167ecbe13d976fd586e0b21100a3bf946","datavalue":{"value":{"entity-type":"item","numeric-id":31317,"id":"Q31317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$8EA3B130-6D2C-4C69-B196-371AD6E30368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cb5085a0e3d3bb720346dd836bd54d5d9d9a7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":20658,"id":"Q20658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$5594E487-77A3-47E5-B34C-D3D17BA89263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46ff34e1d84d0a4729956c7d4ecfc0d65ecd906","datavalue":{"value":{"entity-type":"item","numeric-id":25615,"id":"Q25615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$75E0FCB3-F940-4328-8334-2B5F19AD23C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4b10831b25b2756323f1e155a6277b60592e8908","datavalue":{"value":{"entity-type":"item","numeric-id":21857,"id":"Q21857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$D7CBF49E-D982-4CA3-95A5-7434C861EF14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7107a3607349765606fad319a8423745e29c6d1","datavalue":{"value":{"entity-type":"item","numeric-id":24728,"id":"Q24728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$81FBA6BA-696F-4471-9EE7-69BA19A9A867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dc9e88abc913a4b4fba265878f62bb009e36efad","datavalue":{"value":{"entity-type":"item","numeric-id":17099,"id":"Q17099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$28C43B3B-3DAF-4995-A6AA-B2F2C15D41FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$C03F6A5B-0F3C-457A-A3D6-365B01799581","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$81E1F3BF-0E98-47E0-8EB7-9CF0189E56F8","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":"Q2248058$B4CEFB7D-4973-4D07-BEC4-8B3DF38D8A9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c296c2844830b8b92ea4067090a44e1331278d64","datavalue":{"value":"W2129766426","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248058$A0A47D1F-B0E9-4109-8FAA-7C5A1FD43E15","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b601d689bc77dce28ec9c4136ae9dec9d5d11a88","datavalue":{"value":{"entity-type":"item","numeric-id":5898623,"id":"Q5898623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$1560B901-8B1E-4C77-B6EF-1E56A8A6C74D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22fbdead51b7f0506fece1b77dbe9fd8703e32e8","datavalue":{"value":{"entity-type":"item","numeric-id":4553257,"id":"Q4553257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$E9DAB217-3351-45C7-B987-9B4FBCC47B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9ea86fc7f6543a480dc78fc3d6cbe5a733f697","datavalue":{"value":{"entity-type":"item","numeric-id":3636808,"id":"Q3636808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$F6280B3C-78AF-4FE4-A3EE-CB25872B0C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38e727b0a3ee59bc4e1c091872c304fb00780206","datavalue":{"value":{"entity-type":"item","numeric-id":3189800,"id":"Q3189800"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$9DB5DCBB-B949-425C-AE05-B3C37996A1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f984f79ffd058a89b39bf713fe600c366cc21ae","datavalue":{"value":{"entity-type":"item","numeric-id":5458393,"id":"Q5458393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$C9DEF00C-1B3A-4C4E-916C-474A3173F8D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$82DD9AEA-E59D-4371-BBB0-D3FD47ECA29B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$CD58C520-5975-4824-896B-776CFA4FB5C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"161c39c62daa5665a57aa85651fc82decea6c02c","datavalue":{"value":{"entity-type":"item","numeric-id":1888196,"id":"Q1888196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$91E70F91-F546-4DA1-BDA5-33B0DCC22CC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a768592a36a0799f3311c6c16dd9cd5a4a03baf","datavalue":{"value":{"entity-type":"item","numeric-id":5703792,"id":"Q5703792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$C2778BEF-6F27-4466-A3C8-886399522FFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"deeb97c476799c7ebc17474fec5ecf15127c375c","datavalue":{"value":{"entity-type":"item","numeric-id":5897430,"id":"Q5897430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$891A7A27-EA81-4111-B495-AC0FC9A2DF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b017608da01ad841ff41e1eaf1e28d83e843c1e4","datavalue":{"value":{"entity-type":"item","numeric-id":3512502,"id":"Q3512502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$06639C39-2722-40EC-A66B-3505A9E8BD56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0dc66a0e3718fac9d0bef9ab04b7162c402dd0","datavalue":{"value":{"entity-type":"item","numeric-id":845247,"id":"Q845247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$BDC1EA0F-35DF-442B-BCBD-99CDF817847A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72218519db5d67e742c1d9933b547c92ef121134","datavalue":{"value":{"entity-type":"item","numeric-id":3557080,"id":"Q3557080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$A2C081FA-0932-415F-BC15-ECDB2978770C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba462d720e88fed41cd67622766e9b4ebfeee44","datavalue":{"value":{"entity-type":"item","numeric-id":2894265,"id":"Q2894265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$D7C69C68-B3F0-49DF-90B0-70333FAB37E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bd9b88bb298728fba36d6cb290ee95ccae0a7ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763999,"id":"Q2763999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$8601FBE9-4F39-49BD-833A-2E53A17CA3E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb0e8d299c09f38181b1f1ce7209848e193b8ea","datavalue":{"value":{"entity-type":"item","numeric-id":5899074,"id":"Q5899074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$34B205B3-477C-4389-B567-1393BE449B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c422a7d48ee98392d6af0deb069f53db21d9f7fd","datavalue":{"value":{"entity-type":"item","numeric-id":765513,"id":"Q765513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$78420ACE-604E-40FC-9DAA-758FCF3F2D65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"916bfff73ab672f1043621ca668f716c2d60da90","datavalue":{"value":{"entity-type":"item","numeric-id":5261520,"id":"Q5261520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$527CF017-2CDF-48CD-B75C-F3225B80789F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"410e781afed9d251e23ab31322a968fadadc39b5","datavalue":{"value":{"entity-type":"item","numeric-id":5261512,"id":"Q5261512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$5BD44476-E921-4575-92BA-3A06F77E3157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c6c105fc16c93e45c3c862af5073671b76b02d4","datavalue":{"value":{"entity-type":"item","numeric-id":4930716,"id":"Q4930716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$12A6F4D4-2453-4D50-91C0-C37C2CFE9F34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91c21e537ab0c07b0d3849b9a7e5a291ced75540","datavalue":{"value":{"entity-type":"item","numeric-id":5178898,"id":"Q5178898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$B0E86917-C146-4FCF-9DF0-CDEC57D2A75A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$EFED320D-029C-49FA-BD6B-E072D28A62F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b75bfe1d748978ed5f70390b01dcd2aea1b738e","datavalue":{"value":{"entity-type":"item","numeric-id":5899062,"id":"Q5899062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$EE6F8414-FA5F-4FDF-96F9-5B3A194156FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7c03f06d2cce0be649c3a0f52ed0be8c86b512c","datavalue":{"value":{"entity-type":"item","numeric-id":5716593,"id":"Q5716593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$2F5EBF55-39C4-4F5E-95B7-FECAD1749495","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98052a8fe89669b2fe4131e688755f41384ea6a6","datavalue":{"value":{"entity-type":"item","numeric-id":5178875,"id":"Q5178875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$54161EE8-A9C6-4962-8C1B-F1308E1BC7F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1807204606c08bc0647f8c538053670a3e876b3b","datavalue":{"value":{"entity-type":"item","numeric-id":3066108,"id":"Q3066108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$5F56316B-7757-492A-8808-ECD8AA0F0602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b82ac1875f2bd79fe60fd4a60c4b76074c2e13d8","datavalue":{"value":{"entity-type":"item","numeric-id":2722067,"id":"Q2722067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$D1E9F1EA-D00C-4368-A52E-19FB737453DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e03af971dfc3d10b2783bb8cf311df812564db8a","datavalue":{"value":{"entity-type":"item","numeric-id":3593078,"id":"Q3593078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$8AFD8D2B-7520-4D96-B976-4D3FE755C56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"622597836737f5c116b557ce1aed5e10431f4f36","datavalue":{"value":{"entity-type":"item","numeric-id":5901913,"id":"Q5901913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$DAF97498-3168-4747-952B-2EEEB2B51AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53ff0a420feecc8124e674d6ad3dd21b8ae9afad","datavalue":{"value":{"entity-type":"item","numeric-id":3912035,"id":"Q3912035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2248058$C8921F49-5737-4A20-B63A-272040810428","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5cecf5519f3b516fbf5049a071045efcfde0de3c","datavalue":{"value":"10.1007/S10703-012-0176-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2248058$E03E5FCA-9065-4FDB-A820-B753FF5CD9B0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95b207d4397b0bc9c6b2a54c6097b402df3452fe","datavalue":{"value":{"entity-type":"item","numeric-id":3000639,"id":"Q3000639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ae519754a577b6438477f695fc718edd56245e1","datavalue":{"value":{"amount":"+0.8236361145973206","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":"Q2248058$827D441F-8BD7-4CBE-B945-1118D0037522","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30e087b2a7a80b780876171e6a15c3b2a1db1272","datavalue":{"value":{"entity-type":"item","numeric-id":3540068,"id":"Q3540068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d057c69aefb3b1aa61816ff70d7f32d983ede6ab","datavalue":{"value":{"amount":"+0.8162493705749512","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":"Q2248058$323F64C0-9C1E-487F-8C22-F28516D6B780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f54a54e7e1952891b7ca94d9deffbe2cd998603e","datavalue":{"value":{"entity-type":"item","numeric-id":3172925,"id":"Q3172925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfb01b9b7f3445aaff03870199811f1db3620bee","datavalue":{"value":{"amount":"+0.7784389853477478","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":"Q2248058$E04AED6F-69BB-4E5E-B252-317C6059DEA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f309308e6c0234e18c4fd7a6153702c84127b593","datavalue":{"value":{"entity-type":"item","numeric-id":5429340,"id":"Q5429340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c93b729e7f72584e99a174a8830d64e785b84d1b","datavalue":{"value":{"amount":"+0.7462326288223267","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":"Q2248058$5C2BF4BE-56ED-4279-ACEA-157E7D1D1B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"021e916e9abb7e80428c41fadb5cf89f61c7ee29","datavalue":{"value":{"entity-type":"item","numeric-id":3000631,"id":"Q3000631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"314c81dc7bbf61a9a9aa0f8584cdf4d1c03f2fb1","datavalue":{"value":{"amount":"+0.7415787577629089","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":"Q2248058$198DFF58-E97A-4FB8-87E6-A5DFDAAC4371","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Loop summarization using state and transition invariants","badges":[]}}}}}