{"entities":{"Q937301":{"pageid":939149,"ns":120,"title":"Item:Q937301","lastrevid":65482404,"modified":"2026-04-12T02:53:30Z","type":"item","id":"Q937301","labels":{"en":{"language":"en","value":"A framework for the verification of infinite-state graph transformation systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5312290"}},"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":"Q937301$597C4656-0749-4B28-AC1A-CCFFE33A27F3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2f9e7e4beb6b9aed4293eec77a4f95ac335c3cc9","datavalue":{"value":{"text":"A framework for the verification of infinite-state graph transformation systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q937301$B6CD5F22-13D7-498E-8FB8-8470A1348346","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27c0fa8d358291bedaf4609cb249403a5dbe1674","datavalue":{"value":"1153.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937301$525B6418-340E-43F6-A42C-A35BD321692D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a84734b2f28e9a35d6144f12b4db78e213891dea","datavalue":{"value":{"entity-type":"item","numeric-id":338612,"id":"Q338612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$D6FADDA4-E6A6-4031-AD5F-48F49685D553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b00d93131f1b38401f6d724c500276180fc1e824","datavalue":{"value":{"entity-type":"item","numeric-id":171483,"id":"Q171483"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$77222C09-1708-4E1F-A558-AFA9AC9E272B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3a7b49c0fa0207c4126ab92ba9aba076a2f1895","datavalue":{"value":{"entity-type":"item","numeric-id":443727,"id":"Q443727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$C0406225-215B-4618-9FDE-BD76879E7C09","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":"Q937301$A7EFCF50-7303-42A6-8A26-5AC75AB3CFB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"37dcd1680f174cc4709a12092d5efd1d01f69bf2","datavalue":{"value":{"time":"+2008-08-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q937301$E33D8C66-425E-4BB4-B7FC-ABF6093C0736","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937301$BB6CC3D0-886C-48BA-88A0-83A4500E51D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937301$3A44425A-98C1-4A60-9E12-423388A69824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937301$9E1C6F65-18D9-4993-A88C-11F05FDA6D38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fe67d0bc017f345283545e71ddc5149c3df27c09","datavalue":{"value":"5312290","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937301$ECF74DC8-DD2C-4A80-8992-4460BDBFBA5A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e18200ee6b0b3649be51331390917d6447bf73ac","datavalue":{"value":"graph transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q937301$015D6BDD-2BAB-4B3D-BF03-1B06B9FE2352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q937301$D975C66E-A14C-4552-AA14-BBB0F85EB7C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q937301$4F0F4086-91EA-4AF6-B783-FE8AB8064302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q937301$CDB041B6-E6BB-4B74-942F-FC94EA51065B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q937301$5255FCF1-E2A3-4C74-B652-02157C1CA2EE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"89c436defcd226981117335a9c52fb20fa5ce8c4","datavalue":{"value":{"entity-type":"item","numeric-id":16625,"id":"Q16625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$AFA9E47F-3734-429B-A729-CD29F1F48AD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9ef29e164ba705ae9d8f43b7a6725334a308dfd","datavalue":{"value":{"entity-type":"item","numeric-id":20412,"id":"Q20412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$2A35F543-FFCD-4720-BA6A-F53BDA1909CF","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":"Q937301$03B4E040-1D0A-4DF7-A5A1-819872454704","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4c84c09c5b6eac05ce538bea21a535ad39771ecc","datavalue":{"value":"https://doi.org/10.1016/j.ic.2008.04.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q937301$DCA91EAE-ADDC-4163-9A13-0C19A185187E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59695e03c8c95f9af6126182e44766b0223cbf8e","datavalue":{"value":"W2145270986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937301$71143CEF-6B47-4184-86D5-3FD6236262FC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"605cd54b5666989f05001b3d36d606561ce4ef39","datavalue":{"value":{"entity-type":"item","numeric-id":4693062,"id":"Q4693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$93E5D5D9-5B27-4F32-A16D-6DA1D1152A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60f2a33b140279091a5d42f1434ee6c8cc823f92","datavalue":{"value":{"entity-type":"item","numeric-id":4791846,"id":"Q4791846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$1D8502CE-7522-4F3F-9527-ED15FAB99F1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe2920853de1f48ca850ca62d87869ee3d0a907a","datavalue":{"value":{"entity-type":"item","numeric-id":5311499,"id":"Q5311499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$DBDCD501-2741-4350-BD51-5003C79509E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2024f77d65ef00da8219ef7e2d88b01ec7246f0","datavalue":{"value":{"entity-type":"item","numeric-id":3591071,"id":"Q3591071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$E0AAB396-9C3A-4B35-A7DC-0F2EE6D87D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f72600dd9c442c726fc0b2a729ee3e3cd627f24","datavalue":{"value":{"entity-type":"item","numeric-id":879600,"id":"Q879600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$95558F5B-CEDA-418F-AC0B-C67C632322ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e8d8d65811897c843043e94ba40fe7f65bb74e1","datavalue":{"value":{"entity-type":"item","numeric-id":4438762,"id":"Q4438762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$28D2584B-2B4D-4BD2-8B74-FFE823EFE8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36154988acf8e7c14adc67949b6440dbb83eeff0","datavalue":{"value":{"entity-type":"item","numeric-id":4813402,"id":"Q4813402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$6B2DA5B0-9779-4625-B74D-16C0C1B546CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24693108df5ac70b33c9e05f481250fb91b71f4d","datavalue":{"value":{"entity-type":"item","numeric-id":1854467,"id":"Q1854467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$FE656BDF-9184-4AA0-8C17-7C52474F7C1A","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":"Q937301$861E84A6-4F99-479F-8DBC-D6D580224381","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"572d01df1bade3df9424cc96035cb0e941f84c2c","datavalue":{"value":{"entity-type":"item","numeric-id":4890710,"id":"Q4890710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$3FB20E1E-3DF3-407B-86D1-2834F2B08EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$DDBA7801-41DC-437F-B080-A16271E9F8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01d4a91dcf05e247efe3d36d8b1cf5c4792f88","datavalue":{"value":{"entity-type":"item","numeric-id":4385532,"id":"Q4385532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$A0E34597-80F4-4525-9524-8730408F35A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59030a683a61c6f21335943f1806126d375ef998","datavalue":{"value":{"entity-type":"item","numeric-id":5902550,"id":"Q5902550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$BB9E267E-9DD8-4DCC-AA3B-D92AD7668C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef15b3970454943801ea6f54009a29a9b0eb4583","datavalue":{"value":{"entity-type":"item","numeric-id":4194478,"id":"Q4194478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$D4DC36E6-4F0A-4925-A1F1-8FE69EDF1A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9dd08e7c41a6c2ead3e3812132df00499e980150","datavalue":{"value":{"entity-type":"item","numeric-id":4951112,"id":"Q4951112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$9F853B62-B97D-4295-91FB-E26C0A0D55BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd92129a26dbf41cdf266b4912c7209843a4f651","datavalue":{"value":{"entity-type":"item","numeric-id":1175711,"id":"Q1175711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$CB3396DB-F2F3-48B8-B36F-FFC60C7A5225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43bd5fdf5aa5844fbfdca79209f802260aedff52","datavalue":{"value":{"entity-type":"item","numeric-id":1346682,"id":"Q1346682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$8C849AAD-74E7-4FD8-8AE3-4379788F9CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"794af306cdb0a790c3505b654fa9f6993636be2c","datavalue":{"value":{"entity-type":"item","numeric-id":5308095,"id":"Q5308095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$A6F78F1F-2AF0-4304-92DB-D68B15056CB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8fc898d844a6b9a0adc59c6178f9d80c84927b1","datavalue":{"value":{"entity-type":"item","numeric-id":4502817,"id":"Q4502817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$27C22667-5C2D-449F-A4EA-046BE6D63E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e44a1145e260c347d17380ab66ad54c66824f81c","datavalue":{"value":{"entity-type":"item","numeric-id":2508333,"id":"Q2508333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$D04CEE67-5E7E-4757-8254-D50655409CFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0304a2dc3d13817357dd001fd41d00cd9e47671","datavalue":{"value":{"entity-type":"item","numeric-id":5899059,"id":"Q5899059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$E85D7EE1-FBC6-4795-BAB0-0F0F88CC7D66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e968cc29bf4e81e0b77cc255286c583c67855e6c","datavalue":{"value":{"entity-type":"item","numeric-id":2379973,"id":"Q2379973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$9A70D1D3-F9C9-4437-9A55-7DD53704E803","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5ea8430458d7312b0e696462ef13965e0158075","datavalue":{"value":{"entity-type":"item","numeric-id":2867889,"id":"Q2867889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$2FADA34E-5271-4C12-A0D6-FAF1872B7EC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e31673880903a7f45b071aeeaa26db97b0515e7f","datavalue":{"value":{"entity-type":"item","numeric-id":5716594,"id":"Q5716594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$38E6AC41-A7AA-4F13-9FCD-543077A46E71","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":"Q937301$BB93DC33-FA70-4ADA-AC1D-B939172DFEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$4C71858A-7BA1-42DA-950B-96BAB883E6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe3b950411ee1e7918837695edeb889a33306058","datavalue":{"value":{"entity-type":"item","numeric-id":5452599,"id":"Q5452599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$A7F2F659-7986-486E-A966-BB5B57309654","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2d7892fe9feccb20e05037849becc76af71cd61","datavalue":{"value":{"entity-type":"item","numeric-id":922720,"id":"Q922720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$132A64FF-43D2-4451-9FD6-516C246D69C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3975b36ca6c71e5d04d124129914ac8a1057a5c","datavalue":{"value":{"entity-type":"item","numeric-id":4791828,"id":"Q4791828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$33B49716-C306-4DA5-98CB-FEC15D24FD5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b81d109e9cce1f8cce6f16bb692ddffdd5d143e","datavalue":{"value":{"entity-type":"item","numeric-id":1902298,"id":"Q1902298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$506D6FD5-6F56-4B7E-BD76-4C684950F029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cd55ff2e03b6b314ce17c763bfbf348521ea10a7","datavalue":{"value":{"entity-type":"item","numeric-id":4222939,"id":"Q4222939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$03A806E4-6384-497C-8550-9E6AE7F1A2A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c506dcd1dbf98f0bb1d5f7478939caf3f8727942","datavalue":{"value":{"entity-type":"item","numeric-id":3219122,"id":"Q3219122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$719B50DA-DEFF-44D2-B757-D9418A37C793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"607e674a97532a1c6e8bb14540fece481fc3502b","datavalue":{"value":{"entity-type":"item","numeric-id":5308712,"id":"Q5308712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$F90D4DA5-4539-4727-80BF-BC40EB68EC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac3c14f96bceac8353849fff92b1b2e7fa32a871","datavalue":{"value":{"entity-type":"item","numeric-id":929189,"id":"Q929189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$1EA79BF5-0347-45C8-87F3-6078C731FC35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91259d79d392a3d47849a780eaf2c5a36deec384","datavalue":{"value":{"entity-type":"item","numeric-id":2852078,"id":"Q2852078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$20CF8685-C0D6-4ACC-B882-D6118AFACEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ed96b910c28b0a5b2e7f2a02d0a97eef2d58a5","datavalue":{"value":{"entity-type":"item","numeric-id":4379556,"id":"Q4379556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$F7075758-D79D-4700-8EF3-CCEB5C52BB37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c685a6455f099779102d87aff453737761782d92","datavalue":{"value":{"entity-type":"item","numeric-id":4461960,"id":"Q4461960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$71CD1903-E86D-4018-8347-A40656981F03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8077347e563573de5c7b0c462508cbf726652254","datavalue":{"value":{"entity-type":"item","numeric-id":4571984,"id":"Q4571984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$A8380953-42DC-40E1-B628-67E96F344B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7050866c2121a8fe6e2a514ebee5b0e4a27e3a5f","datavalue":{"value":{"entity-type":"item","numeric-id":3424121,"id":"Q3424121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q937301$D38AD2D8-FCCD-4C32-83A0-09B0C8B287BF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd90f8e2d46e13cbdd2f45eb3c0e8b7e6aaeb417","datavalue":{"value":"10.1016/J.IC.2008.04.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q937301$9C169D9F-D698-461C-872F-EA9B4CB1D2D2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b58967976a5fb64604a5881c558e36ae48e66a8","datavalue":{"value":{"entity-type":"item","numeric-id":4931307,"id":"Q4931307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a67c61a021b9ad5ea2675fd89c91430f70f3653b","datavalue":{"value":{"amount":"+0.92335784","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":"Q937301$C93DB316-4419-4A49-82E3-CE66BEDBA691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93c5a5cedb253aa37578ec197c7e563a953c49be","datavalue":{"value":{"entity-type":"item","numeric-id":4808811,"id":"Q4808811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f3964c9472a1d1c5b704114fa67fb83a22c6fc","datavalue":{"value":{"amount":"+0.91593546","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":"Q937301$C4149B99-2D6F-42FF-A9D6-93557105661E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8811689ae8723a403f8a845a2f80cfb85de0ef6","datavalue":{"value":{"entity-type":"item","numeric-id":3507354,"id":"Q3507354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1279e4ece697df4deb6f4092e5e5928351b9c5f4","datavalue":{"value":{"amount":"+0.91115713","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":"Q937301$02872FB4-DC1C-490B-9C2D-B69206CBD046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67357fa03c8014a0439a7714fad797dc31bc4290","datavalue":{"value":{"entity-type":"item","numeric-id":5172640,"id":"Q5172640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b30d54fe440f342ea61966a5d84c706798982a07","datavalue":{"value":{"amount":"+0.906543","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":"Q937301$FEFDD117-709B-4DD2-B228-CB0ADC8B95D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f5b0622b946b64d3bcbe9a2e57c21e70d7bd03","datavalue":{"value":{"entity-type":"item","numeric-id":2847775,"id":"Q2847775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33e0e79f95faea001906dc0ee6ed0be57f921ef3","datavalue":{"value":{"amount":"+0.90580976","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":"Q937301$41984E36-B8A5-43C8-8FB4-A0E4AACC1999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a19dc35d7c4820d0ccae697e6bfeecf803d01969","datavalue":{"value":{"entity-type":"item","numeric-id":5100737,"id":"Q5100737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e39e3c862a473f3f6bb3fc767b2edfdce726d02","datavalue":{"value":{"amount":"+0.9046391","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":"Q937301$605E691E-E278-4AB9-BBB7-AE785E108C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baba44df3ef8d032daa5653806c21343676e0b86","datavalue":{"value":{"entity-type":"item","numeric-id":4972013,"id":"Q4972013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13f2a1a4f3bc9265e5800df85f584abd60ff2621","datavalue":{"value":{"amount":"+0.9040321","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":"Q937301$E00786EC-19A2-43DF-83FB-BDAA7F4C590D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"734a36f0789e3c233bc7551ac680081df0e18304","datavalue":{"value":{"entity-type":"item","numeric-id":3605472,"id":"Q3605472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e530d8638f290c5fdae582a4b45ceb499abf2b22","datavalue":{"value":{"amount":"+0.9011169","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":"Q937301$C9D903A6-8BE6-4B00-B304-3F2FBA2B074B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a23b302b17a0058a5b9a997e41c4db6fb6be87cb","datavalue":{"value":{"entity-type":"item","numeric-id":5403457,"id":"Q5403457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0424336d05174c9de1e5d3262b11fb906d9d81b1","datavalue":{"value":{"amount":"+0.9007545","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":"Q937301$08E31162-C310-4E67-BF32-8E01245ADEC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A framework for the verification of infinite-state graph transformation systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_framework_for_the_verification_of_infinite-state_graph_transformation_systems"}}}}}