{"entities":{"Q673132":{"pageid":674981,"ns":120,"title":"Item:Q673132","lastrevid":63466470,"modified":"2026-04-11T13:21:10Z","type":"item","id":"Q673132","labels":{"en":{"language":"en","value":"Formalizing Dijkstra's predicate transformer wp in weak second-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985390"}},"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":"Q673132$C8654D26-D3AA-4960-95E1-30BFF8A9D522","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dff5115a3d71970d5d3d9c9c1760c6e50a75cb6b","datavalue":{"value":{"text":"Formalizing Dijkstra's predicate transformer wp in weak second-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673132$3489BBB1-F22E-419D-AF94-2843CD705126","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bad4037cc429735465ab707188cf8bb89d770d54","datavalue":{"value":"0873.68033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673132$4C7EA329-3D65-4259-B298-D45C74B2E04F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ba281e177b8f30a27074b656e080c4290dbe4a24","datavalue":{"value":"10.1016/0304-3975(94)00184-K","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673132$49A0D2D2-B35E-4BAF-B318-407E92BAA5AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"299080fcb4d10db6bc9f243afdb0b2f6a4f09785","datavalue":{"value":{"entity-type":"item","numeric-id":246438,"id":"Q246438"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673132$E2FAE20C-91F0-4C1F-856D-5B10AD48D5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3ca5dcdef6b84578f0917bbb5df20cd52efd6352","datavalue":{"value":{"entity-type":"item","numeric-id":206558,"id":"Q206558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673132$4FA0C194-A080-40E7-BDBF-7B0929C27A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"20f21b9d35660dda32f3ad1d3f12ca31aa7431bc","datavalue":{"value":{"entity-type":"item","numeric-id":1098647,"id":"Q1098647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673132$642A51E2-923E-41D1-91E0-6A6BCC4B4606","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673132$033FEB4A-CBE4-4942-BA3B-5D02C2457D3C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00d109e26a7fcb906853bbbede91db350c2b0258","datavalue":{"value":{"time":"+1997-02-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q673132$EE942A6D-7ECD-4FB5-AE3C-033A17CA857D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"517ace4a4f9c45a5475b4a8927a567447dbdb293","datavalue":{"value":"68N99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673132$C44B3E4F-08E1-45DF-9216-6A791505860C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8908d38d297677ec03289fc161550b0d05734daf","datavalue":{"value":"985390","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673132$AF573463-E5F6-4A23-9203-F54E63A0D555","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8af123e3ddc97e1ca6210748ee810504b2307433","datavalue":{"value":"Dijkstra's predicate transformer wp","type":"string"},"datatype":"string"},"type":"statement","id":"Q673132$A958B553-1173-4AA8-8A91-C74F4A6CE89E","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":"Q673132$B18C255C-F106-4385-B41D-02F55BF1FA58","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e707d4bae687b7a2d018b22ef15d22342b7b2c5","datavalue":{"value":{"entity-type":"item","numeric-id":1155605,"id":"Q1155605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673132$7E72FC53-A94E-41BE-A522-F57C3412BE42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ffd403e24d1010da4c87211ba27f91cf64973d","datavalue":{"value":{"entity-type":"item","numeric-id":3878739,"id":"Q3878739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673132$103F8F51-101D-4A2B-92EC-BD743599F555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673132$0B62853A-5629-4883-A891-E8458BEB1C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"226149966044b48001c0682076573b6d91099455","datavalue":{"value":{"entity-type":"item","numeric-id":4773988,"id":"Q4773988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673132$031412CE-E04E-4553-A840-24AD2A7FD76C","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":"Q673132$DB6A14DA-1203-4471-9560-D48244B2602C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35f820e9c2b45f8f035a710ad26c0ff0e5c7ae48","datavalue":{"value":{"entity-type":"item","numeric-id":3221381,"id":"Q3221381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673132$D061F895-5CB7-46F4-9472-4DCB77657075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a13bc772ecfdd433b8c3cdaab064745dd3187f90","datavalue":{"value":{"entity-type":"item","numeric-id":2529330,"id":"Q2529330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673132$CD195F8F-B093-4BEC-BE87-A7C740819354","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":"Q673132$EFA85A4C-BA64-4C31-ABFC-30039C837FA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca699d9eaadc034c8acba58807d8465fe6e2279","datavalue":{"value":{"entity-type":"item","numeric-id":5332215,"id":"Q5332215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673132$C328D429-F0D9-4411-893F-EFA3FD32422A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673132$9667CC16-20E2-4EB5-849C-4C28830B99F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4593585b16ef1a9e3d5acd520f115fabdb54e35","datavalue":{"value":{"entity-type":"item","numeric-id":3197301,"id":"Q3197301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673132$6C8CF157-4201-4BE9-8D45-35D15F73D4B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b67969910583224a3306c0e15d490bca1fb01f3","datavalue":{"value":{"entity-type":"item","numeric-id":3569038,"id":"Q3569038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c19db6387cc0c25b8f440bbedb1160c3bbff3841","datavalue":{"value":{"amount":"+0.85319734","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":"Q673132$065D4606-299F-45E4-917E-A212BD078768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0340189fff53a74cda0fb8d19e4152e312129246","datavalue":{"value":{"entity-type":"item","numeric-id":609763,"id":"Q609763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea551a6783e1aad7ade35e36986be2c86f2eeae7","datavalue":{"value":{"amount":"+0.8522414","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":"Q673132$3974563E-0E77-4DCD-9DAD-C2AD57E5CA8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ed6113f1c0f28cdac379966e65a1421c2d31311","datavalue":{"value":{"entity-type":"item","numeric-id":4202114,"id":"Q4202114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bccb56138c1ae33a3eb9c24b5d680dcf7e9d7302","datavalue":{"value":{"amount":"+0.84980655","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":"Q673132$D9B1D895-09F1-4238-B21C-0F31B884982D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"199518c26887155607064620671f29c885713d7e","datavalue":{"value":{"entity-type":"item","numeric-id":672318,"id":"Q672318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ef5dbf2d5aaf7e8a33c38dd03dc9202e705e3d8","datavalue":{"value":{"amount":"+0.8446164","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":"Q673132$181D8ABE-A689-46E5-B4F1-B00808F486E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fbc6b6de38d8724605081edc1c3127bdc452bc1","datavalue":{"value":{"entity-type":"item","numeric-id":5311250,"id":"Q5311250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3e0098e3c8c2d80157305a56aadbca2f437e640","datavalue":{"value":{"amount":"+0.8438643","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":"Q673132$1A24E080-6D8C-4382-8C98-897558F9E9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c618dbda4a312ee643844d0b4d42c1aa2a042134","datavalue":{"value":{"entity-type":"item","numeric-id":1330446,"id":"Q1330446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed728d9def24e6917c4ef1983053ac54b65178f2","datavalue":{"value":{"amount":"+0.84156346","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":"Q673132$78124C3E-ABC1-4775-8419-7C45455C6F55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2817ff336bf0ca6b2ca7d723dbf4393141167836","datavalue":{"value":{"entity-type":"item","numeric-id":4281666,"id":"Q4281666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed728d9def24e6917c4ef1983053ac54b65178f2","datavalue":{"value":{"amount":"+0.84156346","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":"Q673132$A68499C0-AB0A-4E3F-AE6F-CAB085D6F16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecda4b9f3b9fb9cdc5205cfe3aeb3a793ba49afb","datavalue":{"value":{"entity-type":"item","numeric-id":3079918,"id":"Q3079918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dc0e5f4c9d85152a889185b408571799aed0f89","datavalue":{"value":{"amount":"+0.84094524","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":"Q673132$B1FE41EB-6B30-42CE-AA08-C273B539726F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07cf766789bd770230e4ccfc7d996aad8f04d818","datavalue":{"value":{"entity-type":"item","numeric-id":797986,"id":"Q797986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f78ac5fe0dfa5fa113518cd7b56fe200485fe17c","datavalue":{"value":{"amount":"+0.8382238","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":"Q673132$AE55E747-C336-4F92-87DD-9F8D1419059D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b534b8d3f7747de19bcde71e2f661f5167f6c17b","datavalue":{"value":{"entity-type":"item","numeric-id":4421871,"id":"Q4421871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8444e3a764d6144e79cef2873af1fd0d9a650a83","datavalue":{"value":{"amount":"+0.8371584","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":"Q673132$E45F9AE6-0162-4A1F-AFD8-E389CFD08645","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing Dijkstra's predicate transformer wp in weak second-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalizing_Dijkstra%27s_predicate_transformer_wp_in_weak_second-order_logic"}}}}}