{"entities":{"Q5505564":{"pageid":7535124,"ns":120,"title":"Item:Q5505564","lastrevid":50550674,"modified":"2026-01-14T09:07:16Z","type":"item","id":"Q5505564","labels":{"en":{"language":"en","value":"Valigator: A Verification Tool with Bound and Invariant Generation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5498352"}},"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":"Q5505564$DA43E7E4-622B-4AB2-BDF2-2897993D7D32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb18e93ae8a294e3bcc7030f1ebf7f23bdd9a2cd","datavalue":{"value":{"text":"Valigator: A Verification Tool with Bound and Invariant Generation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5505564$06A302DA-D5D1-4D82-822A-785B823E8AF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a58a1d71277e40b86eb46226406d1195e6d1020","datavalue":{"value":"1182.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505564$1D121964-680D-4F3D-880E-7E95267DC738","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae30e538e8ae972387264692bbb8a9fa6ae1c4a9","datavalue":{"value":"10.1007/978-3-540-89439-1_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505564$E8A467BC-8500-487E-BA8E-1DA5582F5E68","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ae7ee8e2db5eb0fb45e8b4f7d3ed90f59ba1a56","datavalue":{"value":{"entity-type":"item","numeric-id":3066093,"id":"Q3066093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505564$ADC5B648-4854-4FC0-A74D-59DF495E9F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f17059e6c6c8a57972334867cc4d511b5d1368f5","datavalue":{"value":{"entity-type":"item","numeric-id":507357,"id":"Q507357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505564$F93EB77B-161F-4988-80CD-1C679EA1B224","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e91931f3fd780c36ea4328f78b3c3352f7c16650","datavalue":{"value":{"entity-type":"item","numeric-id":355505,"id":"Q355505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505564$9CA25440-9F37-4F33-AA55-BF3F5294BD02","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505564$CDD57A05-B463-4E75-922C-BDF9CD5A8CA8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51e6c39ac6ec91b8381a06fe1e16cf5aca0f2bdc","datavalue":{"value":{"time":"+2009-01-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5505564$9290D969-6783-46D6-82B4-F611599FEF25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505564$00C2AA10-EA60-41C9-AA1A-A0E4D68F5B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505564$A17FFD5E-875C-4AB7-9C5C-823ECCAF3717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505564$4900759D-116E-4FBE-A51F-D183F6C32613","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"225f0c223868cf80132d0b99e01b634183db72d2","datavalue":{"value":"5498352","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505564$13D1683E-29BF-451C-9458-EC265C1D13E5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9be3c881819601db6c208fd04cd17cc7030c18ec","datavalue":{"value":{"entity-type":"item","numeric-id":15656,"id":"Q15656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505564$0C341548-F3FF-43D6-A935-73FB0AE66641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505564$C5F445F9-32BD-4B8C-A5C9-F7E84B41EED2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"beb205139d0971fca32ffa61e5b55aaac31a7181","datavalue":{"value":{"entity-type":"item","numeric-id":16768,"id":"Q16768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505564$0466CD27-B63E-47D1-957B-E92DED41D75B","rank":"normal"},{"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":"Q5505564$477CD591-DEC1-4961-947B-82BD13EDAC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"854b234eb9a95f8c5e737feeb323e817bee5cabc","datavalue":{"value":{"entity-type":"item","numeric-id":19233,"id":"Q19233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505564$C50A6CD7-9F8F-40D1-B911-077B1D4EEA2A","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":"Q5505564$051C30C1-E7D9-4574-9F0D-CE17BB5BE9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"12b8fef36068e5bdaa4e8c4c10a706c6f98b9349","datavalue":{"value":{"entity-type":"item","numeric-id":21946,"id":"Q21946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505564$D9536E2B-18B7-429C-A9B1-682A4566F816","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":"Q5505564$F0316CC7-858B-4274-8703-AAB87D6DB30C","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":"Q5505564$C172E662-C092-424C-B5E0-76486A4A5233","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ea1fa890b2f09c8cd0bccb17957cf46696afec2a","datavalue":{"value":{"entity-type":"item","numeric-id":19731,"id":"Q19731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505564$EB338BBE-7275-4F0B-9C7C-C3FCBDAA95E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"eb9f239c20e39259a420e68c66d4f251305d84b4","datavalue":{"value":{"entity-type":"item","numeric-id":22254,"id":"Q22254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5505564$90506C13-401E-40F3-B6A4-7F157CC006B1","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":"Q5505564$9FCDD1C7-7AFC-4801-AF6B-D209BFB994C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1773d13206f626e9b8571af2b1b9ef54a91d9997","datavalue":{"value":"https://doi.org/10.1007/978-3-540-89439-1_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q5505564$1EB80E9F-C695-4015-971D-F15D434F7B43","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"82c50668afa7d994666a845f79e8bfd665277a8b","datavalue":{"value":"W1528693048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5505564$B225B97E-C6BF-400C-9CEA-7331220FD10F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6818cd45b997c627c00e90e817272a99221a2c1","datavalue":{"value":{"entity-type":"item","numeric-id":5716581,"id":"Q5716581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97c21a81e88392c02340a80bad3eca267b1959b4","datavalue":{"value":{"amount":"+0.7548342347145081","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":"Q5505564$78CD34E3-1EBE-4432-938D-5461BF8CD32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1f7fdb48c22a836be3b80fd8b38ffd9d187b626","datavalue":{"value":{"entity-type":"item","numeric-id":5308375,"id":"Q5308375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d4021ceb7f0a1b56e2b7b87c690efeb90d07747","datavalue":{"value":{"amount":"+0.7509750127792358","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":"Q5505564$6A475AD6-EC59-4F4C-BF1B-C36E76FE6C27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cb23bd8c9cdca6792eabcff20647876a470cc75","datavalue":{"value":{"entity-type":"item","numeric-id":5096093,"id":"Q5096093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10f9903642525292404945e69a67dfee4165a523","datavalue":{"value":{"amount":"+0.7499580979347229","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":"Q5505564$FBA4B52F-9AE6-4E08-889B-C612B95A7D76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32d3276762406fd5b69340bd3ed4e749c2093b78","datavalue":{"value":{"entity-type":"item","numeric-id":5709984,"id":"Q5709984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfd43b568a2ab855e913b3dd0c1f57b7b7e6c32d","datavalue":{"value":{"amount":"+0.7441955804824829","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":"Q5505564$CD2D4FA6-69BA-4878-A1D4-F89053A00B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5977fe72932b73458662160c1d49a96d8337336","datavalue":{"value":{"entity-type":"item","numeric-id":3541707,"id":"Q3541707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02e5e2c960a0298f31e3df8b037ea92a1ab8c4e8","datavalue":{"value":{"amount":"+0.7408664226531982","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":"Q5505564$58E1F913-2B0E-4DC2-97E6-91144BF29FB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5505564","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5505564"}}}}}