{"entities":{"Q5747779":{"pageid":7777330,"ns":120,"title":"Item:Q5747779","lastrevid":51080453,"modified":"2026-01-16T13:41:08Z","type":"item","id":"Q5747779","labels":{"en":{"language":"en","value":"Bugs, moles and skeletons: symbolic reasoning for software development"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785465"}},"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":"Q5747779$9E4A37F8-BF17-419F-A071-C9077944A3AC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"894f30b439071dc81d39220e38f45d9cd797f7f3","datavalue":{"value":{"text":"Bugs, Moles and Skeletons: Symbolic Reasoning for Software Development","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747779$DFB37A9B-7951-44D8-97E9-301F8C669331","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f7c409854b1048dd714bbd144f289f7f92ba7e57","datavalue":{"value":"1291.68377","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747779$54049C75-0B07-41E1-9C89-CD23D429EA9F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8a585a778775f07c2407abdcec1ab6f3451fa6ca","datavalue":{"value":"10.1007/978-3-642-14203-1_34","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747779$820968B5-60C8-4178-91F7-0FF80BCBADCA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"899468d0fe4ec0ae9c5ef91b63881ae72bf40a46","datavalue":{"value":{"entity-type":"item","numeric-id":438532,"id":"Q438532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747779$F6B63D5A-9A8F-4D0B-AF28-8584220DCA7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f1a755ad39b856fc5a2e4101b7c12f7b83c7256","datavalue":{"value":{"entity-type":"item","numeric-id":483050,"id":"Q483050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747779$09D911C2-F7A0-4E49-802A-E81E44FD3F90","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747779$18F9AD48-7B28-46A7-A4FB-261FC343C3CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747779$6844E529-A5E0-4819-9DA2-9353B7B6F10F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747779$6E601EDC-B356-48F2-B269-38751C39CC8C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"83043f5447b6a5a5dfe43d3e6f269e76304e512f","datavalue":{"value":"5785465","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747779$0CF0C39C-5496-458B-BBBB-00913B47D718","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747779$7F4850FA-1F80-4A11-BFAE-71C8DE99DEF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8312fa7309b2bb86919d80d9dd327b01ccd3eb19","datavalue":{"value":{"entity-type":"item","numeric-id":19268,"id":"Q19268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747779$A328F714-2DA8-422E-9F85-49A5BE64BDC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb4ac1b3e6590933f07db2ef44e8e77f8844e4b4","datavalue":{"value":{"entity-type":"item","numeric-id":19271,"id":"Q19271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747779$73C09C92-5BD6-4F33-B681-5F9BCBDABFC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"076ade2f424feb4292ee73db98fc22d62f6154a2","datavalue":{"value":{"entity-type":"item","numeric-id":16769,"id":"Q16769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747779$1010B9B2-D94B-4DB4-ADE3-7601749F7143","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747779$C8220ED6-1760-4A65-9FB8-C9409D8ED082","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"200fedd12d618fbde9ee1e4aba160f623dcca79b","datavalue":{"value":{"entity-type":"item","numeric-id":21932,"id":"Q21932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747779$F33746B6-90E6-4496-BC57-41073DBB152D","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":"Q5747779$B1D16790-36D9-4D55-ACCF-C911CC2AC995","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cf7b70f0d5c1e87c696771b42b0570e1299f7b03","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14203-1_34","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747779$110F60ED-197B-4DD9-9FCB-176D80CFF66C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f1c6856027fa7d792637ae034c10b31b378f05cf","datavalue":{"value":"W1835682006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747779$9BB4624C-7123-40C3-9A27-B34199F07EE8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f2b1ebc1ae7ffc3042b5e838a24da8662374478","datavalue":{"value":{"entity-type":"item","numeric-id":5898633,"id":"Q5898633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747779$4169EA99-7CCA-4B23-AA3F-5AB33151B2D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a61c081846871c8a24b9271df7203466950baf1","datavalue":{"value":{"entity-type":"item","numeric-id":5458801,"id":"Q5458801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747779$015C383D-67C5-4DBF-BB69-E4E7D962CDA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72218519db5d67e742c1d9933b547c92ef121134","datavalue":{"value":{"entity-type":"item","numeric-id":3557080,"id":"Q3557080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747779$9B1E2B6B-C87C-48CF-95C2-DEDB11CBEDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0ecda2530a74fd3b958fc170aad75894016b80e","datavalue":{"value":{"entity-type":"item","numeric-id":3541720,"id":"Q3541720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747779$9B1AC262-4B61-4637-A0AF-B9BB90E66B80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747779$C72D8758-E3EA-4BB0-8263-3ECCA82306A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"705eb07356f3c57b6af5ee5160fdf7a239743339","datavalue":{"value":{"entity-type":"item","numeric-id":3600470,"id":"Q3600470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747779$0FF1F451-5AA6-4821-8866-FEBE4A4DD6B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9189730146ba7a588b1523afcc7cd91ee49cbfb8","datavalue":{"value":{"entity-type":"item","numeric-id":5617314,"id":"Q5617314"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747779$40EF7723-498B-4B36-9F1F-9C53E583333D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f0c92d03289446e128e8c1b5528c6f94929a65a","datavalue":{"value":{"entity-type":"item","numeric-id":5255085,"id":"Q5255085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747779$6D3F3106-26FA-4796-848F-FAACA6D51486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f426d61b5e73f09c762af22502a76e1d6d446b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747779$7D1AC578-FD27-4A62-8210-B920D4492EC5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff7971bb0d53dd6682991734c0c56234b675e6f7","datavalue":{"value":{"entity-type":"item","numeric-id":5408453,"id":"Q5408453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8261b71e2987553a84bbdce1a7e742a86e5333e7","datavalue":{"value":{"amount":"+0.7161962389945984","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":"Q5747779$9FC101A6-AD59-41CB-881C-44FE6C918C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f1f943c54080b27de44312af7634875e7f707904","datavalue":{"value":{"entity-type":"item","numeric-id":5716582,"id":"Q5716582"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b39748cb6c3fbd2d185675213e4de53efc9365b9","datavalue":{"value":{"amount":"+0.7141430377960205","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":"Q5747779$FEDBAFED-0E2A-4743-A3A7-E79A198C8356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18ba98873d052f5816175646d512a17079b79c03","datavalue":{"value":{"entity-type":"item","numeric-id":3176369,"id":"Q3176369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a802ae43bb360f2661ddf59d27014b99dd87fdd5","datavalue":{"value":{"amount":"+0.7117344737052917","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":"Q5747779$0B2B79E1-5728-4FDB-91C8-38ADD431AA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"44a43da73541e40b8d93166832aeb92cd4bee415","datavalue":{"value":{"entity-type":"item","numeric-id":2830018,"id":"Q2830018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"988b3bfbabc142dabb879666c24bb6b29e5e1519","datavalue":{"value":{"amount":"+0.7110075950622559","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":"Q5747779$807BAD1C-63EE-41FA-A61F-AE55EDD3ACB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49fa52d4f6f64da344488e7c632f25a795b9ee9e","datavalue":{"value":{"entity-type":"item","numeric-id":5899041,"id":"Q5899041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea4fcf71caa01cfa3da513831fd46868ebc1f2c1","datavalue":{"value":{"amount":"+0.7084808945655823","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":"Q5747779$48F4D2DC-C3FE-47A4-AF4B-1FC8A93D01B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747779","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747779"}}}}}