{"entities":{"Q3115118":{"pageid":3125834,"ns":120,"title":"Item:Q3115118","lastrevid":45471805,"modified":"2025-12-09T02:42:08Z","type":"item","id":"Q3115118","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6007785"}},"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":"Q3115118$ED84F868-7FEE-4FA6-9F85-82049A24C3FF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e29e8dde1c58971d596d5b43b252b224cd3f7143","datavalue":{"value":"1249.65045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3115118$CA54351E-9EB3-40F5-9F51-FEDF461A6750","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c874d940a8ed30f849faede34dd489e2d16679a6","datavalue":{"value":{"entity-type":"item","numeric-id":3115117,"id":"Q3115117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3115118$82C0BFCC-254E-443C-8CBA-9B8497D85124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"67496f5440fe4f22fc7b1957f919f2c4474ac183","datavalue":{"value":{"entity-type":"item","numeric-id":3105840,"id":"Q3105840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3115118$5A63480E-45E8-4D3B-9A33-3BED9417C067","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e99af83acc3a318038d75fa739ce30bed3a5850a","datavalue":{"value":{"time":"+2012-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3115118$1B21C175-74BE-4DB5-8F61-B8FFE67A8B07","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2ce72165d993b0b8ed97728d731d2db2473b9554","datavalue":{"value":"65D18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3115118$F670CF5A-9FAD-4CA7-8BA7-5D7CC174DB62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"363f8c9d5e4fe82115303094b53dba7bf2562537","datavalue":{"value":"6007785","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3115118$F05C1039-FA5F-47AE-9FDC-A712EE5754BE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e26cf70c711c6083f8647650824e0b5520cb1e52","datavalue":{"value":"raster graphics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3115118$457E596F-6F3C-453F-A01F-473816767FF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c86d435d0a0f50423f4fd20ca2aa7f607b437f","datavalue":{"value":"circle drawing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3115118$3A9DAE1D-B00A-41CC-99F9-622B59362CA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3115118$DF64FC56-F644-4BD7-A97F-2B2C4AA3522A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4721a28468703441bdff76d293884ea36c137a2","datavalue":{"value":"Dijkstra's weakest precondition calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3115118$8B11E103-3996-4950-9399-E529D18F7538","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":"Q3115118$FD45BF0C-BE04-45F7-BC2F-E0378F42DC5B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f4da139af734bbb7cfd95677b7aaeafaf5cfe2","datavalue":{"value":{"entity-type":"item","numeric-id":3436846,"id":"Q3436846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b24490b3d9e5e0dadb75b83ba2533c7434c0b434","datavalue":{"value":{"amount":"+0.7964577","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":"Q3115118$310CAB2D-176B-458E-A9BB-DB276CDC4D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c90fe206ef449ef0a7beb8808fce2424844a096","datavalue":{"value":{"entity-type":"item","numeric-id":472484,"id":"Q472484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"355322882ae335ca0b291ce6290f911bb4f3bd41","datavalue":{"value":{"amount":"+0.79368734","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":"Q3115118$9E63FED7-5958-4EA6-B088-C69336FA454B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91fced4ec2b74cb5da2a7ea03d18ed3ba035b12d","datavalue":{"value":{"entity-type":"item","numeric-id":2973297,"id":"Q2973297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f0cbf15738087a1aa212d33efd74e4e48fc3b1d","datavalue":{"value":{"amount":"+0.78361744","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":"Q3115118$F3DD2B3D-8DF8-48AA-8CD0-8F3F41626BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89a017067f9583b7491f7c0f91b17adf3741cbc4","datavalue":{"value":{"entity-type":"item","numeric-id":5711611,"id":"Q5711611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"242e5edcb38aa92e9874d6205a4ae349173c0e1f","datavalue":{"value":{"amount":"+0.78200865","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":"Q3115118$766D7632-A586-484C-8EB3-0D3B7E43BAE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2da008162563f052aac44f8d576bc1e9fb8a2892","datavalue":{"value":{"entity-type":"item","numeric-id":5301377,"id":"Q5301377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"242e5edcb38aa92e9874d6205a4ae349173c0e1f","datavalue":{"value":{"amount":"+0.78200865","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":"Q3115118$26FFFFD8-9900-4C7D-A609-7D7DE611B95D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f583144810b2d9d3a02333318a92439d0154961","datavalue":{"value":{"entity-type":"item","numeric-id":6101838,"id":"Q6101838"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ab3a3f79a21022e26c7eef50fd58eaae6796f3e","datavalue":{"value":{"amount":"+0.78021413","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":"Q3115118$9AF18BE4-85A9-4BCF-A226-DC5BBEE6EC68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3115118","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3115118"}}}}}