{"entities":{"Q3000569":{"pageid":3011293,"ns":120,"title":"Item:Q3000569","lastrevid":51249020,"modified":"2026-01-17T10:55:59Z","type":"item","id":"Q3000569","labels":{"en":{"language":"en","value":"Verified software toolchain (invited talk)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897333"}},"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":"Q3000569$8CB08E55-2E84-40A2-9318-4C4D87CC50FC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8e146d661873df3cd9e87a1a6dec2670cae2a4d9","datavalue":{"value":{"text":"Verified Software Toolchain","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3000569$252261A0-0287-4EC3-A8A9-076D8D260A00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0ca9b034bb774ce650e1a6b834db092ac08a3d78","datavalue":{"value":"1326.68047","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000569$14779E30-2F33-433B-88E2-EB14638E7A67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3065048f8464f5606ff4abb20a39641223bc1aa7","datavalue":{"value":"10.1007/978-3-642-19718-5_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000569$C6E45E30-3D78-4B48-B1A6-D2EB0D87C3CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc26ae99955b17096664472ad434caf6f770734f","datavalue":{"value":{"entity-type":"item","numeric-id":1663237,"id":"Q1663237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000569$DAF836E6-DBC7-447C-B627-EF6F858A682B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7efb66db9d8cc237b51d0f645d1a54c929d4c460","datavalue":{"value":{"entity-type":"item","numeric-id":2789030,"id":"Q2789030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000569$D72F5FC5-776C-4328-8C88-392E0CEC7D81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3000569$97898BA9-2969-4565-B583-75C01BB4A6CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000569$B9E08283-0AA8-4794-B4EE-39B4A3F91BF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cab502bcdad7e5f5cdcbf4a40aff640b7f17162b","datavalue":{"value":"5897333","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000569$34FDB352-1436-4608-813D-717A9F4074C9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7ee2575b4b00dc5c48fe05a1a87740d06a1036d4","datavalue":{"value":{"entity-type":"item","numeric-id":21498,"id":"Q21498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000569$4017D505-A4B6-42A2-B2BF-A17AAC4E0312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fc37a98a946f67a03612a1de0ef554f6256d78ce","datavalue":{"value":{"entity-type":"item","numeric-id":25505,"id":"Q25505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000569$912A2441-9373-4142-B641-A7D8CCDC6C87","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":"Q3000569$6812AC1D-5D0D-4D95-B5F1-E3ECA74BDAB7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfafb6dc00425fa54439eaf24e6f962f36a8c416","datavalue":{"value":"https://doi.org/10.1007/978-3-642-19718-5_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3000569$6036011D-18B0-4BA2-8628-7DBF478A69CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e17397117200f12f90f901be7432ef09707d3858","datavalue":{"value":"W2213989452","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3000569$46E17ED5-0383-4A2C-8C26-711FD5B61279","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"db60aa38e98e0710c59268a6db48219f49912366","datavalue":{"value":{"entity-type":"item","numeric-id":3189790,"id":"Q3189790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000569$DB14342F-0F31-419C-AAA3-2192B8C2C29E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caf89f74af8fc75db8ad97987cf44ff826fc63d9","datavalue":{"value":{"entity-type":"item","numeric-id":1826468,"id":"Q1826468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000569$7199C409-E860-41EB-B476-2FB90E3CEE9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7af4abdec551b3aac3670e5b25a7a3b50d9f3b50","datavalue":{"value":{"entity-type":"item","numeric-id":5408537,"id":"Q5408537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000569$774DB473-565F-4978-A0E8-801EB556C566","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91b08ff1b0d4539c99f6902ec8427b7b8b6cea46","datavalue":{"value":{"entity-type":"item","numeric-id":5276151,"id":"Q5276151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000569$063E5511-D248-431D-9F0D-5640BD8A5EDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4571140468827117de9ef82d7ef08c246a067fd","datavalue":{"value":{"entity-type":"item","numeric-id":5261535,"id":"Q5261535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000569$F925BDF0-BA6B-45D5-8218-E415B9A727F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a79e877b8cb9304a3fe8bf6c0cfd8a2a4d6190","datavalue":{"value":{"entity-type":"item","numeric-id":5277805,"id":"Q5277805"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000569$3F34E6CB-6527-4FE6-AAB3-5962EF1B917F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db457c46a75b20727f84612ba0607e2d094d824","datavalue":{"value":{"entity-type":"item","numeric-id":3498431,"id":"Q3498431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000569$8AFDE0C8-5C3C-4DAC-B4D0-2170B66C7027","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de173836c028013896cd8bf3b02fa6e12262641a","datavalue":{"value":{"entity-type":"item","numeric-id":5458409,"id":"Q5458409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000569$71C05C5B-3348-44A1-8077-BC3B941C613B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c69df4c8871ee1b06727e4f90de98f0e5508859f","datavalue":{"value":{"entity-type":"item","numeric-id":5255071,"id":"Q5255071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000569$227A9A3E-549B-4D7C-ABB5-CCD2F840215B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f77790f3de0e7a5198a8f1c64a8023dd2bee09","datavalue":{"value":{"entity-type":"item","numeric-id":5348912,"id":"Q5348912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000569$0BF8B85E-D051-4863-96F4-BE93F060D006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1588eee2e3fe5979cfd18e3e09df49f3b382d9","datavalue":{"value":{"entity-type":"item","numeric-id":945054,"id":"Q945054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000569$A8CABD99-0139-449A-B0C5-85AE5B58CF93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000569$B1705982-B3D4-4C4F-B957-E0362AE11EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ec976db9fee9bededf233dd7d31c7e9ef2213c8","datavalue":{"value":{"entity-type":"item","numeric-id":5705937,"id":"Q5705937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3000569$5A065021-D733-4213-8C11-AE3B5EB1FE70","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1e016c36edcd3a33eb45bd670c7736707a0de35","datavalue":{"value":{"entity-type":"item","numeric-id":1663238,"id":"Q1663238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"696873a61b989872d46e73a24e776768ced3d232","datavalue":{"value":{"amount":"+0.7527754306793213","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":"Q3000569$10C788CA-4A81-4ACE-AE11-8128A50FC5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b247565fd34f906c1708cfd2fb10fd7373feaef8","datavalue":{"value":{"entity-type":"item","numeric-id":5408525,"id":"Q5408525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c8e38db3309d991d565bd6441dff723b8838a94","datavalue":{"value":{"amount":"+0.7512468695640564","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":"Q3000569$EA9D698B-23CF-4B45-A145-69337DC63873","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7833298f7b4bcee38aad70caa6bfc39f468bd1e5","datavalue":{"value":{"entity-type":"item","numeric-id":2432233,"id":"Q2432233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"965a453d8755751e890ae5b6adc39badf8767afb","datavalue":{"value":{"amount":"+0.7370500564575195","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":"Q3000569$1655D229-2AA0-4255-9CA7-772E314EEBCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ce75845ab1e12a3829f9ba9e90080e8bf956028","datavalue":{"value":{"entity-type":"item","numeric-id":5696931,"id":"Q5696931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc66bebcdd8543e7c9745f0dd12b8cc432626743","datavalue":{"value":{"amount":"+0.7262072563171387","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":"Q3000569$C3D37C69-A528-4C23-889C-15653054ACD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"177a6e4ae87fbc69cc049e90a51aef2ccb197c87","datavalue":{"value":{"entity-type":"item","numeric-id":2655327,"id":"Q2655327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecdbe7b9304c94527aa44287a5c03a31fa2e9e2f","datavalue":{"value":{"amount":"+0.721237063407898","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":"Q3000569$675CEA49-C6C2-4457-94D2-FE2413CEC611","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3000569","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3000569"}}}}}