{"entities":{"Q3296319":{"pageid":3307027,"ns":120,"title":"Item:Q3296319","lastrevid":86731784,"modified":"2026-06-04T09:42:02Z","type":"item","id":"Q3296319","labels":{"en":{"language":"en","value":"Gradual program verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7218133"}},"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":"Q3296319$AE47C64A-F5B0-4584-BEEE-A347FB01B500","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a62f2953a40e0051bbe6e1f005687c961076a9b8","datavalue":{"value":{"text":"Gradual Program Verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3296319$3C5398FA-F1EA-4B02-B180-3918BF65A2EE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8991fa4861b215219f584de576a2907220e5de2","datavalue":{"value":"1446.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296319$0EC0E00B-E79F-4F81-8CC2-D477E7975705","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbba28c5d31f369d571282579d64be031c491928","datavalue":{"value":"10.1007/978-3-319-73721-8_2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296319$AD0744DC-5D82-413F-A969-8E463F9AB900","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df1e6a4f198ec63ac46bd2baa6a2089b66638f35","datavalue":{"value":{"entity-type":"item","numeric-id":418030,"id":"Q418030"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296319$BD4EF323-2E7E-4BE2-BBC2-A20AE755BC3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34324ed041cbea58345a65a41e77a418945a2202","datavalue":{"value":{"entity-type":"item","numeric-id":1398667,"id":"Q1398667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296319$D8E08D7D-B288-4A6D-A58E-7A24EC15F862","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19fabfa06536443b38e263e6eb9f1c99dcd7a5f0","datavalue":{"value":{"entity-type":"item","numeric-id":608344,"id":"Q608344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296319$F33C795B-7F81-4009-9F8A-8D70EACD681D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296319$10B37CED-8FFD-4F32-9233-2EE0B1B50521","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"01d69a3c7fdeda349075259d925d96d26b367ba2","datavalue":{"value":{"time":"+2020-07-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3296319$BD298B06-69CD-4D19-A033-D69FC6FB5409","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296319$076538BF-3464-43F2-8771-369F9F394C78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296319$219B8434-2D42-46D0-AA1A-5086E97B3487","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bac85cb50f0a566a38921b9b66c057cbedfb5cfe","datavalue":{"value":"7218133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296319$FA65E534-9369-46F0-B2C7-BAA142BFFBBB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3296319$C6AF4F7A-4659-42D6-A7E1-A05E987AB870","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":"Q3296319$29D39CF0-9CE1-43DC-A122-7500317EAE0A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d40cb17dc9e708dc51c9b0be7e8a9a6fbd34feb","datavalue":{"value":"https://doi.org/10.1007/978-3-319-73721-8_2","type":"string"},"datatype":"url"},"type":"statement","id":"Q3296319$63972314-475B-42DF-8C5A-F3E72F77E1D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"007966f6e1bd22717d7314fd60d8746d303651d2","datavalue":{"value":"W2780724869","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3296319$BD9C522A-C2F7-4884-BA65-54AB09076021","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"129b5ea492b78f982bc5d0f15a8d1fffbb6813a1","datavalue":{"value":{"entity-type":"item","numeric-id":5370912,"id":"Q5370912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a966e85de63c3209f6baac740a781c0944f6b6eb","datavalue":{"value":{"amount":"+0.7851824164390564","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":"Q3296319$DA9670BF-FB2F-48C4-BFE7-2F00EF4FD2C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a73981eb38eb59fd0b5c5dc5b0422ae0a725913b","datavalue":{"value":{"entity-type":"item","numeric-id":2828288,"id":"Q2828288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"386f6d8b48ab44b5185bd167db218b0f314fdf5a","datavalue":{"value":{"amount":"+0.7665910720825195","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":"Q3296319$FF873209-AFEB-4809-A7DB-BDCD57A255EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d562c7168370a90bfa8dfd3309d82801b7bf975f","datavalue":{"value":{"entity-type":"item","numeric-id":5019016,"id":"Q5019016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1bc19b31187bd1d527fd17e558fb90f6a6708ddc","datavalue":{"value":{"amount":"+0.7391200661659241","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":"Q3296319$B9527865-0004-4C7B-B6C5-5D1629514250","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65783770f753a60e730e2f256403c2da900bb4d3","datavalue":{"value":{"entity-type":"item","numeric-id":3766816,"id":"Q3766816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ffea96fd550a80e35b3683fa41b2a8f09aaa6c5a","datavalue":{"value":{"amount":"+0.738674521446228","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":"Q3296319$03EC4B41-1D7B-4883-808B-5E400E49D879","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e78025770f9e1d1061ba6199d514e942f46e67d7","datavalue":{"value":{"entity-type":"item","numeric-id":5371974,"id":"Q5371974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc7841355ab1e7ff818eb6486801aa73fa181780","datavalue":{"value":{"amount":"+0.7372615933418274","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":"Q3296319$C5618461-539F-4744-8D0C-453BBEB2B1CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Gradual program verification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Gradual_program_verification"}}}}}