{"entities":{"Q5044729":{"pageid":7074306,"ns":120,"title":"Item:Q5044729","lastrevid":54433574,"modified":"2026-01-26T19:44:47Z","type":"item","id":"Q5044729","labels":{"en":{"language":"en","value":"Yeast: a case study for a practical use of formal methods"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7611258"}},"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":"Q5044729$BF7A6D1D-489C-4D2D-9DAC-22BBAE2AC14D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59d283627c0812660d624f6919290f69f6f0b9ce","datavalue":{"value":{"text":"Yeast: A case study for a practical use of formal methods","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5044729$95238989-7D9D-4CE0-8C13-18BC9C495DD6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3c23928a86e0079056ac67f5763552f5e863a17e","datavalue":{"value":"1497.68343","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044729$90F7A56D-6A52-47D0-8438-09C45C979CD2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e737638aee903da35f2b4f90cfacb24f2090a0c","datavalue":{"value":"10.1007/3-540-56610-4_59","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044729$FAD07502-4CEC-4444-9834-00D38F40FE98","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f900f77ef10c59a03f069c5af5579652c6549dc","datavalue":{"value":{"entity-type":"item","numeric-id":672233,"id":"Q672233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044729$562A5C8D-A131-4158-AA39-6789BB887F24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c798777f6128cb236bcfbc418365572978f8c2d","datavalue":{"value":{"entity-type":"item","numeric-id":2494756,"id":"Q2494756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044729$9E081884-D811-48C4-A919-3B9F9F42A912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"773813d3efcd2f81e3c65b8886dd15507b9dab7c","datavalue":{"value":{"entity-type":"item","numeric-id":672707,"id":"Q672707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044729$E56CCC13-22A4-4ABC-8DC7-AE9E7920D380","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":"Q5044729$DAB62ED1-BEB8-4048-9775-F12523184B1A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"965dccc7e527e2e46ab67b03737c8d96f54b00aa","datavalue":{"value":{"time":"+2022-11-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5044729$98AB6B41-ACC4-47D4-B76A-8F85BF9ABB24","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044729$78323CAC-DEBC-493F-B33D-8665A4A6EFA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044729$1C27C33C-DB01-41D8-9AB9-B5CC61810D1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c8ad642b2713ca4a0f19848606c1c9d63f63de64","datavalue":{"value":"7611258","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044729$E955458C-E028-4B2A-BEF9-6F87A6DC7908","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":"Q5044729$3C5DA4CB-8CFF-4620-8B77-817583A5FA47","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b16e8adb063e190568c65d451235c61a9f37fd3c","datavalue":{"value":"https://doi.org/10.1007/3-540-56610-4_59","type":"string"},"datatype":"url"},"type":"statement","id":"Q5044729$3546BC21-169C-4306-9AD0-EE77B8648C21","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d81f6f78270b7e0ec805aae7229060789d68771c","datavalue":{"value":"W1518310512","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044729$2BE1E1EC-E825-4B4C-9B50-D35697F53B55","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"990393bd70b90fd085a53f98d66454d70d95783b","datavalue":{"value":{"entity-type":"item","numeric-id":1238999,"id":"Q1238999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044729$81B9B6A0-6A8F-48F1-BC75-1474CD8437B8","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":"Q5044729$F8BA046D-EF89-4BEB-80A7-3CCCE6B8AB4B","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":"Q5044729$0B521DD4-83F4-4198-824F-8A6433BF6DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72da39f601311d2bb18aacd6b02bf23139854be7","datavalue":{"value":{"entity-type":"item","numeric-id":1176111,"id":"Q1176111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044729$972CF97B-F06B-4777-A429-598AF4CC75D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71bf6b82f261c2b57ae66d4188d639078d501108","datavalue":{"value":{"entity-type":"item","numeric-id":5458153,"id":"Q5458153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2646ef0b32bb24eaede667675214a9867cfd17a5","datavalue":{"value":{"amount":"+0.6971556544303894","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":"Q5044729$9CC69B7F-7BB3-4167-AEE3-367D9234EA19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"68ba59c2f8712c0458e809ea7b22220c640a3e2a","datavalue":{"value":{"entity-type":"item","numeric-id":1606799,"id":"Q1606799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b30f70e2e6712a0c48202f602d13561afb633f6","datavalue":{"value":{"amount":"+0.6910541653633118","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":"Q5044729$8F317852-6871-416F-8983-451473E8F879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16a59d94808671d847c707450457d7bd701683d1","datavalue":{"value":{"entity-type":"item","numeric-id":4536589,"id":"Q4536589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7728eb5025bf5c94b5b43c409e9784ea82e6b67","datavalue":{"value":{"amount":"+0.6890290379524231","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":"Q5044729$9B1C8BF1-F431-4012-BDE3-DD46B86B2AC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c096a41115e204423ec73dfc91af4ff836daae34","datavalue":{"value":{"entity-type":"item","numeric-id":4370275,"id":"Q4370275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40876e0ea13c4f9aeeb43b6ad5981b494ad04987","datavalue":{"value":{"amount":"+0.6804280877113342","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":"Q5044729$8E480B65-F02B-4201-A697-EA561BC14DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e0caeb1988d0c30fa85f4946a97b6ed6b471c61","datavalue":{"value":{"entity-type":"item","numeric-id":3997241,"id":"Q3997241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bde675ee6660620dd61cb356b5f8d465057a3c93","datavalue":{"value":{"amount":"+0.6750946640968323","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":"Q5044729$5AD5A93E-9E78-4441-8073-3FC2291CA093","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5044729","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5044729"}}}}}