{"entities":{"Q1346686":{"pageid":1357425,"ns":120,"title":"Item:Q1346686","lastrevid":70208523,"modified":"2026-04-13T13:10:30Z","type":"item","id":"Q1346686","labels":{"en":{"language":"en","value":"Substitution: A formal methods case study using monads and transformations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 741466"}},"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":"Q1346686$0B464E66-19FC-4506-89FA-9BB8CFC888D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a3f28e4c5b78b4fe39b2b43270a944762a0211f8","datavalue":{"value":{"text":"Substitution: A formal methods case study using monads and transformations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1346686$6E1F2FFB-4E83-4E3D-A8D8-D7D5B7837223","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7cb8f247c35f60852184517d74879ae4a3f3d772","datavalue":{"value":"0830.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346686$3F7B11F2-C672-4F6A-92AB-C2053676952A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f316c48408ba4e935ba537f54293e2f2d051396a","datavalue":{"value":"10.1016/0167-6423(94)00022-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346686$DE85CE88-5678-489B-8963-BF0DC697D026","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"24d2f620d2974ebdd1015229debd06431f4c7398","datavalue":{"value":{"entity-type":"item","numeric-id":1294575,"id":"Q1294575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346686$313C7A06-B7D0-46A0-8ED7-5E0031488ABD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1346686$CDAE32D0-D754-4834-B897-6822B2AE2E26","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c22fff5067af428041487b6a008ee6b0a5e2859","datavalue":{"value":{"time":"+1995-04-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1346686$1B87FA0B-34B8-4DBB-AD19-A2ECF6114BFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346686$A09CD19A-CADB-4303-BFA8-3B0546286639","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346686$9BE74B63-B2EF-4598-A092-26173645FE2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346686$8E4FAD6C-A36D-4E01-8E22-772D10D81512","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f84fc3d48b387f19c6193ec422c5f26aa839a2ca","datavalue":{"value":"741466","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346686$421F0E37-8BBF-4ACD-BD96-9138C7E02FCC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"765ab1d5379755eb3e4e5d30a0f6d93a0512b558","datavalue":{"value":"substitution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346686$F0A8D792-7A6C-456C-9A6D-8754F3DACC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1539cad168588ec71d6badbaa5969a8016f6fb1c","datavalue":{"value":"de Bruijn representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1346686$62077FC5-FF66-45FD-9C1F-779FB4693BED","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":"Q1346686$AE5524B2-11D9-4335-90B2-4FD1E55829B2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dad10985de37f63349e0b267b728a25955abc186","datavalue":{"value":"https://doi.org/10.1016/0167-6423(94)00022-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q1346686$ED9E2B10-4901-4F4C-AAA8-2C7C0DC93675","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b985b09aafd01150c8530dfb6a14dbd327feb05a","datavalue":{"value":"W1975911435","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1346686$C0A96D5E-8B03-455D-809A-27AAA7D566D6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e73f6cc00e97748915d5a8692d7aa153006d556","datavalue":{"value":{"entity-type":"item","numeric-id":5044745,"id":"Q5044745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b84b01d316a0132704d7ae3da86b33fffb4a75c","datavalue":{"value":{"amount":"+0.9089796543121338","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":"Q1346686$D5C2A9D6-5996-4803-A6B0-2C049CC5424B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89d7908f7cf8e9df9b08b8ceb17b68df2a197db4","datavalue":{"value":{"entity-type":"item","numeric-id":757075,"id":"Q757075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31bcb4ba7d1c3bd3b56fb7e3d38c704eede005d6","datavalue":{"value":{"amount":"+0.7490874528884888","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":"Q1346686$7128F227-311D-4563-A385-E7E3F3280805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8ec66fa9b1c1b00857d6d8adde14a14b665361d","datavalue":{"value":{"entity-type":"item","numeric-id":1854398,"id":"Q1854398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db6372b94646374492a28426e4e077213dd28f1","datavalue":{"value":{"amount":"+0.7393808960914612","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":"Q1346686$D6D83B3F-686B-45A3-B3FF-A503DF500F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33f3cbfe9a154a5474bc0d804b28fd86d886e713","datavalue":{"value":{"entity-type":"item","numeric-id":4945244,"id":"Q4945244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"18650095a499b9349381fd352d5699b23e3081b4","datavalue":{"value":{"amount":"+0.7358995676040649","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":"Q1346686$A6D410EF-532A-4D2E-A5B6-77831FBE64E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1d5863fbd3c6bdb2972e7052f02e2ba1fcfe142","datavalue":{"value":{"entity-type":"item","numeric-id":3623933,"id":"Q3623933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c39ae798452cd1a2a6c3d1f09cc49e43ab0a31c","datavalue":{"value":{"amount":"+0.7341929078102112","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":"Q1346686$96E1C814-36B3-492B-BBE9-CDF8B110D74B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Substitution: A formal methods case study using monads and transformations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Substitution:_A_formal_methods_case_study_using_monads_and_transformations"}}}}}