{"entities":{"Q2680222":{"pageid":2690965,"ns":120,"title":"Item:Q2680222","lastrevid":44615241,"modified":"2025-11-24T09:24:15Z","type":"item","id":"Q2680222","labels":{"en":{"language":"en","value":"Weakest preconditioned goto axiom"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7647054"}},"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":"Q2680222$FD0206E3-77D9-4314-887E-58901214FF1E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7efdd04e5dea2583ca18d9a110aba33921252291","datavalue":{"value":{"text":"Weakest preconditioned goto axiom","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2680222$07D33E45-8D69-4672-B2DD-A166441C8254","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc45e6b9322bed7360e4aac2a42f8c73614b44f3","datavalue":{"value":{"entity-type":"item","numeric-id":1787138,"id":"Q1787138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680222$3DC27363-5E4D-4037-8500-E8D02312DFF9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680222$8D76F89F-A256-4A6C-B08F-A3063FCC59F8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1eda75f05c204328dee62a5e7a56569979fdfcd0","datavalue":{"value":{"time":"+2023-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2680222$5E51C180-04A0-4578-BE75-17BDBA0C6149","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2680222$61314568-E752-4807-BE21-CCF2CCABB51B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1ae1a6845d4debf4eae2736aa258a46ae6c35902","datavalue":{"value":"7647054","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2680222$2DC1DEE0-0CD8-4CEE-84DC-B50BBA9510D9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1928752732fffb17d8f956ab2593600b1de78d36","datavalue":{"value":"goto axiom and proof rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q2680222$F226635E-A03C-4D6F-90BC-893815977B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ddb02aa772d5ca9ab71841ccc7e5dfbc96f0964f","datavalue":{"value":"weakest liberal precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2680222$B93D8A58-652F-48E6-B751-F492C1587D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2680222$A141742A-A21C-488A-9058-59AEE2F73818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b39bcd33ba55d4227ecae1456f6e1430405ab2d","datavalue":{"value":"programming logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2680222$A679998C-4851-48E8-AC3C-D36D45D80F59","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ec552341788692f266f8ec6f552753da2ccd9181","datavalue":{"value":"Q114666857","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2680222$38A6C6C4-4218-431B-9F3F-82B45E50A715","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":"Q2680222$7C8E7AC6-A19C-4A00-B5AC-C319B724B411","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26a5e574592dba4c9d4690c1b541cf5a3fdd16b2","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2022.106329","type":"string"},"datatype":"url"},"type":"statement","id":"Q2680222$D7AAF2A6-A591-4261-88DC-297104154793","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a67701b95b10a49009be297f283927180734459","datavalue":{"value":"W4297322776","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2680222$F20255DB-5C26-4F19-8812-8004B6427AA8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dfb6ff5311a74b34184b2722f45306b1bbefaa27","datavalue":{"value":{"entity-type":"item","numeric-id":2550288,"id":"Q2550288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680222$A2B6D1BC-4DDA-4130-BA71-50E43E003E8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22744747abceff09286911db8803976ee2b14239","datavalue":{"value":{"entity-type":"item","numeric-id":1145492,"id":"Q1145492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680222$5F27B192-F29D-4586-9EFE-269461E4A9BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67b8a6374b4fc895d89506f759c76e54380f8254","datavalue":{"value":{"entity-type":"item","numeric-id":4144755,"id":"Q4144755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680222$2781D9A0-DAB4-48A3-88AD-86A0F63C52AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd265bdbcf41f2b9982b655d7aaf44e4072217fa","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680222$98FFB597-6103-48E5-8497-97682B8CAEE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680222$9F4E043E-8EB9-4EF3-ADC3-450500F74CB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680222$E79C27F2-F228-42C7-AF0E-1B69A199DEE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78cd7a144b837d0dd6af8bb8af56428253ddf7fb","datavalue":{"value":{"entity-type":"item","numeric-id":1249430,"id":"Q1249430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680222$827CFADB-D2A8-4AD8-AD0E-E8A11F583904","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"481d78a79f18ce6dadeb3fc5099daa3eedefeb4d","datavalue":{"value":{"entity-type":"item","numeric-id":3959405,"id":"Q3959405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2680222$C0FAD068-39B0-4832-8614-9AB7878E597B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d6f0c9a45cd9b491d79df29794e7eb10e19115c3","datavalue":{"value":"10.1016/J.IPL.2022.106329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2680222$D49C0C8D-25A2-40F7-9E3E-0391FB0E38C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59559767141003304d4d46434d3ab270f16aed32","datavalue":{"value":{"entity-type":"item","numeric-id":3541980,"id":"Q3541980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d236eed76df48ee7183414af5112d428d8e0d98","datavalue":{"value":{"amount":"+0.8685613","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":"Q2680222$83AF17AA-8DD6-4764-A4EF-0B9BFC40B24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16ee3c3a23d51f4b4342339ba02f16c06b7d06df","datavalue":{"value":{"entity-type":"item","numeric-id":1346768,"id":"Q1346768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c26db6bf533a951ae30281a4b09251b700e2e50b","datavalue":{"value":{"amount":"+0.86602485","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":"Q2680222$AEED3637-0003-405F-AF5D-22B30A0979EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d0540aa0018170f49a93c924f7ec9a9f0f9f5232","datavalue":{"value":{"entity-type":"item","numeric-id":3971273,"id":"Q3971273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a18f6979dad7250c8bd74ad9b3b90d1c7d68b0d2","datavalue":{"value":{"amount":"+0.856055","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":"Q2680222$08DA6481-FAD3-4537-8F6F-77B75DEB63B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e84f0d69427eb91f0327e845f100e02a88940755","datavalue":{"value":{"entity-type":"item","numeric-id":4484349,"id":"Q4484349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"838e8a22f131016b9ca745f7f54ddb70b0b4fcaa","datavalue":{"value":{"amount":"+0.8539972","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":"Q2680222$310DE3F4-9384-4F4A-AF49-8AB2A3763FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d51c5415f5cc6dd0804ccdacf176a148df37dec","datavalue":{"value":{"entity-type":"item","numeric-id":3783508,"id":"Q3783508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d61d34fb125f988a659324eb804a9d51eb778fc","datavalue":{"value":{"amount":"+0.84861505","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":"Q2680222$C980BA33-D8AE-4E8A-BB31-B393414319DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc10c3dea4be063d7212c1347a7e78e67b16d8c3","datavalue":{"value":{"entity-type":"item","numeric-id":3723689,"id":"Q3723689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d540e68fb7f20029eeb6de907cd51acf539492a2","datavalue":{"value":{"amount":"+0.84858054","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":"Q2680222$21BACD9E-4A44-4A4C-8900-885709E92880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76c1b504be1795bcad419cee0368931403c45d98","datavalue":{"value":{"entity-type":"item","numeric-id":293340,"id":"Q293340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63459ff53e1eef53867c9a2bbbf38e842bda0097","datavalue":{"value":{"amount":"+0.84717536","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":"Q2680222$BB34DE7B-AFE2-4DB7-91FD-E15C3D22F5C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e391b0aa8c6dfe5663003fdb3f9604dbe9836802","datavalue":{"value":{"entity-type":"item","numeric-id":3842954,"id":"Q3842954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1310adb5fd80cd5bb0b0b0b7c5fae67ec0d1c00a","datavalue":{"value":{"amount":"+0.8439049","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":"Q2680222$ABD38D3A-DA75-4BE3-A610-5BF2D82E3009","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc5794521287e125d8c5c860a3c653019afcf71c","datavalue":{"value":{"entity-type":"item","numeric-id":3783513,"id":"Q3783513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1032fa6d09f5633321f6124ac5b6909af91be52","datavalue":{"value":{"amount":"+0.8323869","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":"Q2680222$2E1B2A7E-79AC-4D1E-A78E-CD50C3CA2330","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2680222","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2680222"}}}}}