{"entities":{"Q4621168":{"pageid":6650751,"ns":120,"title":"Item:Q4621168","lastrevid":53349941,"modified":"2026-01-24T19:12:20Z","type":"item","id":"Q4621168","labels":{"en":{"language":"en","value":"Modular verification of qualitative pathway models with fairness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7020166"}},"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":"Q4621168$739F260B-5481-49F0-AD5D-72AC19DECD44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"310db89157372f67ad1af230c22acb906e5282ef","datavalue":{"value":{"text":"Modular Verification of Qualitative Pathway Models with Fairness","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4621168$7569D73C-0DB9-4CD5-B371-1BAA02E1D244","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41373f8c0d4be969b5313f08ddd95627741a35a0","datavalue":{"value":"1424.92015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621168$7DE0729A-A898-4C0C-89DE-24A63DB9D6EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f41ecaddaca709ab081d00c681c1553447d5feba","datavalue":{"value":"10.7561/SACS.2013.1.75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621168$E13FFA6A-62B7-47E7-ABF4-EBC889C1730B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"553154e9b0d82eb905b234ed1c938eab4d734a33","datavalue":{"value":{"entity-type":"item","numeric-id":4621145,"id":"Q4621145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621168$2120FB9F-C9A3-470E-88F8-3B00EDF4F17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"986210a7788bf135576802eb9fb5ade52a93410d","datavalue":{"value":{"entity-type":"item","numeric-id":256972,"id":"Q256972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621168$75FE0910-4663-4A96-A914-DEA338D0396A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2479d1038b6b48ff3b38084f7171d92adb9c96ad","datavalue":{"value":{"entity-type":"item","numeric-id":256971,"id":"Q256971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621168$9461752D-7B06-4D8E-A067-6DE3D800C5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b52be7b64b495be4afeb704f242eec0ef55c2241","datavalue":{"value":{"entity-type":"item","numeric-id":256970,"id":"Q256970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621168$03EE46B3-B45C-4F8D-99E1-15E3E3E46B89","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28f1c5b29888d205254bb73c58fdc8777ff4112f","datavalue":{"value":{"entity-type":"item","numeric-id":4621157,"id":"Q4621157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621168$C94ED2E2-B8E9-4E16-B24D-F42FFCB38BCC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32a6dc046c0aa99508538df457dbadf7aa620337","datavalue":{"value":{"time":"+2019-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4621168$7882367A-F52C-4714-872D-D05ABEC3C42D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33dbd2fb5ca21d3b7512e0368d809229686ea08a","datavalue":{"value":"92C42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621168$C7E2FE28-91E5-4150-AD9F-DD7FD44CDF01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1cc6a2d1a81aec0cb5abdfe44055f934ac25329b","datavalue":{"value":"92C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621168$A2A29083-5A26-4A85-8683-FED065EC208E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10f69829e2ce21c5dd0a891bc7cf25f20922d4e1","datavalue":{"value":"7020166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621168$14B36955-F6C9-455A-B781-D350A27FDCFF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"71935729bce666d4923eda193cbdcd96dd69ee74","datavalue":{"value":"systems biology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621168$B3C6B2C0-70FC-4ED2-98D8-63EEF04DFDB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afe8373d9ef29a81f128fa4cf7c68afdd8a8280c","datavalue":{"value":"cellular pathways","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621168$B7F1DED1-83E4-4080-ACC0-A217B6430F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621168$C5ACA104-EC24-4862-B2F0-83B3BA905C6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"642fb89fab960669bf77c30a5366e85b7fb02243","datavalue":{"value":"modular verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621168$61E9A654-B9E2-4B1D-A163-9671E703209E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00136e647e328aafc8cc9233d4b1b1691904b2a2","datavalue":{"value":"model reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621168$B1AEF89F-3587-4449-A1F6-A6595CB810D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621168$AC6799FE-8837-4D74-824B-F5B9B1F63BF7","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":"Q4621168$4DDCC241-B5DF-49EC-9676-578ADF82AD6A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0630b52af0e8ce58f535025715a31a32dc2e7bec","datavalue":{"value":"https://doi.org/10.7561/sacs.2013.1.75","type":"string"},"datatype":"url"},"type":"statement","id":"Q4621168$F8727874-DE1A-402C-8C74-E2BD12919B3A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d92325e52c802487f6109155585bc69cf620c30","datavalue":{"value":"W2073967060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621168$C2B330DE-CAA4-454A-80BF-3F54322547E6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db497fae044582ff5561bf1404b03abd1fdc619b","datavalue":{"value":{"entity-type":"item","numeric-id":4621146,"id":"Q4621146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6565331123b85889e6a6c2da6d771d5ceb2fccf","datavalue":{"value":{"amount":"+0.7453284859657288","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":"Q4621168$2A642BB5-F536-4BC4-8CD1-C26A37095C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"896badaa563e94ff9faf7e1edfd7ac0b8df382fb","datavalue":{"value":{"entity-type":"item","numeric-id":5404087,"id":"Q5404087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc90cbf7c1c10c6045b5c84ebb728bc680e89437","datavalue":{"value":{"amount":"+0.7338846325874329","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":"Q4621168$26A58868-AEF9-4AA0-A492-C1D0812C4552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"633220de4379e7b12f508dcb947e407b689996cc","datavalue":{"value":{"entity-type":"item","numeric-id":4471931,"id":"Q4471931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92cc6602443b577b1f8d9f4376fb64396a8e01a5","datavalue":{"value":{"amount":"+0.6990903615951538","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":"Q4621168$E4FC3C7D-4407-41CA-B2F2-9E31243673BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9813825a87b64c30009a3e6328ae184e874d1091","datavalue":{"value":{"entity-type":"item","numeric-id":4902319,"id":"Q4902319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fe814b7be31daaabb4a66f5aeab884d6bcf376c","datavalue":{"value":{"amount":"+0.6968469619750977","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":"Q4621168$1A169881-3504-4680-99D5-6D04B82E2B26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d3a469c44401452317208b7afde796bdd9cad5b","datavalue":{"value":{"entity-type":"item","numeric-id":2474435,"id":"Q2474435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29bd8730b65b95ae0ed148ba081cff693762bcdc","datavalue":{"value":{"amount":"+0.6884610652923584","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":"Q4621168$334CE016-5CDD-4BBF-A73A-2533653A874E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4621168","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4621168"}}}}}