{"entities":{"Q3608885":{"pageid":5638791,"ns":120,"title":"Item:Q3608885","lastrevid":50592380,"modified":"2026-01-14T12:19:27Z","type":"item","id":"Q3608885","labels":{"en":{"language":"en","value":"Lifting General Correctness into Partial Correctness is ok"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5523883"}},"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":"Q3608885$3B564DD9-F4D2-48AE-9C0D-432B85E51BBF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c45954b9540703f7953d6e57dbfe0b679d0efb3b","datavalue":{"value":{"text":"Lifting General Correctness into Partial Correctness is ok","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3608885$1FD7D3C5-424B-485A-9AE7-E79EFFEE6FCA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce1ae687d8372e9772a9233305fae5e350312aea","datavalue":{"value":"1213.68371","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608885$9D8884C6-B1CD-4DC5-8D2E-1F354EADF756","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4336360a930ff43c19dfc8d25027cd1aa2ce355e","datavalue":{"value":"10.1007/978-3-540-73210-5_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608885$A497F648-2BE1-449A-A8C5-9420128B64CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b4098e59db3e4bc21f0b732220a541be8ca257f0","datavalue":{"value":{"entity-type":"item","numeric-id":851127,"id":"Q851127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608885$35EDF6DB-E136-42A9-89CC-E82C2F890C54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4431992cd38d6465b41afd55f8894ce0dc3fb66a","datavalue":{"value":{"entity-type":"item","numeric-id":2750406,"id":"Q2750406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608885$F3181863-DBE6-4AB1-B42B-433B5AC2D164","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":"Q3608885$33928126-ECC7-4562-BA99-633749C01646","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"19a1026dd4f6172034494e7235e1c6afaf15c529","datavalue":{"value":{"time":"+2009-03-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3608885$7681A2EE-A725-47F3-80AA-6BE60D78E228","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608885$912BEB70-36D8-4D54-B0B5-0DEEC0E378F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9ea95e7916912de178a2fc6ad14035fb922385ce","datavalue":{"value":"5523883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608885$108744AB-EF2A-4B6A-9E85-CBB08E771091","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b09b080527cf0c7be3719338f59c9e92adea2d20","datavalue":{"value":{"entity-type":"item","numeric-id":19142,"id":"Q19142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3608885$9CAEE514-3B75-474F-BFCA-EC02CEF27683","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":"Q3608885$870EDB0C-9252-4B8E-BE34-04EC42256775","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a9401e4bb85c179483e73d31349c5c8ba102c988","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73210-5_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q3608885$82AEB528-3D4E-40A4-8E04-D08B876636CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"828cc7f4d71fe1b78cbda490d76fc1d11f470e5f","datavalue":{"value":"W1559954017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3608885$99BA8BB7-775C-49D5-887D-8EDC3493A14B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3df2062477e400153324e8a42104b32141a25c9f","datavalue":{"value":{"entity-type":"item","numeric-id":2265798,"id":"Q2265798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bec91de8c0dcb061a3391c657c85ad49c2dd3ca","datavalue":{"value":{"amount":"+0.8028669953346252","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":"Q3608885$997935DF-4252-4153-9D93-09536D7BDFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63a0e5b54895453883cb57dbbec709f98a7e6971","datavalue":{"value":{"entity-type":"item","numeric-id":541217,"id":"Q541217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59b8e2e21d921ef4b07e705549d88db3d32593ad","datavalue":{"value":{"amount":"+0.7321906089782715","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":"Q3608885$9800B1F6-FE62-441C-B5ED-76E9767D356B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be9108c8fcfb83f075bfefb84dde5377179e381","datavalue":{"value":{"entity-type":"item","numeric-id":1101439,"id":"Q1101439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96db5c3d8a5859e665cb3c0862004858da3cbbd1","datavalue":{"value":{"amount":"+0.732086718082428","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":"Q3608885$4DE1B144-D2FE-4C77-922D-66FCF8CCA5D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed65b361964e3c64608aacb48e397b30645537a8","datavalue":{"value":{"entity-type":"item","numeric-id":2845516,"id":"Q2845516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c43a240130421c59e22e07fb7ffe81f6c0fd9f22","datavalue":{"value":{"amount":"+0.7319744229316711","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":"Q3608885$201C20D8-ECFD-4AF7-83BB-E068397715F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea8bb53d6fcf015983e1b7a00300544f342de8d2","datavalue":{"value":{"entity-type":"item","numeric-id":3651514,"id":"Q3651514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb5cbe791c8054f218b4446eee2e3309569bd51","datavalue":{"value":{"amount":"+0.7292121052742004","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":"Q3608885$0BEB26B6-9375-4EE0-B30A-402EB74386F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3608885","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3608885"}}}}}