{"entities":{"Q2393141":{"pageid":2403884,"ns":120,"title":"Item:Q2393141","lastrevid":73130148,"modified":"2026-04-14T14:40:06Z","type":"item","id":"Q2393141","labels":{"en":{"language":"en","value":"Concurrency bugs in multithreaded software: modeling and analysis using Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6196036"}},"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":"Q2393141$82A29160-1FB9-4C01-895B-6CE1833CE546","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a2663693f44178a5bb4d9bed82b64d4fbba0d6f2","datavalue":{"value":{"text":"Concurrency bugs in multithreaded software: modeling and analysis using Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2393141$7DD96756-D2C9-42AA-A06F-EA1AE39AEA35","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"140bd521f06c829cfdcee1b14ac2478d33f441c8","datavalue":{"value":"1268.93100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2393141$3ADFD973-B363-4137-898E-02A019E5BDBE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9b68ee895fdd8edf5b6a7242589683f3645a2193","datavalue":{"value":{"entity-type":"item","numeric-id":2393137,"id":"Q2393137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$3BBE9EF9-6A8B-4FF5-82D1-BD7F02BD6DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1db77f7fe58513e6af6cff38a46f5f431615b652","datavalue":{"value":{"entity-type":"item","numeric-id":344787,"id":"Q344787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$9720BDE1-215D-438F-BC51-F41C58B42FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4f6c4f61819c593adfa3207cbb6fbb23bfad321","datavalue":{"value":{"entity-type":"item","numeric-id":2393138,"id":"Q2393138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$C3B28158-D5BE-4719-8F79-8A02E686F125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"92fe857abf5496a1feb5f4c54c823b6ebd92a666","datavalue":{"value":{"entity-type":"item","numeric-id":2393139,"id":"Q2393139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$0264E1F6-9768-4FDE-8E7A-67DFEFA2748D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4159e4780d2e0abdafcaa8e6fa04835abbe3d82","datavalue":{"value":{"entity-type":"item","numeric-id":2393140,"id":"Q2393140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$BE18A6E4-AA2D-46F0-A053-94AE0E939F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d89490944a0cf65c3919d65bf38beba776c368b","datavalue":{"value":{"entity-type":"item","numeric-id":243736,"id":"Q243736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$A590C1AF-8415-478F-A380-0F1AE7C05ADD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"861ba9963d9ded5808d3b14fabbc2e0cbe90649c","datavalue":{"value":{"entity-type":"item","numeric-id":1329101,"id":"Q1329101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$EAD1DD7E-6E33-4707-8D92-972BC17D538F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4f1d6b422604681a1dec9879ec3d8d5f7ee0ad4","datavalue":{"value":{"entity-type":"item","numeric-id":1412281,"id":"Q1412281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$DCC64413-1AAE-48CE-ACD5-62509DB4A2A3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0f7c04b6b94cf13c193d472c226068c28e7c8f04","datavalue":{"value":{"entity-type":"item","numeric-id":169421,"id":"Q169421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$8E52B5BC-022B-48B4-A183-856A1A82CEE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eca6587536a1681b3f41d63f34e248b2e37166","datavalue":{"value":{"time":"+2013-08-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2393141$CE5CC525-6A33-42B2-A679-3D8F09450177","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cce598be3a84b4ca47f77511c359420e95d40219","datavalue":{"value":"93C65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2393141$C06F7E95-AA1D-435F-9B89-5B6BE360C25A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10e7ae4f3272e1b3be03ffc40fe137c122ddd99d","datavalue":{"value":"93B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2393141$3D5CE9D0-3D7B-4FA0-AD08-9B47EA610D72","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"68c33fb1b81cc77375bf834280006ed6ad7e0611","datavalue":{"value":"6196036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2393141$2D7E7622-71A5-40DB-9EBF-929688106DC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d828af59158f5cd2b362496281af4197035aa96b","datavalue":{"value":"concurrent software","type":"string"},"datatype":"string"},"type":"statement","id":"Q2393141$3F009741-BBEE-4D27-98BD-3D67E92BE814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d436c9efc230224fac8e8fef8949e88e39e5e9a","datavalue":{"value":"deadlock analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2393141$31704B56-CB69-41C9-A06D-12C375C6D36B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d2ba1f3a9d37aa907198949c7415e4bc2ead980","datavalue":{"value":"modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q2393141$73EDA540-8965-45D3-8950-8F72CEF07BBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2393141$669ED61E-1461-4B3C-9B3D-DCAC06F9DDA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eacce270b5c0a45c7e07917901b2bc701155cfac","datavalue":{"value":"shared-memory multithreaded programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2393141$2EB9D068-2877-4F85-839A-E97B29404824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7e9539f0980a2723127569f8067562596404c5c","datavalue":{"value":"lock acquisition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2393141$5840ED0F-77DC-4F85-AEEF-316683401BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f43b5d8c0ae8848835abc81341e946063dd5eca","datavalue":{"value":"liveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2393141$FA6041CB-8B20-409F-90DC-20D0C681BFB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6355a8ad52e3619000c8cf47952fa713220a28b","datavalue":{"value":"reversibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q2393141$2C412D6F-8BF4-413D-897C-0E6209A81995","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fce83dcf0e358ba6d0b4fb9197a7ccf4cc0b10a9","datavalue":{"value":"linear separability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2393141$2EE907F9-B974-4DC8-BF4F-A8B9CA926A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7581d8de5b6945847ab3dc6bba2e5d960386661","datavalue":{"value":"discrete-event system techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q2393141$8A9B0E6A-B69D-4539-8530-7341F601EE8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cca1f4727db7164f870b110b2eab32680c2edf7a","datavalue":{"value":"Gadara nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2393141$B2774119-EC9A-4994-8C95-E1D367C2FADC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76465c2e9943ec77c307b542936140641b954ce6","datavalue":{"value":{"entity-type":"item","numeric-id":21920,"id":"Q21920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$18D1A755-8C87-478B-B5E9-F98F91C715E2","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":"Q2393141$2A5E59C4-F635-405D-93E4-C704D076134A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2c2ad928ef7e075a5826c42714da18f3ea07be26","datavalue":{"value":{"entity-type":"item","numeric-id":16292,"id":"Q16292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$B5BFB01F-1C51-4FAA-A146-DA6337BC0F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c236e5ffe66144939dd5ed5b93698281946bd309","datavalue":{"value":{"entity-type":"item","numeric-id":34850,"id":"Q34850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$9237E387-A1DF-41EF-B43C-C34F9BCF80F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effde5e7952b6c039193783c2cbc91b00b07031c","datavalue":{"value":{"entity-type":"item","numeric-id":21504,"id":"Q21504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$921A03E4-2F67-439B-9D15-6DA0322FD329","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":"Q2393141$07B070DC-9A6B-434E-AA20-FD3A58AFF056","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"733d4f1b753f9cf58ee893677fe2118bb1a5e8dd","datavalue":{"value":"https://doi.org/10.1007/s10626-012-0139-x","type":"string"},"datatype":"url"},"type":"statement","id":"Q2393141$EE80BF98-E501-47AE-AEAC-328814B46391","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d00288ee22574356487a62581999e9b6297545e9","datavalue":{"value":"W2170657991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2393141$C5121E1F-596D-4FD4-9360-54DEED717BD1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"320b15d7d6dca3e65a884cf3843d25afdc3e50e2","datavalue":{"value":{"entity-type":"item","numeric-id":3426554,"id":"Q3426554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$58193982-90F6-47B9-AD84-275952E4D691","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1759caa7d320c992df848b1f8f04a16ca17503c","datavalue":{"value":{"entity-type":"item","numeric-id":378902,"id":"Q378902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$91D7D1B9-5E5F-4C79-9F56-B6A57D773C9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63006d257d7a2e048f09442f14abaae3d89f8e1a","datavalue":{"value":{"entity-type":"item","numeric-id":4540213,"id":"Q4540213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$925CC607-BAA5-4C46-9A1C-E145170B0CF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3dbe0d9c0a6e742e2e5a392d4d8420716b508b7a","datavalue":{"value":{"entity-type":"item","numeric-id":5347802,"id":"Q5347802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$4D365778-E7D2-4905-9B7C-36D642B79F63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4cd94a254cb7563f58a96d7f9fd6d6f00c00c5f","datavalue":{"value":{"entity-type":"item","numeric-id":1911289,"id":"Q1911289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$AA2587B0-14D1-4B92-8CCD-1B0B0E4E7434","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64d65dc9725198d9ccbdac326b0dd6b29d99d3ed","datavalue":{"value":{"entity-type":"item","numeric-id":2501322,"id":"Q2501322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$85AFFD51-F221-4883-82EB-037081636921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d163cf1fc9d0172fe9f04693bb769dcfb4504144","datavalue":{"value":{"entity-type":"item","numeric-id":1871095,"id":"Q1871095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$364F31B1-281B-403A-9ECE-7B5A2D60A595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd55a6d677635542b7f930ecc5b000229b3ad3d5","datavalue":{"value":{"entity-type":"item","numeric-id":3640234,"id":"Q3640234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$550A8C53-1B13-4759-B0B2-42A072700B18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48f64e4c1533c7be585e54d291d6b7b7cf7304d","datavalue":{"value":{"entity-type":"item","numeric-id":5506396,"id":"Q5506396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$D8B72081-20FE-42CF-BFDD-9C822F9CCB9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dba51ea605b728a458048a8f98c89a0f9e554ae8","datavalue":{"value":{"entity-type":"item","numeric-id":5311775,"id":"Q5311775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$95177607-21F6-4C4C-9172-0818043C5153","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":"Q2393141$2B2CC39B-CAAC-4E8A-AA90-2C0E7E11F7E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2af5aefe21524a06a37b61b7aae7c77b66958cc","datavalue":{"value":{"entity-type":"item","numeric-id":1769928,"id":"Q1769928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$19CA3DAE-2317-49E5-B545-2A8DD116F510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57bdeaf6b9cdfc933e31bac73bdbdcd7abe88f6f","datavalue":{"value":{"entity-type":"item","numeric-id":5261522,"id":"Q5261522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2393141$ED82F678-B5F0-4D07-914C-715BF46117B6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82e8ad9df8d2e9654222bc725580fdcc2845d005","datavalue":{"value":"10.1007/S10626-012-0139-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2393141$B8AA2E73-669F-4399-B436-AB524CCC3471","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ad2944aee07f7956f21cdc5fd582b288d112898","datavalue":{"value":{"entity-type":"item","numeric-id":5300863,"id":"Q5300863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f2c764c39818da6c68b2228f7273e537f2766f4","datavalue":{"value":{"amount":"+0.8840600848197937","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":"Q2393141$F35B8D47-4C9C-4BC0-9D44-2F24CAAD1022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a25f1ce09677d5ccd8b79f096c82aec9ed6692bd","datavalue":{"value":{"entity-type":"item","numeric-id":1871095,"id":"Q1871095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b7f185670ae525003d2a2dfccc5450570e3ae1c5","datavalue":{"value":{"amount":"+0.8146516680717468","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":"Q2393141$27DEC739-5262-425B-AE9F-DABB787FAFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a0bf42d4e94f2dd0a2bee748a33ab72efa74c68","datavalue":{"value":{"entity-type":"item","numeric-id":3033343,"id":"Q3033343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6a8a095d05519546fe03793474a05fef4f98ba83","datavalue":{"value":{"amount":"+0.7726243734359741","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":"Q2393141$2AD77802-FC67-424C-A058-44BBB0E90E4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f115bf6c9d93267e5242dcb143b157351dcf1e7","datavalue":{"value":{"entity-type":"item","numeric-id":3602798,"id":"Q3602798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac31eb09a1a57ed5fb544ce18755d890c68ae20a","datavalue":{"value":{"amount":"+0.7579734325408936","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":"Q2393141$BED5E5F0-861C-4F43-9A7D-9A15646FB56A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1b2a67dd5fbd50a8c58440a31697ba13570decf","datavalue":{"value":{"entity-type":"item","numeric-id":4289353,"id":"Q4289353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79666af81a894343bca2cf200c04d3cc065b6e11","datavalue":{"value":{"amount":"+0.7495587468147278","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":"Q2393141$6FEF3BD1-9C5F-4C12-BDC2-51EB553D7119","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Concurrency bugs in multithreaded software: modeling and analysis using Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Concurrency_bugs_in_multithreaded_software:_modeling_and_analysis_using_Petri_nets"}}}}}