{"entities":{"Q2324188":{"pageid":2334931,"ns":120,"title":"Item:Q2324188","lastrevid":71844279,"modified":"2026-04-14T00:55:00Z","type":"item","id":"Q2324188","labels":{"en":{"language":"en","value":"Supporting verification-driven incremental distributed design of components"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7105271"}},"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":"Q2324188$B0F4F8B0-50C8-4BD8-9217-398BA2D07C76","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6648199c0f499e4e9ed8af125c70fe27ff274a96","datavalue":{"value":{"text":"Supporting verification-driven incremental distributed design of components","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2324188$5552C08D-8324-4753-8B19-91C1313D7BEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7bdc2d09c6d8a0b751ef2d5f4b9c2fd0aa4fa3be","datavalue":{"value":"1425.68261","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324188$4607B407-04E4-4D18-A2D9-011E31250BE5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2f1818f39eae7288581341f556b010b89abcba2c","datavalue":{"value":"10.1007/978-3-319-89363-1_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324188$72396270-17F1-4024-AA9A-0BC696567A38","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e065b35cd5058b161b7b4e1eeb5773fdf319ee2","datavalue":{"value":{"entity-type":"item","numeric-id":2024358,"id":"Q2024358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324188$1A0BDF72-427D-4A05-9B67-897C2A8C7DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"36f9775a15afc69e2b2803668d54a5345207093d","datavalue":{"value":{"entity-type":"item","numeric-id":2065547,"id":"Q2065547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324188$C979CF29-B62C-4061-B588-5D956B571637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"794c304803c228a1c8e63e5a19cfb840dd5c432c","datavalue":{"value":{"entity-type":"item","numeric-id":488217,"id":"Q488217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324188$E40D3E34-08E2-4C46-B9CC-D85E49F62E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e3a9b74a10d39b566f4aa7cca14078ecb000f6f","datavalue":{"value":{"entity-type":"item","numeric-id":438995,"id":"Q438995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2324188$9DDE6DB8-EB7A-4142-A003-69F58ED45E03","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"96391af82153a94a4af2a0e4c8ac60042cea1674","datavalue":{"value":{"time":"+2019-09-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2324188$FDFD9087-2198-476F-B08D-1712388DCDC1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324188$DB3FF60C-8493-4E07-AC7B-489C38DDBCD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324188$9319D049-AA79-4BE5-888B-965E9DD32154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324188$08454D4A-1C77-4AAC-878F-A240480BD2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324188$74F56C77-0334-4B65-BD59-1B2556BDEC46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"180e859e6ff2c35dd83c29489c27ada3de178e9e","datavalue":{"value":"7105271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324188$46628567-49E7-4F33-B030-695688D0A504","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":"Q2324188$E96B435C-8E94-4F24-8A99-0691DCAA03FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"18b047240e7485401cc3e22ca642da476e4dacfc","datavalue":{"value":"https://doi.org/10.1007/978-3-319-89363-1_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2324188$05A91A72-DACA-4BEB-94D8-D89AD247453D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bd17171c4604a76276e0e838b0e865ab2cdadf1e","datavalue":{"value":"W2796049347","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2324188$E9FB7E01-0B60-4342-97D2-D11F82DB2CE8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"071b73f3b07ef4f855ef764c5f3912c73fdc9bd7","datavalue":{"value":{"entity-type":"item","numeric-id":2335947,"id":"Q2335947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4a9b45bb4357c2e57ae2b7c6c4cd05683ca164e","datavalue":{"value":{"amount":"+0.7464435696601868","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":"Q2324188$D76CF15A-BDFA-4B0A-984B-C32BA8BE2301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0def48a2eae86d79c678f127edd6da97d59822e","datavalue":{"value":{"entity-type":"item","numeric-id":4825706,"id":"Q4825706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7376aba6ff8ad9e41460675e2eedb0cd5246b0bb","datavalue":{"value":{"amount":"+0.7188572883605957","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":"Q2324188$9FD81989-A3CE-44E4-A493-18C4631CA3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25741ad3432035ce11f563c8f6dc6eec92d50d0d","datavalue":{"value":{"entity-type":"item","numeric-id":3814786,"id":"Q3814786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bd14fa94cd5980a25b6a9eb19dbc107a2a3da45","datavalue":{"value":{"amount":"+0.6980380415916443","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":"Q2324188$4A8A638C-CA72-4CAF-B0A6-8A73770D8588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"191c1e7e1745d284083376e3762513908df5083f","datavalue":{"value":{"entity-type":"item","numeric-id":1004291,"id":"Q1004291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"29b0ce05a3e83691a04615ae95a26753b5ab7dcb","datavalue":{"value":{"amount":"+0.6871951818466187","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":"Q2324188$04B24B3C-E8CF-41F3-8FF6-6F69497617E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"001d394f72cfcd73ce82bf59b606973941a0a8e1","datavalue":{"value":{"entity-type":"item","numeric-id":2844824,"id":"Q2844824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df02d74404a120c29c78c88d35f0e4144086e827","datavalue":{"value":{"amount":"+0.6857897043228149","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":"Q2324188$7BEFBD7A-1BA4-4861-A1A6-99D00146F56C","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":"Q2324188$069E4D73-67B5-449D-8E30-7F8AA400A767","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Supporting verification-driven incremental distributed design of components","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Supporting_verification-driven_incremental_distributed_design_of_components"}}}}}