{"entities":{"Q5039507":{"pageid":7069084,"ns":120,"title":"Item:Q5039507","lastrevid":98308139,"modified":"2026-06-05T17:11:30Z","type":"item","id":"Q5039507","labels":{"en":{"language":"en","value":"Safe decomposition of startup requirements: verification and synthesis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7600818"}},"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":"Q5039507$65DB51D8-3752-4559-B017-11EEF837AF10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ff6bde17105ee849fe716faedacff2f37fc5020","datavalue":{"value":{"text":"Safe Decomposition of Startup Requirements: Verification and Synthesis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5039507$28BE62FB-CDC3-4969-8994-05F1FA46417F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"08701f6e6433d9c9eab0e386d03430da3ea20877","datavalue":{"value":"10.1007/978-3-030-45190-5_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039507$3FE787B0-4F22-426F-B9B6-0ABADB0C4182","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"387e6ac60ed3a0144bb303179c23c53493d401d0","datavalue":{"value":{"entity-type":"item","numeric-id":329418,"id":"Q329418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039507$67D25220-AB38-4A4C-9928-97426BF3280C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"93141fe765fd55ff78188fc280f46aafa4aa72f7","datavalue":{"value":{"entity-type":"item","numeric-id":2029606,"id":"Q2029606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039507$F4021AF6-134D-4660-8453-6B24743068A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e97e7d65eece04188cb1a1dff66ddc09c38fbea4","datavalue":{"value":{"entity-type":"item","numeric-id":479835,"id":"Q479835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039507$81702FC2-5AFD-48DE-A06E-385D01F958EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3fc9eb683acf741e89521e41b15b14412bf69b8f","datavalue":{"value":{"entity-type":"item","numeric-id":2694608,"id":"Q2694608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039507$549AE7DC-30B7-473E-8580-DA0E33C54C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"02a3a6d65cef09233c3157717e074297efd5d7a8","datavalue":{"value":{"entity-type":"item","numeric-id":479825,"id":"Q479825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039507$AA2EC9B6-DC42-4670-80D1-D356FA1B507D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039507$7E2E4E33-5F2C-487F-8549-F3FAA163C353","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f63eb77a6cdb61f75205564f776cc43c0ac4bb43","datavalue":{"value":{"time":"+2022-10-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5039507$7445A096-E28D-4822-A8F0-CC32974DB8DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039507$C087671E-A49F-44FC-A31E-83A9A4981644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039507$F78B85D4-B8BA-4454-A903-C9A23141DEA3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2daa79d23ce538467241e874ee3356b15fed6332","datavalue":{"value":"7600818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039507$8E50CE1A-1E6D-46A6-A83D-ABFB053730E1","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039507$221C15D4-0A86-46EF-AFA7-E46FE25E367C","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":"Q5039507$58991DAE-04B6-423F-A0EC-6707A8F3C467","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2af626b58082a7c6e6c02a5ce8f21eb611556e2b","datavalue":{"value":"https://doi.org/10.1007/978-3-030-45190-5_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5039507$D362E6F4-0045-4CAB-9C9C-B4361BBF5DA9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"09b4387bcf568ac688c4de64e5e19b2924c6ce7b","datavalue":{"value":"W3016443504","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5039507$FD1520A8-3EEA-47E3-8C9E-320DB05259DE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6920ce6a126f18e82d65e8effcf860c634e06c34","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039507$F150A6FD-87A4-47F5-A15F-B599B5D81CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2355330b719b3dc83adb285b6574d6d18a75db8","datavalue":{"value":{"entity-type":"item","numeric-id":3179417,"id":"Q3179417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039507$D17094A7-4615-4D33-9A7A-9B5D6695DDB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebb4dee46e0b969a233da17f13d596a697e076e5","datavalue":{"value":{"entity-type":"item","numeric-id":3646167,"id":"Q3646167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039507$2070E169-2297-4DE0-BBEA-5DA022A941A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0844540a91abc8abd74b739fa14784fa93984935","datavalue":{"value":{"entity-type":"item","numeric-id":3196346,"id":"Q3196346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039507$A67D368D-06E8-44C1-BF39-A2BB4E85EB7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61526d41c9e2eb25867c790a13228b1a677160be","datavalue":{"value":{"entity-type":"item","numeric-id":2182731,"id":"Q2182731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039507$72952B7C-C3B7-4E6E-8EA8-BBD6523F5225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a721eea058e807770cf825065bd252a7ab7056d","datavalue":{"value":{"entity-type":"item","numeric-id":2363814,"id":"Q2363814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039507$5165235C-04EC-444E-878E-13A1B82B9D1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039507$AABEEB8E-461E-45A1-A8DC-61AF4D045CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a0e24fd9d86567ce3482ecbed81b082643d345b","datavalue":{"value":{"entity-type":"item","numeric-id":4439564,"id":"Q4439564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039507$EA2AFDF7-5B19-410E-922B-55206062C56B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa056a4bae13deab186fe40f422b76ff6cd27667","datavalue":{"value":{"entity-type":"item","numeric-id":1028651,"id":"Q1028651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039507$2635F46C-606D-4CAB-9B9E-2FAE1F4B75A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a18c748743582ea45f2b0bfe157d44e1ab6b63e","datavalue":{"value":{"entity-type":"item","numeric-id":892994,"id":"Q892994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5039507$DAFCE4AB-DF51-4FAF-8167-58FBC0069593","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aecdce073c4f6bf73ea098334f8fd024e525339d","datavalue":{"value":{"entity-type":"item","numeric-id":3564026,"id":"Q3564026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6ce9b560703601be089134c036efef1a34e7c22","datavalue":{"value":{"amount":"+0.6625914573669434","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":"Q5039507$81F70D93-0440-49F2-AA6A-E0A54B4EA199","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2e031bbc9b440987164d3ffc55f52868b624910","datavalue":{"value":{"entity-type":"item","numeric-id":5464767,"id":"Q5464767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33146405c5a63566e8b6ee0c0da43bda816470b5","datavalue":{"value":{"amount":"+0.6450619697570801","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":"Q5039507$1CDD9082-5F99-4758-B666-633D6965FF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34c1158ee99ab954e4cb93edb748f678ba551308","datavalue":{"value":{"entity-type":"item","numeric-id":6485902,"id":"Q6485902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c1dc565defc967f86de4d525370e15bdbb03aa0","datavalue":{"value":{"amount":"+0.6449785232543945","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":"Q5039507$E8EA7C62-6194-4CFF-A1C3-FB6F5CDF0F3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34f676604994e5623f9b85982fe438243f2f96ba","datavalue":{"value":{"entity-type":"item","numeric-id":3196346,"id":"Q3196346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb41b91710d028e60449ae4d86a3282b4b60e13e","datavalue":{"value":{"amount":"+0.6390359997749329","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":"Q5039507$88E579D8-3991-4E69-B875-E8E82BBA4BD6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00520be5055306b65c4e5011dbf03d017e41a52a","datavalue":{"value":{"entity-type":"item","numeric-id":2769609,"id":"Q2769609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be435bd50e2ec1d692fc5984c5c79f9cbe908f54","datavalue":{"value":{"amount":"+0.6364995837211609","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":"Q5039507$609E6E44-195E-4A8A-8CC0-D32CACA42329","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":"Q5039507$FA8A115C-E97B-492C-8768-8C3173C9FE93","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Safe decomposition of startup requirements: verification and synthesis","badges":[]}}}}}