{"entities":{"Q673907":{"pageid":675756,"ns":120,"title":"Item:Q673907","lastrevid":63721116,"modified":"2026-04-11T15:06:09Z","type":"item","id":"Q673907","labels":{"en":{"language":"en","value":"An experiment with the use of predicate transformers in UNITY"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 985828"}},"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":"Q673907$7EDAB0B0-AC97-41CB-9506-4D2F595D264B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4fc257db5de332186f1336606efb795c2e08d594","datavalue":{"value":{"text":"An experiment with the use of predicate transformers in UNITY","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q673907$2DB2055D-ADB5-447B-8F28-61E587132845","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"392354fb8be6bd5ac450ddcbed9801c2a3daae3b","datavalue":{"value":"0875.68498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673907$26184C2B-F02B-49B5-B976-F4ED9091F9B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e42c870fbe19aefa2d230db72215c6e6d4714bfe","datavalue":{"value":"10.1016/0020-0190(94)00215-K","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673907$A156D76B-0377-429B-BE55-F7516098502E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"624d672ef0a752d61fe193a2ccb5d442b33f2b3c","datavalue":{"value":{"entity-type":"item","numeric-id":673906,"id":"Q673906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673907$7EC6D3B3-5746-4C90-874C-EFA9CA189D34","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":"Q673907$BE95C2E1-30D2-4071-92B5-677DDB8465B2","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":"Q673907$5632FADC-3535-4626-869D-EEE72302DFA5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673907$5D1D7659-5977-4049-B201-DA4F0EF3A441","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"46637c6a6f68631892d115ac5d351102458586fa","datavalue":{"value":"985828","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q673907$237C31D7-7A56-44C9-83A1-1BC7BE25999E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e63305dac19ff8dc197cda884cf509dfbf6b7c4c","datavalue":{"value":"Parallel algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q673907$731DFF7E-DC74-4786-9BA2-1E649FC062FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0991441c70d8fa144c6ed3ae0c8cdc9b88690cdb","datavalue":{"value":"Program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q673907$7352AF4E-F922-4279-973B-7ECE2116FBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f15b74663710ad8a8d3f62cecc33f571b5506227","datavalue":{"value":"Proof methodology","type":"string"},"datatype":"string"},"type":"statement","id":"Q673907$07335D82-B7A1-441B-9412-5D46E1642194","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673907$B73867C1-D1FE-4119-B3B5-D47B90A8D93A","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":"Q673907$83CA2DDB-D1F8-418F-A2B5-3CB9043E77FB","rank":"normal"}],"P223":[{"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":"Q673907$67E2EAF4-35E7-4D86-AADA-BFC1DEFABE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"738ddf5682058bbc805cfd09073fecab0ab74c09","datavalue":{"value":{"entity-type":"item","numeric-id":1903074,"id":"Q1903074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673907$DE971D6D-4FF6-48C1-AFF7-3E5615E3357E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b414fde67a0e9245e2e0e9897886004e2cf5aa8f","datavalue":{"value":{"entity-type":"item","numeric-id":909441,"id":"Q909441"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q673907$94C0FEB2-5EAA-42D8-8532-EFB92DF95728","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72d9491e3e25286579578773354e0969c18f68c","datavalue":{"value":{"entity-type":"item","numeric-id":1903074,"id":"Q1903074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80369cf0f44e71c50a7db6c04140dfde1c2b6f3b","datavalue":{"value":{"amount":"+0.7677211165428162","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":"Q673907$9E83913E-8C5A-4E33-A00C-76C31B129FB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53a506a732087cff0796b7307609577c09fa348b","datavalue":{"value":{"entity-type":"item","numeric-id":673960,"id":"Q673960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3fba21013430487bae4f234d450660979934921","datavalue":{"value":{"amount":"+0.7555811405181885","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":"Q673907$7A55BF4C-94B6-4CF3-BB86-8322125B5E5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7dc4167b85600303bf6a63862a75410108e3edd8","datavalue":{"value":{"entity-type":"item","numeric-id":4470520,"id":"Q4470520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7758eab3cebb0a8090f05b4b1ece076ae0eb2c4a","datavalue":{"value":{"amount":"+0.7407491207122803","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":"Q673907$5CBD5973-B194-4045-87AA-9B38629016B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99d2985847771c188b93a0bf7bcfe82479a6a75a","datavalue":{"value":{"entity-type":"item","numeric-id":1386404,"id":"Q1386404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4404de7bf1bf102edf300e4def5928eb2219b69","datavalue":{"value":{"amount":"+0.7383908629417419","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":"Q673907$E733E43B-7022-41E3-AAC9-7F8E573F2CB8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An experiment with the use of predicate transformers in UNITY","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_experiment_with_the_use_of_predicate_transformers_in_UNITY"}}}}}