{"entities":{"Q2835707":{"pageid":2846437,"ns":120,"title":"Item:Q2835707","lastrevid":79507370,"modified":"2026-05-06T14:04:28Z","type":"item","id":"Q2835707","labels":{"en":{"language":"en","value":"Verifying chemical reaction network implementations: a bisimulation approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6657851"}},"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":"Q2835707$0B76CB11-123B-419D-9B61-E650AD7AF536","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"81ec49efa2b5c8d138ae1fd856dbc0a96f0d8165","datavalue":{"value":{"text":"Verifying Chemical Reaction Network Implementations: A Bisimulation Approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2835707$297405BA-BD82-4316-A30D-F8084FFDF313","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"990458ee3bfb8056c90791f8c53d5fde9ab3fd92","datavalue":{"value":"1423.68287","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835707$405184D1-4059-44F4-A9FA-93CBB9CDD90C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bd1d65a5d77caa2bd4b042b2e9e96061ed4868aa","datavalue":{"value":"10.1007/978-3-319-43994-5_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835707$21432E77-39A6-436F-9BC1-D06E446307CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"adea07b95559f1e9b36bf14c0614da9b2106d053","datavalue":{"value":{"entity-type":"item","numeric-id":1694441,"id":"Q1694441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835707$436DE036-0E6F-4C8A-B498-2744D6400E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea9d9dc9d8c46eb6f0a9872336177e185d242dc7","datavalue":{"value":{"entity-type":"item","numeric-id":1694442,"id":"Q1694442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835707$6B6902D4-30CD-4670-B2AF-632A319C778C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0af9afff1c89f44c1f156b7e040e2168709ca7d","datavalue":{"value":{"entity-type":"item","numeric-id":652155,"id":"Q652155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835707$8013F3C8-F745-4360-BAB1-9E974C9EAE8A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835707$C5B3AC89-FA26-48DA-AD3B-7E15F565E094","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a81488eaa0593c2b339fa674b802605bba207348","datavalue":{"value":{"time":"+2016-11-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2835707$E34B4A3C-3D43-406E-B2FA-09BB238C41A2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"608d7c1a949d9e0d0b4a6cff140abddba6b029ba","datavalue":{"value":"https://resolver.caltech.edu/CaltechAUTHORS:20190617-104717955","type":"string"},"datatype":"url"},"type":"statement","id":"Q2835707$5B9276E2-D685-4285-94CA-B62A8A845A79","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835707$E99D6B24-C8B2-44E3-8037-72AF10307483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835707$1CE9897D-47C5-4569-87D5-D316F0EC999E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835707$AAFE7D43-8B70-4C1E-A047-06EFEB47D173","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1cc6a2d1a81aec0cb5abdfe44055f934ac25329b","datavalue":{"value":"92C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835707$9940CD1E-22DE-4560-8EA5-875A56F0BE56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"47e45ab5809ffa9e175a822a39f6d175f9e7486d","datavalue":{"value":"6657851","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835707$43443850-DFBA-48F0-89F8-3CFC810E7A3F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d163793293bb190a76b30359c706a3d53ec2c733","datavalue":{"value":{"entity-type":"item","numeric-id":46837,"id":"Q46837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835707$8EC2F66B-8BE0-46C5-95F5-A00C39B0CA23","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":"Q2835707$3184C9DD-2967-4D36-A170-5A7F0043E8EB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0a80a59812257674ba6d95135558cbcfe0200168","datavalue":{"value":"W2511413624","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2835707$855D74C0-845C-4F29-ADDA-1CD5C1E0F01A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"749e7797bdfa790162fdbe4fb0d0bcf49b81bbbd","datavalue":{"value":{"entity-type":"item","numeric-id":352239,"id":"Q352239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835707$2D2615A6-25AF-4BA2-8012-C107A1904593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4628b5aef516fa19181d791114da902430bdbd3","datavalue":{"value":{"entity-type":"item","numeric-id":4917188,"id":"Q4917188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835707$6FC72658-E07A-43C9-B0DF-99DD00A06EBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"836ad2a04f82225da478ca9f694f5cd99360b315","datavalue":{"value":{"entity-type":"item","numeric-id":4198056,"id":"Q4198056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835707$8C47EF86-9A3C-4EC3-A510-DDE99B961F0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42b5107cd71aa0f7a1ff1e39f54edd9c6cc5ab66","datavalue":{"value":{"entity-type":"item","numeric-id":288812,"id":"Q288812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835707$8CC4C52E-4358-46A7-9E3F-04F66E4D2303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835707$2BC76D20-5220-409F-84EE-C1DFA0B5A1A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22ccd7881d7341fc9a28eef92eb6da9808e51036","datavalue":{"value":{"entity-type":"item","numeric-id":3070966,"id":"Q3070966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835707$D46EB383-74CF-4234-80D2-E220CB68FB4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c3498537d17d4f80bc9be5196dacc95600a62","datavalue":{"value":{"entity-type":"item","numeric-id":1242682,"id":"Q1242682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835707$ECC0AA51-A0CE-4B6F-ABC2-2855D5DB333A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"736a1d463d18d2f300e2b9600c3f86eae2986ef8","datavalue":{"value":{"entity-type":"item","numeric-id":2537313,"id":"Q2537313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2835707$1B6BC4AB-F131-4F08-BCCB-0EACEEB59702","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08b949f653f9003bcd32a126cc15110b77600156","datavalue":{"value":{"entity-type":"item","numeric-id":2422008,"id":"Q2422008"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbb6210352f53949c5b178b5b38355dd87c2957e","datavalue":{"value":{"amount":"+0.9890217185020448","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":"Q2835707$FC9E5EED-DB35-43D6-BF74-F238C5259AE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"635266bc048541c7d17e9a76b77b9ace607f8ec3","datavalue":{"value":{"entity-type":"item","numeric-id":2003997,"id":"Q2003997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"876ab38f6a8e6fd9a0895d7610ba18bdb5a1f5af","datavalue":{"value":{"amount":"+0.856867790222168","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":"Q2835707$1142C6E3-2493-48F4-A422-0C4AE39CE3AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd540656d7e9a2f96f101d747f024681dfbf465a","datavalue":{"value":{"entity-type":"item","numeric-id":2422010,"id":"Q2422010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cd3df987884b2769bedbab0a7755e2f3e602fac","datavalue":{"value":{"amount":"+0.849665641784668","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":"Q2835707$3DFE95C1-3498-4CC0-A0BD-C5CE56DCFC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86c67f179a1d4ddd260e64498bb25ab602eb69eb","datavalue":{"value":{"entity-type":"item","numeric-id":5357706,"id":"Q5357706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d3bf7ecfc3ce679a95a302c2a43ff64162e963b","datavalue":{"value":{"amount":"+0.7863060832023621","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":"Q2835707$FD9E7EC0-A440-4A03-A755-ED9D7A633AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53d821d452a45f2db5759f23ba5534cdbbe3a494","datavalue":{"value":{"entity-type":"item","numeric-id":288812,"id":"Q288812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f952f96bb4f28004898e5049139e56cb64e51714","datavalue":{"value":{"amount":"+0.7822355628013611","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":"Q2835707$0D7F0F3B-CAF1-4500-8406-8035AF2A231B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying chemical reaction network implementations: a bisimulation approach","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_chemical_reaction_network_implementations:_a_bisimulation_approach"}}}}}