{"entities":{"Q1630443":{"pageid":1641184,"ns":120,"title":"Item:Q1630443","lastrevid":68019543,"modified":"2026-04-12T20:54:17Z","type":"item","id":"Q1630443","labels":{"en":{"language":"en","value":"An abstraction-refinement methodology for reasoning about network games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6991153"}},"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":"Q1630443$6CC56352-CB6A-405C-9903-18DE801BAEC6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fc244cc9eace1e65e7075e76fcc6b8f8eb878b12","datavalue":{"value":{"text":"An abstraction-refinement methodology for reasoning about network games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1630443$75378195-8E7F-4CED-A071-D75E1312A47C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1c6828bc856123e8a498f6a606f7bbe26edde611","datavalue":{"value":"1418.91097","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1630443$C00B7F46-CB2B-475F-8F56-C134E90DA435","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b453db202bdfefbdbfdad4cce0c2d46221465c32","datavalue":{"value":{"entity-type":"item","numeric-id":306272,"id":"Q306272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$FF6A4153-76DB-4317-89A7-A65B97E3CDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6ec7cf533a9e797506d0d9cf6304c0b66208f71","datavalue":{"value":{"entity-type":"item","numeric-id":832073,"id":"Q832073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$A9369D09-43F0-48BD-8C03-214AEB3C86B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3315bf391c0a058853db1fdd065cc2cb8ff023ce","datavalue":{"value":{"entity-type":"item","numeric-id":216121,"id":"Q216121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$A7312310-40F5-49C8-8A19-9843E9FE118A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6589dcc6fefca0e1b5c725a60b6e53eec3d18a30","datavalue":{"value":{"entity-type":"item","numeric-id":725005,"id":"Q725005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$3DBFDD22-A7CF-4BA9-9093-69350A03C5C9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96254ecf16768214b618c057c6fdab7cc9632b89","datavalue":{"value":{"time":"+2018-12-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":"Q1630443$6FE27CA2-8C72-4EFD-BD49-2F354C62A8F4","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"3ef4c3f21c55810bc7fd189b14ca5bee21e9e3c8","datavalue":{"value":"Summary: Network games (NGs) are played on directed graphs and are extensively used in network design and analysis. Search problems for NGs include finding special strategy profiles such as a Nash equilibrium and a globally-optimal solution. The networks modeled by NGs may be huge. In formal verification, abstraction has proven to be an extremely effective technique for reasoning about systems with big and even infinite state spaces. We describe an abstraction-refinement methodology for reasoning about NGs. Our methodology is based on an abstraction function that maps the state space of an NG to a much smaller state space. We search for a global optimum and a Nash equilibrium by reasoning on an under- and an over-approximation defined on top of this smaller state space. When the approximations are too coarse to find such profiles, we refine the abstraction function. We extend the abstraction-refinement methodology to labeled networks, where the objectives of the players are regular languages. Our experimental results demonstrate the effectiveness of the methodology.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1630443$7F10456F-5EFB-4B95-8787-3214AF1519DC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51140ae2bebd38d405ad1731d3b61ebf4b26c4ac","datavalue":{"value":"91A43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1630443$5475FC82-1392-4FBB-A36E-276DC2BBAB56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1be7cda1f2fda1d13448035bf1c8e3fcef0c4ff8","datavalue":{"value":"05C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1630443$8BA5B8B9-B6C5-439B-9545-D168435A95D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1630443$E13657BD-8592-4C9B-896E-F09439C75819","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"14f9ca58c20edbe5cffacd6c2a871bef6a4e0a88","datavalue":{"value":"6991153","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1630443$E839B5DE-A6F1-4032-88D5-89FC36E5901D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afd902df979f372a0965112265234bcdc3dc1362","datavalue":{"value":"network formation games","type":"string"},"datatype":"string"},"type":"statement","id":"Q1630443$4DFDE523-91C0-463C-8331-C47664B26321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8dd4e022aad39eff1538ab173586743a2115e1d","datavalue":{"value":"abstraction-refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1630443$90CC62A5-26C1-4335-8713-75D22DF0577F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53dde8b387b5cd23f4abb2e117e873f60004406d","datavalue":{"value":"Nash equilibrium","type":"string"},"datatype":"string"},"type":"statement","id":"Q1630443$E39341FE-51E3-4645-9C57-31A595468B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9da98030a7e769ae6f50a0a221cc130560808f2e","datavalue":{"value":"social optimum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1630443$2086E592-F997-44CE-A084-44A3CC33B285","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5fbe071fe45845337c04e591c188ebbffa6be71d","datavalue":{"value":{"entity-type":"item","numeric-id":24438,"id":"Q24438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$DFDCC6E0-EEBD-4E10-B78E-617485EA0C14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"804cb8a3eae947890eade4431aaed562b33122a2","datavalue":{"value":{"entity-type":"item","numeric-id":13371,"id":"Q13371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$29A00764-B63F-4C59-8D30-28DD9B2CB39D","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":"Q1630443$DEE25084-D980-4789-AA67-93B2717B7416","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b2bef52379a54886a20edf5e001ed41dd671dc6c","datavalue":{"value":"https://doi.org/10.3390/g9030039","type":"string"},"datatype":"url"},"type":"statement","id":"Q1630443$9585B2A6-C205-4279-B830-DB4B721837D3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"18ba211bffafd6adcf92d10dd371d0ef9e521445","datavalue":{"value":"W2740294674","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1630443$6A2891CF-59A0-4712-B71B-1F3C095EF3B3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a131055da619e2b79ae0c114a7fe46e15f49a56","datavalue":{"value":{"entity-type":"item","numeric-id":2943776,"id":"Q2943776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$008C64C1-ADA4-404C-86AB-B0B425B400D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecea311e03c6a9b0ee9818c3625ce4277589230d","datavalue":{"value":{"entity-type":"item","numeric-id":3581526,"id":"Q3581526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$3E01118D-6F2F-4A62-9E29-FC41CC27B3F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6164dac3f08fce7e68c215f5c8fa1388866af8f","datavalue":{"value":{"entity-type":"item","numeric-id":3395046,"id":"Q3395046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$5B84F22E-0729-43B6-BF65-DED8C6888F88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee2f9a101ae5b6d241bbadf1b9c2d9104f25e6a5","datavalue":{"value":{"entity-type":"item","numeric-id":2560099,"id":"Q2560099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$C6CF23E7-1180-4C43-9D9D-E1C597741985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b68ad659816ef2877bd74f88e4ae3133e3494f0","datavalue":{"value":{"entity-type":"item","numeric-id":3196642,"id":"Q3196642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$D10247B7-8A06-4D27-9167-6F04ED9CE965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ab98f9d075e736218c3e96cb796315f50ea82db","datavalue":{"value":{"entity-type":"item","numeric-id":5793846,"id":"Q5793846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$9B8FFD89-5555-4639-9A35-9E325DA01C67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4f4b05ddd1493f8856688c6e91fc151b1c8919b","datavalue":{"value":{"entity-type":"item","numeric-id":3524728,"id":"Q3524728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$0B9F4258-B53B-4F1E-B8E5-B2471DC787BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6adc018b390e0f0cc028634d4d999a55c0fd8988","datavalue":{"value":{"entity-type":"item","numeric-id":3580952,"id":"Q3580952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$1526BA92-1FF6-48CB-A497-E8A1DE52F3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"302adbaf2b8357f20069be2a0dab5e3eb2168585","datavalue":{"value":{"entity-type":"item","numeric-id":1109573,"id":"Q1109573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$54255B98-027C-41E0-AD49-396DF909B6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c70b19d232f98bcc4475fb5b6e3bac34e4a068ea","datavalue":{"value":{"entity-type":"item","numeric-id":3177813,"id":"Q3177813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$BE9D29B2-1D58-4DB9-85DC-4BB11FAF643F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bd30be70c372889afbb19ad3faa00366adae1b7","datavalue":{"value":{"entity-type":"item","numeric-id":458478,"id":"Q458478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$E281F49D-C9D4-4780-8D94-D3963697FD5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d27a8235808fe7506c514b85a7a3cbc1e64a34","datavalue":{"value":{"entity-type":"item","numeric-id":4426334,"id":"Q4426334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$7AD88D94-2B28-495E-9E85-4109196D5801","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f42221eafb59709a6d2964c137b17785812806c0","datavalue":{"value":{"entity-type":"item","numeric-id":4885877,"id":"Q4885877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$60127B26-142D-4A53-95DA-D59920E73B84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cb46b665c4d01cdd72f034cac6c7dac8481fe1b","datavalue":{"value":{"entity-type":"item","numeric-id":4818796,"id":"Q4818796"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$7D231ADD-92CF-4B4D-8DD7-99868405927B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"38338272dac8f01a00cfb949ea75569fdb402496","datavalue":{"value":{"entity-type":"item","numeric-id":5308433,"id":"Q5308433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$E61231B2-C3ED-4EDA-8DEF-B0CE346C08D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b026130fb14abb6ec25af9a49779c945ecc8f0fd","datavalue":{"value":{"entity-type":"item","numeric-id":3452508,"id":"Q3452508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$F14A2D5C-898B-4C6A-A175-08F754D389C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72489657e9d4537e56084dcfdbe775f478063965","datavalue":{"value":{"entity-type":"item","numeric-id":3546346,"id":"Q3546346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$03074784-1B83-4CFF-88A5-6E5C34EA001D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfc7710aae4636347b7acce12b63ad940c9b4b0a","datavalue":{"value":{"entity-type":"item","numeric-id":5692280,"id":"Q5692280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$464CA1C3-5A91-4877-ABFA-6942C8299728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6305be563797c630cc54d96598c96a12e292aeab","datavalue":{"value":{"entity-type":"item","numeric-id":2722062,"id":"Q2722062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$C610612F-9D5B-439F-B3AE-308441757162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed142a0477864cf2ba4c5058c9088f36195ef879","datavalue":{"value":{"entity-type":"item","numeric-id":5111630,"id":"Q5111630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$A31AC5EE-86E4-403A-AC8B-2C99B0A6E49C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b96154e0b66d5a8d35e46c2a03a270fced0e92e","datavalue":{"value":{"entity-type":"item","numeric-id":2346405,"id":"Q2346405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$3B8F9B7A-4822-4EAA-8D85-3450B6475B50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37b097fab5ab007f580e71f387f2e88ccb7bf221","datavalue":{"value":{"entity-type":"item","numeric-id":2914365,"id":"Q2914365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$E9897303-E696-430D-A8BD-C3D60E5B86E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e27eb369af74c81caf93446c2eac86f4939dec84","datavalue":{"value":{"entity-type":"item","numeric-id":4817549,"id":"Q4817549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$988D49E1-2167-4069-A4F8-FF016E05A31A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9d671ef918a8d2610f2beb33d95b294f19b731b","datavalue":{"value":{"entity-type":"item","numeric-id":342715,"id":"Q342715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$78D6D9A9-8BDE-47A5-8699-5C5C4293974E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c085326ad7efa761d702052ae45772ed294782d","datavalue":{"value":{"entity-type":"item","numeric-id":932810,"id":"Q932810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$DCF1918D-9754-460E-AD10-9D2978826143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b022fe950928f92806f5b429d4f5a3164495555","datavalue":{"value":{"entity-type":"item","numeric-id":4791848,"id":"Q4791848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$68E0CCDD-625C-4F67-898A-BA96B1D038AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b269373cf4dcdfb72be5ac418ca088d60d4b6f34","datavalue":{"value":{"entity-type":"item","numeric-id":5275380,"id":"Q5275380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$2EEAF40E-4424-4E97-A6E3-2D47F2FA30EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$08E81380-3BF5-4158-91CA-427E5C7AB0FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9740972113806023f4ec7d6f4291a9ddcdd7d1","datavalue":{"value":{"entity-type":"item","numeric-id":979080,"id":"Q979080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$E65A3422-FD22-43F7-B83F-DC2976C9BD7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b9630842a9bf427e234d6878756a9805cef9cb","datavalue":{"value":{"entity-type":"item","numeric-id":2946746,"id":"Q2946746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$49D8DB36-7B98-4D2D-8A6B-12AB43732734","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18b3a63191708fcbef13555df7dd8e686610d49c","datavalue":{"value":{"entity-type":"item","numeric-id":854165,"id":"Q854165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$10FE2A64-9DCA-4D85-B89B-C35DC474136C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d8e283adc934151ba130ed51c6424cab9da173c","datavalue":{"value":{"entity-type":"item","numeric-id":3613343,"id":"Q3613343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$D3098A38-E0D5-48A4-BB62-FE1FE7D24FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f53750f6f97bf611de436c1c9e3df97c92a7bf1","datavalue":{"value":{"entity-type":"item","numeric-id":3557077,"id":"Q3557077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$D0FE5B83-3050-40D6-8FC7-C0E9303C87A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"462d7fc105198895e033088352a83033c597fe37","datavalue":{"value":{"entity-type":"item","numeric-id":5357713,"id":"Q5357713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$63B6B593-4602-4553-8A7A-361DF2C65BD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97b89c8bca36d366cdd3a48846cc88da3347e98a","datavalue":{"value":{"entity-type":"item","numeric-id":5311283,"id":"Q5311283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$3733A367-7471-43C1-AC02-84BF646F5F2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac4c56bf6d1eb3cdb203e1349d16afb59c00132c","datavalue":{"value":{"entity-type":"item","numeric-id":2892777,"id":"Q2892777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$CC8F629E-58BC-434B-BC90-83317204BD14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a083195e8e098a066a5881e7c9ff5277f8280fc9","datavalue":{"value":{"entity-type":"item","numeric-id":2819456,"id":"Q2819456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$7608DCD4-0135-43BD-910E-36B58DD51ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9286bca746634f85c067d3b003e75719525839d6","datavalue":{"value":{"entity-type":"item","numeric-id":5111251,"id":"Q5111251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$019F65BB-0249-4BE7-AF1B-3519D4C33F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e341f3543e03eec605cc15905d79ddb6f6948c8","datavalue":{"value":{"entity-type":"item","numeric-id":3303895,"id":"Q3303895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$4E76E35F-806E-47CC-8490-E551F4EDF529","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e4de8e02463aa9adeead8bdc6d0fc6c098b1202","datavalue":{"value":{"entity-type":"item","numeric-id":4417922,"id":"Q4417922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$CE698ABC-B066-45B4-825E-0BF1AC8D2C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5142ee1d620d0b4118f77836a47316b18c6d1122","datavalue":{"value":{"entity-type":"item","numeric-id":4382287,"id":"Q4382287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$3EA88D06-9F5A-4664-9A7C-FAE8BCAC358F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f55c2a7fc9d45605e2caf1c271f4538d19e2f30","datavalue":{"value":{"entity-type":"item","numeric-id":5958538,"id":"Q5958538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$21F72939-9A4A-43B2-8B40-ECE65350403D","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"1333cd2e9a67a9e97bcc9af42bc3e14d1b2d1f67","datavalue":{"value":"Q125839905","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1630443$B9B0C38F-F5BE-4696-BBAF-EA4B16C434F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0210820afd23ce157c841a368b05792e0e1eea17","datavalue":{"value":"10.3390/G9030039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1630443$606D7285-3880-49DE-BAE0-8384EE4A8801","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"108999f9068a8d2086704281990bcdd3c87b6932","datavalue":{"value":{"entity-type":"item","numeric-id":3525630,"id":"Q3525630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cec1c1ba2b60e5a2154e129347cd1065a5be419d","datavalue":{"value":{"amount":"+0.7450107932090759","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":"Q1630443$3B5D4435-7770-4EE8-8D91-47907B366342","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c080b5e4547f0e9b22c86c4e96f6568e3b08861","datavalue":{"value":{"entity-type":"item","numeric-id":979079,"id":"Q979079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"400b8831ada0eff38be96b9cb93d8c476f2129bc","datavalue":{"value":{"amount":"+0.739872395992279","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":"Q1630443$5EF3B61B-C3B7-4BC7-AD05-06F209D0BAD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0956d5739a46210e50ec9a59a3840ae7741180b3","datavalue":{"value":{"entity-type":"item","numeric-id":5410668,"id":"Q5410668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c25f8b260b1b921e1d7fb86e20dac644550dc5c2","datavalue":{"value":{"amount":"+0.7111294269561768","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":"Q1630443$25759FBB-5FCB-4C30-A6A4-AA985837CA10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f5d8ba6e135ad7672c756ef39e466451d9320ab","datavalue":{"value":{"entity-type":"item","numeric-id":3303895,"id":"Q3303895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35fb3b418f18d4c06a60f4790ee20bd54b431ce7","datavalue":{"value":{"amount":"+0.7069135308265686","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":"Q1630443$18B1EB9F-1191-4675-A0B5-5BC83D2F2B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2449df75340d7703dba75b3d34d9c3f03501b8ab","datavalue":{"value":{"entity-type":"item","numeric-id":342715,"id":"Q342715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36149dd07d8ba3143230a7d8b28fad990ee3614c","datavalue":{"value":{"amount":"+0.7023011445999146","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":"Q1630443$8ACA5E0B-01B7-4A68-A377-AAB3F1961D22","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1630443$DE8DCA28-CD36-4B40-950E-8E0746E9E2AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An abstraction-refinement methodology for reasoning about network games","badges":[]}}}}}