{"entities":{"Q6045018":{"pageid":13179174,"ns":120,"title":"Item:Q6045018","lastrevid":47854708,"modified":"2026-01-02T21:36:39Z","type":"item","id":"Q6045018","labels":{"en":{"language":"en","value":"Incremental verification using trace abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7689291"}},"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":"Q6045018$647755C2-BDA0-4E5A-8CCB-0722D8F1D553","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"478f347895895778907bcb913813005ffbe8b81d","datavalue":{"value":{"text":"Incremental verification using trace abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6045018$0B13AB13-13A1-4AA3-9182-0893AE2CDB38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bbfccbd7f131ea8b009ea1b755352c4a576a26e0","datavalue":{"value":"1511.68168","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045018$6EA2EAE0-FE6D-4E85-95F4-B0B39548C1A3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bbf46c1e901d24e89ad94526a80283e0271eccfa","datavalue":{"value":"10.1007/978-3-319-99725-4_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045018$5B6632BA-8228-42C4-8178-3B4D3D391325","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff1cd0d70de11eb728d61f3a042d97b17144bb9d","datavalue":{"value":{"entity-type":"item","numeric-id":2226764,"id":"Q2226764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045018$C3A1BFBB-1810-4AE3-BB68-ED0B877854D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"82e156e8fa4d3f1d15652d6c661fd72d146102a7","datavalue":{"value":{"entity-type":"item","numeric-id":1629965,"id":"Q1629965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045018$DB7E84D3-2E70-4BB5-AA51-8643530AED8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6692089e7e1e9109051611e18cfa47c46af10959","datavalue":{"value":{"entity-type":"item","numeric-id":1629966,"id":"Q1629966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045018$83F1ECFC-69CA-4889-8645-F91BC40DA554","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"19e166a297e557c212f7b597bbbbc3f69b1ceb4f","datavalue":{"value":{"entity-type":"item","numeric-id":2870767,"id":"Q2870767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6045018$2BD55B75-5699-4E8A-A8A8-B75C24A1C0A3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9e202514302232ff7f5ec81097f072c587f02b43","datavalue":{"value":{"time":"+2023-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6045018$8AD0835D-9745-43FC-924C-82FB8A67FD5B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045018$C5E87228-B408-445F-B9B5-9316E4715C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045018$FB8A78D3-F987-47CF-BCBE-1786A82FAC0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045018$DE54FD9F-9DB4-4579-B170-FF86637C4D38","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d7e2bd85a62ac6101541971abe34e217e4aa7cc","datavalue":{"value":"7689291","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045018$34E16EE4-6131-4FAC-95AB-C2B0369E1E5E","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":"Q6045018$6A834704-11B6-415A-AEB4-E3C9BE1A3070","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7d807b88bdde1a8be5839c4bdf822578eb834acc","datavalue":{"value":"https://doi.org/10.1007/978-3-319-99725-4_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q6045018$B43C5F35-D0B3-4720-8971-9C18707FF286","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"24c4e83db19ffb7f7673dfc818ce045c5ef9d07a","datavalue":{"value":"W2889163403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6045018$C7DF099C-E498-43CC-868D-D658CC6E0F5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"728d09591c56b065e7283db1470722ee48b7c921","datavalue":{"value":{"entity-type":"item","numeric-id":5326332,"id":"Q5326332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b154485debc8186db53f013ec2b19d4e7034f264","datavalue":{"value":{"amount":"+0.7450873255729675","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":"Q6045018$688EAC4A-65FF-4F8B-8051-E2C9D56B2D70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f799b5a2f03daeafb9295eaf985e6281bfccd22","datavalue":{"value":{"entity-type":"item","numeric-id":6488472,"id":"Q6488472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e55f6b931292864e2a63c2b206d5388002fa7120","datavalue":{"value":{"amount":"+0.7348966598510742","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":"Q6045018$A91B46F9-2DE9-4B14-AD87-178E56AAF511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cbe632a0b297f0680635d38f64812e52ca73f4a","datavalue":{"value":{"entity-type":"item","numeric-id":3392921,"id":"Q3392921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d28968f1c8acc2984dc5eb4a546fe7717508bf74","datavalue":{"value":{"amount":"+0.7296366095542908","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":"Q6045018$C4D75F30-E3CE-4DA7-A944-2FEDCE00DF92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5c6408661d73892449e3a46f374539c0fa99309","datavalue":{"value":{"entity-type":"item","numeric-id":2769580,"id":"Q2769580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d1cd6a016a1d087e481c7f68f4f7e3672962fcf","datavalue":{"value":{"amount":"+0.7249942421913147","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":"Q6045018$4820F8A3-146B-4A5A-8ACC-CC575911C761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a76b3577a7618bb02f9806580f51d2b7da93b94","datavalue":{"value":{"entity-type":"item","numeric-id":5900551,"id":"Q5900551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6259fd3ed2bf51d6f7203a351440d6cc57bf1a4","datavalue":{"value":{"amount":"+0.7213868498802185","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":"Q6045018$C960C843-299A-4A20-B600-5A960E03EA14","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6045018","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6045018"}}}}}