{"entities":{"Q989287":{"pageid":991135,"ns":120,"title":"Item:Q989287","lastrevid":65828760,"modified":"2026-04-12T05:38:50Z","type":"item","id":"Q989287","labels":{"en":{"language":"en","value":"Abstract interpretation based verification of temporal properties for BioAmbients"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5773133"}},"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":"Q989287$32D8C2B6-A289-47D3-A271-58F5D584C6B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0b1828e33c4114f04700245f5095222b3bd2d1b7","datavalue":{"value":{"text":"Abstract interpretation based verification of temporal properties for BioAmbients","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q989287$56AF9A60-5E30-4ECE-90CD-D3AB1648515F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"93bbe6c9f8de4b3e3a6fc3b20626aa9e1c1bb4c1","datavalue":{"value":"1205.68244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989287$A93116CB-BC55-43E6-B9EA-D1A88A875D82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1aadd89b6cc4356f39201146726ac65253316123","datavalue":{"value":{"entity-type":"item","numeric-id":264546,"id":"Q264546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$2F7B6023-0576-4E32-BDD0-25FBECED8EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e296e60635f909e1d7a67ffd7cdd348a4d088e9","datavalue":{"value":{"entity-type":"item","numeric-id":264547,"id":"Q264547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$DAAC1C50-03EF-42B3-A963-8E05D16B1442","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":"Q989287$C02BF405-6153-40B8-BD9E-A2AC94DF3E4D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6dbecd33995f2d948db2c506d7c0f2fb946d5112","datavalue":{"value":{"time":"+2010-08-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q989287$C78EFA4B-98D9-4982-B429-159FB47C4274","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989287$A644AF06-6622-4B2F-9070-B9648CC1B3F3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6e972cbe853ab94fef99295083bed5370e556cee","datavalue":{"value":"5773133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989287$B997563E-4B54-4383-A8E6-1A8370EA40FB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78329e3ed4b2a884aec6c7dc1c0abe8fa6b8ef8d","datavalue":{"value":"Mobile Ambients and BioAmbients calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q989287$24C37B0D-5EB9-4C4A-8F4A-9A461C5CCD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q989287$4BD68DD6-BD28-4E05-BC38-4B15F6761B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe269ec27a20857fd453adc4b58d898ba6faa658","datavalue":{"value":"verification of temporal properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q989287$916299E8-781A-45EF-8262-D4A20275C911","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$CEE68E65-1BE2-434D-9F5F-FFB914D610A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"862154bf00e08a188e5de7acb5fd6bd1ab194b4d","datavalue":{"value":{"entity-type":"item","numeric-id":16775,"id":"Q16775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$751590F1-58E4-4253-A506-38F6FD1AC4D1","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":"Q989287$B62AA81A-83BB-4C80-B021-A49644D8C026","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c7454bf8ccec973560b45f8673855174dbf42543","datavalue":{"value":"https://doi.org/10.1016/j.ic.2010.03.004","type":"string"},"datatype":"url"},"type":"statement","id":"Q989287$5B9E0DEB-359E-4AB9-BC5E-9A6CF6B5167D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"25fdf61a30481cc869b8e0bb5dfcef17ba49c8fb","datavalue":{"value":"W2041114506","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989287$B51BC51D-DB90-46B6-B2CA-7F40AEFF434D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fab70d57cb6b6518515bca944791c23a23c86096","datavalue":{"value":{"entity-type":"item","numeric-id":5472932,"id":"Q5472932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$D5797CA2-0973-4904-8B38-7D59EF87AEF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"557c8e6f58a6cf3a18d88c4cab8d603ee71fd1ca","datavalue":{"value":{"entity-type":"item","numeric-id":5712404,"id":"Q5712404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$1177062B-1CB2-4480-B192-C011A8B6DD58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24a7a940d5b107d95f8c7accbd4bbfce6be3b335","datavalue":{"value":{"entity-type":"item","numeric-id":953534,"id":"Q953534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$FF5E35F6-714E-41E6-86B1-DB0C8988D90E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c5b855c6811e0350ff03dca58128bd70ad02611","datavalue":{"value":{"entity-type":"item","numeric-id":1887152,"id":"Q1887152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$525B9ED7-8628-49F9-B411-30AF3523486C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d39dff3f8da19567dde35105f4d4868a36a37de9","datavalue":{"value":{"entity-type":"item","numeric-id":1881257,"id":"Q1881257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$6891CE23-950B-4B14-BD12-604C21A51FB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70c789506413b059d9380f6038adfe568ac77dfd","datavalue":{"value":{"entity-type":"item","numeric-id":1575154,"id":"Q1575154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$B5C0C819-10F8-46B9-846E-820646FE8D49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"986dff955b3323903dc04ef58ae4ff4b0eadf895","datavalue":{"value":{"entity-type":"item","numeric-id":1884862,"id":"Q1884862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$09B32BB9-5CB1-452F-95FD-2FA9D5CBE014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0706fb42492bf37f601b52423e1abca9c845ca8","datavalue":{"value":{"entity-type":"item","numeric-id":1884885,"id":"Q1884885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$6301ADB4-E58A-49D7-B672-47C6CC4180CA","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":"Q989287$DC815582-A38E-4C81-8285-7B997E5D85F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890aa582ec37803cbf74c8a6ca1c70024ea8a626","datavalue":{"value":{"entity-type":"item","numeric-id":4012706,"id":"Q4012706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$0E6FD9F1-4524-41F7-8F60-19C6260B8411","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e4bd2b5025f233252d2c4e23706e3602cbd52cb","datavalue":{"value":{"entity-type":"item","numeric-id":2766538,"id":"Q2766538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$3538D7A9-FA11-4A2E-B0DA-727F23B56CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931ef5da49ca2412e5ba6ad24fa1ab4e417d95b2","datavalue":{"value":{"entity-type":"item","numeric-id":5493400,"id":"Q5493400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$B269A4B0-B82B-4AA4-9FE0-E83421EB001B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2c38e722755485d9229be0c00e8a62a8b15a26a","datavalue":{"value":{"entity-type":"item","numeric-id":2703725,"id":"Q2703725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$2F481A75-753C-496A-B449-805501AB16BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64ce2d367d9160a317d3c3485f510ca95c2b2b67","datavalue":{"value":{"entity-type":"item","numeric-id":4778710,"id":"Q4778710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$FCAD741D-BAE1-47EB-B640-207F9DFEFAAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49678118938d5a8fee25ec83ca93c5f605f50de8","datavalue":{"value":{"entity-type":"item","numeric-id":1772313,"id":"Q1772313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$EE63BEAA-7734-46F8-B728-7371BB1E25E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"434a15023b5bc71546f4a4e69e1204d62a0d5d09","datavalue":{"value":{"entity-type":"item","numeric-id":5493399,"id":"Q5493399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$21062DD0-4221-430B-A7E0-E16EEC9404D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"12d21aa03823179a333eed83f52807223b8aed85","datavalue":{"value":{"entity-type":"item","numeric-id":5385599,"id":"Q5385599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$50E7B3C5-4A39-4F11-97D3-EAE48901458A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4869a038f4c639f28be8068d5455d2405880fee","datavalue":{"value":{"entity-type":"item","numeric-id":4494378,"id":"Q4494378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$45D203DA-6802-418C-A551-7BB00635D466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea76b1f57dce86ca9a4a845c18da439f767e1338","datavalue":{"value":{"entity-type":"item","numeric-id":4413201,"id":"Q4413201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$3E19A2AC-08C1-42B4-B773-29A506D70BD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be9744593562b5f79ea0575cfbe25989dff7a276","datavalue":{"value":{"entity-type":"item","numeric-id":1887169,"id":"Q1887169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$4C6CE718-E26F-4E7D-B080-501C21222D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dd895783119ec3154d81e6bfcbc7efa9133501f","datavalue":{"value":{"entity-type":"item","numeric-id":3613068,"id":"Q3613068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$E57D770E-BADD-46FE-A3D2-28B010139902","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83681e17969d72c2ed30ea87ac03f28b070d3880","datavalue":{"value":{"entity-type":"item","numeric-id":5712418,"id":"Q5712418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$E23CC7D4-18CD-46B3-80CD-40A6198B944A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a75734f1eb76fa3951a16a34a4963235e3f72784","datavalue":{"value":{"entity-type":"item","numeric-id":1198549,"id":"Q1198549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$2AD33361-6A87-4965-96A4-160A79AEA4EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34e92c50522e5891f6b6c7be4f89dc306a567f76","datavalue":{"value":{"entity-type":"item","numeric-id":5178849,"id":"Q5178849"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$5A302056-2E07-4614-BF95-1DDFEEF1F236","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d449a21464ffff4e2aa49f8dc26b0a680cbbaadf","datavalue":{"value":{"entity-type":"item","numeric-id":1603656,"id":"Q1603656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$FF5A54E0-79BB-4197-950B-9BC70156808B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5841ea721ffbb3cdd4116da205bd9bcd6cd5bd90","datavalue":{"value":{"entity-type":"item","numeric-id":5466579,"id":"Q5466579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$29A62683-9BC2-4717-BAE0-32F4A91EC3FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea6098764f0c09265c50b719a5c96a6bb70dfba1","datavalue":{"value":{"entity-type":"item","numeric-id":953532,"id":"Q953532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$9C1FCAA1-C8C0-4563-9239-752791C68A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb41d95ac6b19b3c7aa547d272e7788124eb1be2","datavalue":{"value":{"entity-type":"item","numeric-id":5712405,"id":"Q5712405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$C8A3C007-4C93-4F61-A8CF-395A6115DDE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c5274edf95cbfa00f50d26f8311358f99b7856e2","datavalue":{"value":{"entity-type":"item","numeric-id":1607114,"id":"Q1607114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$964CAB16-9702-44B0-9FF6-A0C59613B39D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e14f4be5ea10dd4ca1608a944ee645401769bf3","datavalue":{"value":{"entity-type":"item","numeric-id":1884869,"id":"Q1884869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989287$28343B09-0797-4B8C-8C22-380AE6C9AD11","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ef91432dac0f3111f874daa149e82ad9720f939f","datavalue":{"value":"10.1016/J.IC.2010.03.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989287$A45DDEC9-CFAF-4537-BEC7-1E7F190A31D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7659eb5410d41dfa5a6a9c67f814f2461cc3bb0e","datavalue":{"value":{"entity-type":"item","numeric-id":5385599,"id":"Q5385599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d719a3908edfe878ca015a788e7b2b140f63cd42","datavalue":{"value":{"amount":"+0.8362372","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989287$E680A964-5EB1-462D-9952-669E7FA00B3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cef76bf8fdf49f051a1651c3db990d218439b15","datavalue":{"value":{"entity-type":"item","numeric-id":5179433,"id":"Q5179433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26410097933e11014c38ffaf47ded6f90e687d95","datavalue":{"value":{"amount":"+0.8229764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989287$D1D17DC0-7D53-4E87-AD9E-069993E3BBD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0c85a575679df67f1a32995270e269f5457fdde","datavalue":{"value":{"entity-type":"item","numeric-id":3005243,"id":"Q3005243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76f877c771ef80b0370c04299f6c10460888db14","datavalue":{"value":{"amount":"+0.82297635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989287$1A9AD5CB-97A9-4BA3-A61C-DE4C8FD696D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea7ee79e2b2f00a50fa8b52730568e81b7f1d1ae","datavalue":{"value":{"entity-type":"item","numeric-id":5312992,"id":"Q5312992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fe01624127926cf2cb04341b6e07ffee74bf573","datavalue":{"value":{"amount":"+0.82144165","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989287$A378D67E-7BAD-464C-8BF9-0EDE8817BD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fef83fb9e879e082c2a8be558de74b70b190ade6","datavalue":{"value":{"entity-type":"item","numeric-id":5302876,"id":"Q5302876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1a9603a5eafa14b098274e443c23f0a256807b8","datavalue":{"value":{"amount":"+0.8182272","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989287$3FBADCAE-3B27-4A75-A23C-CD044829C2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b97f66b6a5631b9b2d3ca0e7931dd7ab456710f","datavalue":{"value":{"entity-type":"item","numeric-id":4411976,"id":"Q4411976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bbd17c1b2c21e162a655a69306477a6a095aeed4","datavalue":{"value":{"amount":"+0.8172123","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989287$6675D849-1836-494B-888E-E164F3696FF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8f26ad8a3b2fecceead4efb6ce0693c5f9ce5d1e","datavalue":{"value":{"entity-type":"item","numeric-id":5213786,"id":"Q5213786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec61644e2b18fd277521eef1a22c05f15a513915","datavalue":{"value":{"amount":"+0.80509114","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989287$E6569A3B-4BAF-4F7B-9B88-80509A2F512E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd425e4387b1095379f49072ea3bd8ba5fda755f","datavalue":{"value":{"entity-type":"item","numeric-id":4003036,"id":"Q4003036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3bc49dc770d17d6e433d6563616a529fcd30f96","datavalue":{"value":{"amount":"+0.8050433","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989287$5BDDF9E4-D3FA-4D82-9692-3E8DA39BBDBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a1bdfdd388ae2045a5f966c478ba5dc79eda0e9","datavalue":{"value":{"entity-type":"item","numeric-id":2870137,"id":"Q2870137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea350ed1d018c84131ccf5dcf2ae404c5edf763e","datavalue":{"value":{"amount":"+0.80483735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989287$AE266547-A657-4119-A462-4724F3233CF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"531905d3c2602b605938ffd4c2d05ced6f0e84cd","datavalue":{"value":{"entity-type":"item","numeric-id":2251126,"id":"Q2251126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92d0551bb9cd72d048ed6492293ea41aa8a5dbd6","datavalue":{"value":{"amount":"+0.80384696","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q989287$8EC59D1E-8777-43AF-8227-89B16D1DB1AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstract interpretation based verification of temporal properties for BioAmbients","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstract_interpretation_based_verification_of_temporal_properties_for_BioAmbients"}}}}}