{"entities":{"Q2838684":{"pageid":2849404,"ns":120,"title":"Item:Q2838684","lastrevid":83470832,"modified":"2026-05-07T08:12:00Z","type":"item","id":"Q2838684","labels":{"en":{"language":"en","value":"The semantics of \\(wlp\\) and \\(slp\\) of fuzzy imperative programming languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6185930"}},"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":"Q2838684$F3F04115-DD17-4C6E-B5C6-8348C83472C4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d145eac3dba23dd2cf33f2c3deff8188331a6a2a","datavalue":{"value":{"text":"The Semantics of wlp and slp of Fuzzy Imperative Programming Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2838684$C92152FC-3B02-4928-A6AF-05578FCD6FC2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"402b6abd459e5137590995f40446dde21fa43541","datavalue":{"value":"1267.68092","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2838684$D312DF6C-020F-4A6A-BC17-B3077E12B6C1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"15ce6a34c218c05f668145ef1dd6e0a9ce8d2109","datavalue":{"value":"10.1007/978-3-642-22833-9_43","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2838684$0DDA9AE4-862E-40AC-BFD5-01BC4FC5DC05","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff015b27d0b9c7ce776928539bf77e519ae46543","datavalue":{"value":{"entity-type":"item","numeric-id":276400,"id":"Q276400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2838684$6123348A-01F9-4591-9969-D54BAB9AAD7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee079eae855f3dad7c8f979a67720cef98a8cc23","datavalue":{"value":{"entity-type":"item","numeric-id":330998,"id":"Q330998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2838684$0991D76A-0504-490B-B8A9-D182731FE414","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be073b9711096d2482071674dee33fa861b7f153","datavalue":{"value":{"entity-type":"item","numeric-id":533855,"id":"Q533855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2838684$1E597AEB-FA19-42C1-A2CB-F692FEF18FFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"98b2d7d00e091c5e9dd9c5ce86dd92c2e394620c","datavalue":{"value":{"time":"+2013-07-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":"Q2838684$6F9C6A4D-EE20-4141-8EFE-915BA2EE50E8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2838684$2EB789C3-F69D-4E34-9646-7FABA7733E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2838684$66B8C11A-9062-4D09-B816-DDA6EBB07A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2838684$64762A57-7CA3-4157-B097-8436FB59C94D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0426ca983e85bcc93197999afa5532c0dd4f456","datavalue":{"value":"6185930","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2838684$1A63B619-69DE-4627-B29D-ABCCF7D8D404","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"673fa8dbe6f136d21bf1cce64fc12b0a30114a6e","datavalue":{"value":"fuzzy imperative language","type":"string"},"datatype":"string"},"type":"statement","id":"Q2838684$886BDCE0-E428-4915-8358-D35E8EF863E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f2029788b0c2bc966d739e2223be147a923728c4","datavalue":{"value":"the weakest liberal precondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2838684$CDE1C90A-50BF-4D51-BA7A-85705621A8C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0b0b6b40d79c7370f2e4b99764eb5e4d1fcb6c6","datavalue":{"value":"the strongest liberal postcondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q2838684$DFF83093-08C2-4CAD-AA91-A19769B4E796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2838684$4B2F7E59-FE2B-41F6-8A1C-24CB68C5C878","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"88a64ded2ed79aa689a51295c5a0a20acd026f64","datavalue":{"value":{"entity-type":"item","numeric-id":15066,"id":"Q15066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2838684$CCDEDDF9-21D8-4A23-AD81-5BDEF1D33F16","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":"Q2838684$7A0D1320-2544-47BF-BB98-1EEFB1093272","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"103c05978661b6d2b1c4849e492c76a7d89edad2","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22833-9_43","type":"string"},"datatype":"url"},"type":"statement","id":"Q2838684$C23E3DCC-47CB-4179-9648-7EBEE19F3625","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1341f1d91a7886480da4a4b88b237b3644a2470","datavalue":{"value":"W68434786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2838684$4FDD2E2C-E421-4464-A01D-C78BA1384083","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9000bfaa13360a59018860b46e9277f9cf6750d","datavalue":{"value":{"entity-type":"item","numeric-id":2994226,"id":"Q2994226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bdcf0f74c8866bbd9307e546bed5b2495e0869e9","datavalue":{"value":{"amount":"+0.7645467519760132","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":"Q2838684$6824CD6D-8D69-4F06-A3FE-07BCD20373D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6fe94150fa7aea07041ec33a2836bf67ca60e88","datavalue":{"value":{"entity-type":"item","numeric-id":3727361,"id":"Q3727361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"115144e489b63f379e8b1019cf692ce122d9de4a","datavalue":{"value":{"amount":"+0.7536768317222595","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":"Q2838684$CA9CB424-9281-4C53-850E-2575EABE23BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff070296759066b2df222d2166c53475ec1a4f5d","datavalue":{"value":{"entity-type":"item","numeric-id":2099984,"id":"Q2099984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07fde66a1ad23af9228efca24b1be612d4680d63","datavalue":{"value":{"amount":"+0.7443142533302307","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":"Q2838684$7A50D2D7-2E4D-4CBE-9430-9ECC1879848C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ead1ad281ad7a7ad286ff33a8bbf81e1d5c6fc93","datavalue":{"value":{"entity-type":"item","numeric-id":1278884,"id":"Q1278884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"12082aa6d1c9b0cac46c5685a42b810a25b6465d","datavalue":{"value":{"amount":"+0.743726372718811","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":"Q2838684$C9DF88B2-06CC-4925-B95B-F90508078483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"046db96a9736fe5523f1944521b4d47c9ecbf0f3","datavalue":{"value":{"entity-type":"item","numeric-id":3813301,"id":"Q3813301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e48dda20ba007361a1fcb6e764a1ad2ef891675","datavalue":{"value":{"amount":"+0.7392585277557373","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":"Q2838684$53D4CDDF-E6C8-48F3-B7AE-59471D253A2C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The semantics of \\(wlp\\) and \\(slp\\) of fuzzy imperative programming languages","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_semantics_of_%5C(wlp%5C)_and_%5C(slp%5C)_of_fuzzy_imperative_programming_languages"}}}}}