{"entities":{"Q3685164":{"pageid":5715070,"ns":120,"title":"Item:Q3685164","lastrevid":50087968,"modified":"2026-01-12T22:06:07Z","type":"item","id":"Q3685164","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3907746"}},"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":"Q3685164$0C3F9975-0422-4AE9-88CF-C6F23D7CDE36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f9ca8510e1b20324eec71cdeb9c1d1703bba506c","datavalue":{"value":"0568.68009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3685164$4E84FF1C-4E9B-4B96-A373-960B14ABBB73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3685164$4C88D398-6001-4AF4-9D45-27AE553C15A5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3685164$463DCD96-7660-493A-A000-669BE2F74464","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77fbd0f0c351f6d30fa6e8dd9e23c6a1960740fd","datavalue":{"value":"3907746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3685164$7850D13F-294D-4DAA-93F9-F61B2E112458","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7cf9eeaf6731fd367d93030a4df24d8881f580d0","datavalue":{"value":"Dijkstra's weakest precondition method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3685164$AB0DAB13-B5F4-427B-A332-81665F45BD10","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c715f7660adfc1d08e981d189dcfb1350f34c0b","datavalue":{"value":{"entity-type":"item","numeric-id":327076,"id":"Q327076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3685164$39E2AD26-B050-44DE-A560-2286099DD22A","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":"Q3685164$0F0904BD-7AC4-4353-8215-DB3DB807C818","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3f38f8dfb310b82c25b6694dc81b943b65a02c3","datavalue":{"value":{"entity-type":"item","numeric-id":2130600,"id":"Q2130600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79434c4fa8722e4b89e2f97d6d7127583500ebf5","datavalue":{"value":{"amount":"+0.7398884","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":"Q3685164$D908D355-2E59-4F29-8453-EF9E643207AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba821b113c6c7f6a2df6fb28186b43809a52c5a2","datavalue":{"value":{"entity-type":"item","numeric-id":3783514,"id":"Q3783514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c18a8ba2727b696d9c7a5c3fe49632a3c9fad8e","datavalue":{"value":{"amount":"+0.7351825","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":"Q3685164$FBB0B5EC-E2B0-4568-A817-E5360E549945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c4e649b19ab461a394f698e4762f127796dd770","datavalue":{"value":{"entity-type":"item","numeric-id":6135755,"id":"Q6135755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fadd05c3db63b2f2eafd47dfa55311f2ff588e9","datavalue":{"value":{"amount":"+0.72697204","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":"Q3685164$D824071C-A543-40C0-A528-2850F1F97ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14f562469f2e8461185c1ff728440625b71e2b8f","datavalue":{"value":{"entity-type":"item","numeric-id":3789528,"id":"Q3789528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c073c01cadc19fea3d858cab7027e5cc59fdc13","datavalue":{"value":{"amount":"+0.7198034","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":"Q3685164$7A6BB3F4-31DF-4E26-93EA-DAC0E02E227D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e524b05b1a9858d9a05bbbebe7d1c1cf2f7598b","datavalue":{"value":{"entity-type":"item","numeric-id":6067744,"id":"Q6067744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c7eeb055ac7589338bec003899aee5e0092bf50","datavalue":{"value":{"amount":"+0.7193859","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":"Q3685164$4EFA8BD7-ECE1-4301-B637-AB5A899595AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c7176d85911f859e7504ba2b5ed72c8cb728248","datavalue":{"value":{"entity-type":"item","numeric-id":3511219,"id":"Q3511219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dee01fcad897536e034aba00d26bf91c513e7f3","datavalue":{"value":{"amount":"+0.7192981","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":"Q3685164$C3341CCD-FBBB-4D9E-93A6-57356007B95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"128de154af4bfeeccec8bd32ac5fe733bbc20959","datavalue":{"value":{"entity-type":"item","numeric-id":3683528,"id":"Q3683528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b526a12874a301325e49ebd816ee75aaaa53bd69","datavalue":{"value":{"amount":"+0.7186768","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":"Q3685164$3BA0A4CE-0039-4595-9C82-FF3DBE76F396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8b2fe641ba04d9d5e0fced739d1ca3c6ac830e","datavalue":{"value":{"entity-type":"item","numeric-id":3781109,"id":"Q3781109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1c161c6c19e1e0c636ce6e1e95c7af97639aa18","datavalue":{"value":{"amount":"+0.71842897","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":"Q3685164$231D0547-5636-460B-A5C6-6C666FE0B6DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b313b3ecb6dc366194ae9bb4c6cd6f672232a23b","datavalue":{"value":{"entity-type":"item","numeric-id":974118,"id":"Q974118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e49c41c3e93d27b3d764434a92d97bd7d3a686e","datavalue":{"value":{"amount":"+0.7176775","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":"Q3685164$C4EC1080-F862-4F7F-960D-7A01017B956F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4543a387eb7bb0504b81bc0d66cb6fe1523e4a19","datavalue":{"value":{"entity-type":"item","numeric-id":4316298,"id":"Q4316298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af3044ab7f374f187c6751be71e4a13263fdd2be","datavalue":{"value":{"amount":"+0.71621066","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":"Q3685164$2FB1735B-49AD-49F8-B564-6340B6E69FE7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3685164","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3685164"}}}}}