{"entities":{"Q4928448":{"pageid":6958030,"ns":120,"title":"Item:Q4928448","lastrevid":41818292,"modified":"2025-05-08T17:03:28Z","type":"item","id":"Q4928448","labels":{"en":{"language":"en","value":"Reuse in Software Verification by Abstract Method Calls"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6176217"}},"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":"Q4928448$229C4E03-7D51-412C-9E7F-31175BAB0518","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"91a48babc55bb4e0721e7e80cd47640bc5c81149","datavalue":{"value":{"text":"Reuse in Software Verification by Abstract Method Calls","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4928448$0ABFEE46-EE1E-4A31-9AF3-81018DE84E21","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"435ac1dd1d255959277154b0ac51752cee845dd1","datavalue":{"value":"1381.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928448$4D3A2822-E58C-44F1-A753-1174B7B87A84","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eed6760ec4fcee1128046d069f6868f66ca224b1","datavalue":{"value":"10.1007/978-3-642-38574-2_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928448$C367A030-46F3-43E4-9303-B383ED1A9795","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7743279316f8ce0cdbb2e6d0842ac12b618ecbfa","datavalue":{"value":{"entity-type":"item","numeric-id":679246,"id":"Q679246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928448$638D553B-1A5E-4E48-A5AE-9AF3A329B47E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a8de372799402bb9369830764b9ee203260e67e","datavalue":{"value":{"entity-type":"item","numeric-id":736802,"id":"Q736802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928448$14E8CAC7-575E-4ADE-A335-4D31D45FB0EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbc8ce92eca2e3c80d93d3d73f34c70e2fee7fb6","datavalue":{"value":{"entity-type":"item","numeric-id":1675814,"id":"Q1675814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928448$1AEF03AD-C2BF-4E21-9E8A-231CD0380BC9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"feba868a8cb9ecfadec66d8e8a91d447de952529","datavalue":{"value":{"entity-type":"item","numeric-id":4928424,"id":"Q4928424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4928448$523E3329-2B9F-46CD-9DFB-026E5FEA0595","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b84d2a34981f1c1a0d0fb543ea5aabc14a21194b","datavalue":{"value":{"time":"+2013-06-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":"Q4928448$248360E1-9C2B-4882-96A9-CB55260D0CDE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928448$38E8DF80-BB65-44A0-90C4-AAE9FD2F0476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928448$0BE95710-501D-487E-B561-1DCDB451C2AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928448$CA383C07-3969-452C-B9A9-22FE71E88C32","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dfc538fbef8f59b922d7d00454c98b3a568cdd90","datavalue":{"value":"6176217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928448$C568A445-3C10-4A11-BC0D-7EA86AFA7A93","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":"Q4928448$65FB78AC-74F1-4A6F-A1F7-B98C7633D3BE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cfcd4f8b3d4adbeac3cb487633d47170e529653b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-38574-2_21","type":"string"},"datatype":"url"},"type":"statement","id":"Q4928448$01E3C596-6C40-4B8A-81A0-A0F767C35DE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4d1ee0f9cd44f1227a20c1c8fdb007ce40634343","datavalue":{"value":"W1858610213","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4928448$6DC77E4E-B4DB-4C2D-BECD-F56A7909ACA6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"019a14f51c461e45f89e4801a279c3e28305f2c6","datavalue":{"value":{"entity-type":"item","numeric-id":1419888,"id":"Q1419888"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a80fb150328abea20e9549e851e74c2479dca9a","datavalue":{"value":{"amount":"+0.8821276","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4928448$5384C789-629C-4093-9DD2-529B63728ABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa7a610a5a912c01d0d95c64ce3b4ff60fa6a43e","datavalue":{"value":{"entity-type":"item","numeric-id":4804884,"id":"Q4804884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f73344f44783135e8bb54d0feb9e2a2a30d8ffb","datavalue":{"value":{"amount":"+0.8812683","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4928448$523D382B-C92B-49FF-9F67-EF838305EA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e0f74c66447e71f38267b8dbcff9d38adaf2d7d","datavalue":{"value":{"entity-type":"item","numeric-id":4870817,"id":"Q4870817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f02c75a7f4152934d8d723ae2c90186b0c9c71d3","datavalue":{"value":{"amount":"+0.8729402","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4928448$5C51A898-AF6F-47D3-90CD-7771339D98CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23b5ec18f23243243338ab6d3f5f54f230a8ad9f","datavalue":{"value":{"entity-type":"item","numeric-id":5312981,"id":"Q5312981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0adbd5fbe89a716a44156b228f61021ff5746b0b","datavalue":{"value":{"amount":"+0.86762416","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4928448$2F7C3F33-A24F-4FBD-9C9F-31BDF24CEC7D","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":"171ee4084dba4d2ad48aea4321e77c9d6289a90d","datavalue":{"value":{"amount":"+0.8623848","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4928448$367D91E2-2786-4F45-B479-38C0BC537CBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c09c618116ffba129ce2245f8a3b3753edcf1797","datavalue":{"value":{"entity-type":"item","numeric-id":5305644,"id":"Q5305644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf88507e77ab8816132582a1087904bd32576126","datavalue":{"value":{"amount":"+0.85941917","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4928448$C4C9B901-06C3-4A47-BCAF-563C79D95263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"699e4f4421b4a1db5ca3b19e6665b60a06dabc65","datavalue":{"value":{"entity-type":"item","numeric-id":5305639,"id":"Q5305639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8546e435b3fad7b873c0cfd3677900aa289ebf89","datavalue":{"value":{"amount":"+0.8548802","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4928448$C43ACA33-E99D-42D6-9FAA-D5D5FB6E2F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2543ff027a8c52341237bc17323c4215a2ed7756","datavalue":{"value":{"entity-type":"item","numeric-id":5429330,"id":"Q5429330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b9a13dd271b400e0f1848aaccbb028140d738e2","datavalue":{"value":{"amount":"+0.8541573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4928448$304B6E06-1B17-446F-AC6A-42F25DE1068D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"814e1bf29690df9d43d5cafd9de771b09b30bb68","datavalue":{"value":{"entity-type":"item","numeric-id":5178906,"id":"Q5178906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7378d4b838ec63bddcdb2075cd843268e2ef9876","datavalue":{"value":{"amount":"+0.8527389","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4928448$80830481-036C-40F1-8FBD-1676CE9041B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4928448","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4928448"}}}}}