{"entities":{"Q3135115":{"pageid":3145831,"ns":120,"title":"Item:Q3135115","lastrevid":47189743,"modified":"2025-12-31T23:11:16Z","type":"item","id":"Q3135115","labels":{"en":{"language":"en","value":"Predicate Transformer Semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 421062"}},"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":"Q3135115$298E5547-83FE-4255-85C6-6942135686A1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4b78509bb30d47d400b19dcdf0da393999e8c71c","datavalue":{"value":{"text":"Predicate Transformer Semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3135115$9B6CCA54-BBFB-44A2-8938-7D50D548E7D7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ff892154181a30dbd833ab25023c21896bcccf28","datavalue":{"value":"0784.68003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3135115$A40B89BC-6D43-4D88-97A8-BF60E84ADEA4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7b9b5f46fd630423019672251d99c832677fac9a","datavalue":{"value":"10.1017/CBO9780511569821","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3135115$7281E051-84AB-4E80-A9E4-37BC6986CEC8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5d18ba8ec4bb8412bd8087766759fd0efac9ff0b","datavalue":{"value":{"time":"+1993-09-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3135115$AC2468EA-5F14-48BA-9197-112EF3B6A9C1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3135115$FCADF368-9312-4D8B-83B6-2E4E1A92A40E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3135115$A59B580D-1B73-4368-AAFA-0A5AA08E8150","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9999005018a5f663d942576865981f299f2781f","datavalue":{"value":"18C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3135115$81103921-BA9A-47E3-9EC6-98FEB44267EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"80931d057452ecc032f2d5088e7a41d514d934e3","datavalue":{"value":"18B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3135115$17EB17E2-C06B-48BB-83B7-1845B9E42D2D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c3a0d5a6783c3777439913dd80f2cb41fcda1a1","datavalue":{"value":"421062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3135115$0C0F3EE9-3A5A-4768-AE71-9F9979A80CE6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e68e1713f44da4faf1ccdcac092fdee9228f85a","datavalue":{"value":"Elgot iteration","type":"string"},"datatype":"string"},"type":"statement","id":"Q3135115$60A2856E-BF05-49CD-AF45-8C496945AFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfa7f72505b2ce18245591d6ee85475d4b2f9fdf","datavalue":{"value":"programming semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3135115$02B5DF6C-041B-4DC5-8918-22AB86D827DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9bb6572aeb6e7b124559f28cbf38a09ef3fbb183","datavalue":{"value":"Floyd-Hoare axiom systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3135115$306E5A24-459E-430C-83DA-30026DDF457D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c8c45412aae6da2e39a5416e89ed7d331972bade","datavalue":{"value":"fixed point operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3135115$40166489-7777-45BC-BF17-567E21E7E3EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b66e12b7c00fff8267ef53d3f26b5632b021c499","datavalue":{"value":"cocartesian categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3135115$D6727E2D-B359-4F33-AAC8-E501649D6FDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8e03fb50b5dd4a1ff2a8b570f679d1d9fc7e372e","datavalue":{"value":"Boolean categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3135115$B8406A46-5A02-4CB3-B0A5-B2346EEB88C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa0b3d84987120e6a0cb256462f88e22a3335d28","datavalue":{"value":{"entity-type":"item","numeric-id":791318,"id":"Q791318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3135115$FC9309A1-BB5A-4946-BD5A-12FF3B9E74C0","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":"Q3135115$BCC11E6F-AABC-44A8-A2AE-1E7BE64CA6C2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a323e73dcb33ac5f82b0464b7f7210bbea5ae237","datavalue":{"value":"https://doi.org/10.1017/cbo9780511569821","type":"string"},"datatype":"url"},"type":"statement","id":"Q3135115$0E1AB6E7-5338-4552-9AA6-B69D989A7414","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"47069c1df4f791ff74d59431b97e45dd8177dafb","datavalue":{"value":"W1502663392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3135115$6B70F8F1-1F49-43E6-826A-3CCC67DC8B85","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07a88b0f27ee9be43ba0164aa75de7214897557","datavalue":{"value":{"entity-type":"item","numeric-id":4692630,"id":"Q4692630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b80521d66b7583c3d34b79a75061af6c36e0e4d9","datavalue":{"value":{"amount":"+0.780296266078949","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3135115$8FD163D3-7B27-4441-AEC8-F33DA653962E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5be3b04bb90ac64eb645840d6b517c16aa38d99b","datavalue":{"value":{"entity-type":"item","numeric-id":4725716,"id":"Q4725716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c8578828f87cae3c0200df4fede8c2eea4c4c7","datavalue":{"value":{"amount":"+0.7604858875274658","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3135115$40C9286F-1EC6-4680-9B44-E8EAEFB5DD04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fce6f8ad6b8c888ba1179087486e580713294fa","datavalue":{"value":{"entity-type":"item","numeric-id":3735051,"id":"Q3735051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26907d32618398bd964e8a21d30af563f87942da","datavalue":{"value":{"amount":"+0.7494759559631348","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3135115$DA165D32-3553-4690-8F48-3A72B35BF1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ed79a8a3a12b6c6ae0aa4c8480186364a76f503","datavalue":{"value":{"entity-type":"item","numeric-id":1093363,"id":"Q1093363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"673f71df6935775de3709e93be626be46e79840c","datavalue":{"value":{"amount":"+0.7462593913078308","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3135115$641C9058-13D9-4DAB-A415-845AF45E1730","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9910f779e110a2cc3715c129b01a2ff86df4d43b","datavalue":{"value":{"entity-type":"item","numeric-id":1271111,"id":"Q1271111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5aedc0481cf72db5baa7e48a4b931fdbbff6eb5","datavalue":{"value":{"amount":"+0.7308154702186584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3135115$642F6C55-BBA4-44E9-AF95-9BF4829EB41B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3135115","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3135115"}}}}}