{"entities":{"Q5348879":{"pageid":7378453,"ns":120,"title":"Item:Q5348879","lastrevid":52882322,"modified":"2026-01-23T17:27:08Z","type":"item","id":"Q5348879","labels":{"en":{"language":"en","value":"Monadic state: axiomatization and type safety"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6763098"}},"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":"Q5348879$7B3765D6-99C1-494B-AF73-AA47FCB7CC9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d860ba47d344548fda0c47775fbdd27d121610f8","datavalue":{"value":{"text":"Monadic state","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5348879$8BA0E966-6609-40BE-9922-8C6113DA6CE9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2a7f985fb029840a0479d8c5b02bd387e78335e3","datavalue":{"value":"1369.68107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348879$9C6585FE-AD81-4922-9A44-6DA9E5796C15","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a0898eecdefa4f3933cb68e3246bf8255a6b9d5","datavalue":{"value":"10.1145/258948.258970","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348879$7026FFD6-FCE6-42E9-B349-9D296A371DC7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2481684a9f8efec010dd63630750755d16170d8f","datavalue":{"value":{"entity-type":"item","numeric-id":915482,"id":"Q915482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348879$78AC43CE-E776-4CC4-A5BD-15B85A0D223D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c668deb62e077980cf78aeccb37d7ac08f3f3b5","datavalue":{"value":{"entity-type":"item","numeric-id":968363,"id":"Q968363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348879$641C0EBA-E634-4429-921B-270E189257CD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"65598052bc17849d5d5b17079f3cab3406a5824f","datavalue":{"value":{"entity-type":"item","numeric-id":5348859,"id":"Q5348859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5348879$0098D1AE-847F-48B1-B756-FBFD07EDCCF0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f737878d1472b1d610bb956e674a63f02e9cd714","datavalue":{"value":{"time":"+2017-08-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5348879$FE3FCB61-B370-45F4-B7C4-AC564A016009","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348879$EDB9F76A-FDAE-4E1D-9BE7-FDA06B09EFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348879$6F19FC0B-FCB0-4D81-9AA7-F0B29BD8354C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"45f91917ba7149df936e519a0b854a8e1df21d70","datavalue":{"value":"6763098","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348879$B79E056C-5E25-4E94-9C6F-68FDE68CDF8D","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":"Q5348879$A9D670C9-2FFA-446F-B3F3-ED3B0489E8E3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ab27b31342dd9a682a4094240c0b60681b7807d","datavalue":{"value":"https://doi.org/10.1145/258948.258970","type":"string"},"datatype":"url"},"type":"statement","id":"Q5348879$FBEA723F-8DAB-49F4-B536-687979FF8226","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"518ed7e0ae0efb811d11e938055c65f3e8545d78","datavalue":{"value":"W1987421013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5348879$A4631695-B599-4327-AF9C-BEA588918EF8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d376b4aa66f1c4a15e517474f573491b3fff034c","datavalue":{"value":{"entity-type":"item","numeric-id":4222931,"id":"Q4222931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6666d75f30d48787ac55a3500ebe6efaa7a69aa0","datavalue":{"value":{"amount":"+0.785805881023407","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":"Q5348879$95F6411F-4748-49A9-9DE6-07B25450A55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30ff527b1054edab616fa124d0fcd8fd5c3504b5","datavalue":{"value":{"entity-type":"item","numeric-id":1923097,"id":"Q1923097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6666d75f30d48787ac55a3500ebe6efaa7a69aa0","datavalue":{"value":{"amount":"+0.785805881023407","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":"Q5348879$2DE8C798-7A49-4DE4-AEF6-E4C929B53E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b01dce6c46b2a7785a591206a1f29b9164a82c58","datavalue":{"value":{"entity-type":"item","numeric-id":3150208,"id":"Q3150208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"679da476ac0f3113c98b68431cb13abb9f3a307a","datavalue":{"value":{"amount":"+0.7805554270744324","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":"Q5348879$724226A1-1151-4346-870D-BA93836B8E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9542584b242436c5b39a6132700adb87185366c","datavalue":{"value":{"entity-type":"item","numeric-id":4499188,"id":"Q4499188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90d89721ffa04bab94f3c8f7c96988f2aad6768f","datavalue":{"value":{"amount":"+0.7539768218994141","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":"Q5348879$35E331CB-FF82-4837-BF5C-446B8847ACC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e4ed4c15d6c03ceb94d408c50658be61bf5d42a","datavalue":{"value":{"entity-type":"item","numeric-id":5348887,"id":"Q5348887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"679e18c0f50773ce4dfcd2a5d7b12a9c4e57d24f","datavalue":{"value":{"amount":"+0.7509685158729553","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":"Q5348879$A7AA8543-0814-4014-9AC9-84EF514B2C19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5348879","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5348879"}}}}}