{"entities":{"Q690918":{"pageid":692767,"ns":120,"title":"Item:Q690918","lastrevid":57123744,"modified":"2026-03-26T17:13:06Z","type":"item","id":"Q690918","labels":{"en":{"language":"en","value":"\\(L\\)-fuzzy strongest postcondition predicate transformers as \\(L\\)-idempotent linear or affine operators between semimodules of monotonic predicates"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6111165"}},"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":"Q690918$F5CFE1A2-56FB-49D0-8F16-EB9BCF318EE0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8f09b6074940d99d7d112df0467905452b394bf","datavalue":{"value":{"text":"\\(L\\)-fuzzy strongest postcondition predicate transformers as \\(L\\)-idempotent linear or affine operators between semimodules of monotonic predicates","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q690918$85485BF6-3617-40F0-87BB-5A8D1C4BBC30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d3345540ed3e1298da5d7195aff0851988f13d1b","datavalue":{"value":"1252.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690918$1909A3C4-3950-4138-B13E-CA8F7D023ABB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"784d2dc06e2a3bb008e6a3a15801a0f0231d6262","datavalue":{"value":{"entity-type":"item","numeric-id":65161,"id":"Q65161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690918$CA0713A2-C8C6-4963-945A-D3820AB2273C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"dd1dd78b610951b080ce7917880823f8267fcfa0","datavalue":{"value":{"time":"+2012-11-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q690918$91885B13-6881-44A8-92B6-6FE00F3C0BC1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"16db534721fdc3fbf47a4fa1df7377172c89cb6c","datavalue":{"value":"https://arxiv.org/abs/1209.5224","type":"string"},"datatype":"url"},"type":"statement","id":"Q690918$A3E95B97-7741-4E9B-87BC-7F88D7344D61","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690918$1A77A34A-45FC-4A5D-ABBE-E40AE089EBFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690918$C5A86B1C-A6BB-41BF-9E63-157299742FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690918$C9F2C64B-C3E6-4CED-8B1B-14B067E72759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690918$EC1C8AD4-2194-4745-BA9C-E808EFCD2170","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"88a5afda23918eec10bb86716105c6a9853547c6","datavalue":{"value":"6111165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690918$EE0794FC-1FAE-4E20-B822-FACDE6640D4D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ec3473c95d695c6361c468c6a3438369ca682a94","datavalue":{"value":"monotonic predicate","type":"string"},"datatype":"string"},"type":"statement","id":"Q690918$CB3D6DA1-1C44-4560-8AD5-E721B9FFB684","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb80064ca2fa95faa6b853920ad7922be2c2376d","datavalue":{"value":"strongest postcondition","type":"string"},"datatype":"string"},"type":"statement","id":"Q690918$73D16909-EBAD-455F-9E0B-BEB4F7CC1FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef2cb2d75fd494c993e5db62fc2c0be9c8d5a0e8","datavalue":{"value":"linear operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q690918$B71CA26D-6C98-4673-A164-DAFF4F633E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2a7004748d6b3ff609d3467528575bd1253afb6","datavalue":{"value":"idempotent semimodule","type":"string"},"datatype":"string"},"type":"statement","id":"Q690918$C56E215F-AD17-496F-8E8F-F7F07B8AC52F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da41016619febd0123b37e371a3bc8e1d7b0bb67","datavalue":{"value":{"entity-type":"item","numeric-id":392734,"id":"Q392734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690918$BB751B40-DA2F-4898-9F92-0369EA073735","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e92ad84072131137eaa27c5ec1c4b5559c97a58","datavalue":{"value":{"entity-type":"item","numeric-id":1626690,"id":"Q1626690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690918$A5448A41-F447-4020-9D81-D526CF509A08","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":"Q690918$F51987DF-316C-477F-9209-6EE5785CF5FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7b7ac1366eef45e99dec3dba91522336f03d3af0","datavalue":{"value":"W2003472066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690918$1E026489-BB18-4204-A956-068A5022B849","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f048f1232cdd90fa66164e6dd3d52f5efb64df","datavalue":{"value":{"entity-type":"item","numeric-id":4257592,"id":"Q4257592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690918$6E6ACBE6-CC44-44D2-A09C-74A52728CFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c8bc78f431ccae9a857e05e249ada0d94b22ca7","datavalue":{"value":{"entity-type":"item","numeric-id":5387443,"id":"Q5387443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690918$91AB5BB6-FA34-4472-A78E-B66EBB65CB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb06ea016f5ab0af60dd5dd94c1465024d16f08d","datavalue":{"value":{"entity-type":"item","numeric-id":2838684,"id":"Q2838684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690918$31EB39AA-4597-457F-89AF-D584A2DB464A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690918$8CEDC214-6933-4A9B-96D4-06B040AAAC5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08f4b1b9af51a067f8105b73097e430c6f1772c5","datavalue":{"value":{"entity-type":"item","numeric-id":4738221,"id":"Q4738221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690918$E3A3DDDC-486A-478C-AED7-88A5B97AB651","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c3f4bca95dfad88e201a6e530cd8a80b856a8cb","datavalue":{"value":{"entity-type":"item","numeric-id":419038,"id":"Q419038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690918$3944CEC0-C63B-48AA-AC7F-A64E4FD2E682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3a3815d09d256182bcf9f5cf34a359fb93d0d6b","datavalue":{"value":{"entity-type":"item","numeric-id":4382500,"id":"Q4382500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690918$075EFC3E-9064-4FB5-85F1-443C1CD7723A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690918$2297C51A-2A7A-490E-B6C8-DDE5932133A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2252e0d4911d8949664bc26fb8c31876ba3f4db8","datavalue":{"value":{"entity-type":"item","numeric-id":4434610,"id":"Q4434610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690918$560F2E83-0B91-4CAA-862D-58A2C4E753F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08d5cccd67e7b48096f57124e79de851b52f3ce8","datavalue":{"value":{"entity-type":"item","numeric-id":4218936,"id":"Q4218936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690918$57EF7EA0-CB77-4865-AAC8-CFE6A1D0899E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdf4ccdcc70e71d35fd15b371cfa64eecb3f47f9","datavalue":{"value":{"entity-type":"item","numeric-id":4215784,"id":"Q4215784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690918$D6B3879B-4104-447C-81D3-1A7544084312","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a94b74b835b7a0d7dcac160919c22b9c9da0a202","datavalue":{"value":{"entity-type":"item","numeric-id":1424351,"id":"Q1424351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690918$B3C2FE55-D430-4E51-BA10-CCC1F1AC4B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d968bebaeb1707678ac6c8fc803046e1515b0a","datavalue":{"value":{"entity-type":"item","numeric-id":2643606,"id":"Q2643606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690918$348A1E31-59F8-4A65-9EF6-925D8123A6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"32f6b03e9a60aa5e8108749308e4e20a177824af","datavalue":{"value":{"entity-type":"item","numeric-id":766148,"id":"Q766148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690918$43D900EB-5D89-4323-97F8-8FF05D2C3DC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78f471500a7a034f2c2898e4b6a5dba625629815","datavalue":{"value":{"entity-type":"item","numeric-id":402834,"id":"Q402834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690918$3983E0F6-0EDB-4F19-B365-B4FB5D01873D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690918$256C1B10-EB97-43C8-8DF7-3D8835B1B109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba25b99f0206c694151bb74ae540f23ba6d2acf0","datavalue":{"value":{"entity-type":"item","numeric-id":4347854,"id":"Q4347854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q690918$6B55F90A-07F8-4636-9FC8-EA50C4350513","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c3b625b428f77028104a6181d5f40211a640672c","datavalue":{"value":"10.1016/J.FSS.2012.06.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q690918$1404C3BC-3B3A-4F4B-8A35-DDF32AF378EB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a48fc8bdba1b6fecf6733fb521fee74f7d965d2a","datavalue":{"value":{"entity-type":"item","numeric-id":4899427,"id":"Q4899427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"66c44488f54c1ea7cce1feb24e033c575e79ba2d","datavalue":{"value":{"amount":"+0.7833358645439148","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":"Q690918$F9E344C6-F227-4BB7-80E8-126BB6244E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96a0bc0242584d33bfab3291946574035e5ebc7c","datavalue":{"value":{"entity-type":"item","numeric-id":5240889,"id":"Q5240889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"148e68326693918f86920f09ceea673f82cedef5","datavalue":{"value":{"amount":"+0.6995983123779297","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":"Q690918$28117535-3469-4AFF-B3DE-EAB973751BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0fba5669ba8b698c6048997219987457af195b04","datavalue":{"value":{"entity-type":"item","numeric-id":5399362,"id":"Q5399362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc200220479c5be9fa13d18fb99d39409c91d1a1","datavalue":{"value":{"amount":"+0.6995100378990173","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":"Q690918$E0268BA0-BEEB-4A0E-95A8-F6306DD3D98D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5463668c56cd3c5a126afefb2081e05e53379b0a","datavalue":{"value":{"entity-type":"item","numeric-id":402834,"id":"Q402834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ca5df6d90bdfd12a83637727c5e868e32548a99","datavalue":{"value":{"amount":"+0.6984313130378723","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":"Q690918$EF3A7702-C2A7-4957-918D-05AD696AFD37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43f9797894abd35dc841b50e2f2a8a358d6007a0","datavalue":{"value":{"entity-type":"item","numeric-id":2968373,"id":"Q2968373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"929d5e021e78334afb801b5f72fea7b4a4051c3d","datavalue":{"value":{"amount":"+0.69765704870224","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":"Q690918$A72DFC64-5BE2-4186-AA11-32FE385351B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:690918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:690918"}}}}}