{"entities":{"Q4589613":{"pageid":6619198,"ns":120,"title":"Item:Q4589613","lastrevid":58282335,"modified":"2026-04-04T13:38:21Z","type":"item","id":"Q4589613","labels":{"en":{"language":"en","value":"\u0141ukasiewicz \\(\\mu\\)-calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6805750"}},"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":"Q4589613$0C297606-F6FA-4DFA-9C70-FA6824441849","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ea37da83d62b4b4ebfd5923c3cf09fd531df72a","datavalue":{"value":{"text":"\u0141ukasiewicz \u03bc-calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4589613$5C3204E5-E845-42FD-9B02-8ABD06F602A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ab29b6370bd071ff321e3fb07bc0919ff3b50156","datavalue":{"value":"1380.68281","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589613$4D4FD9B3-C840-4F62-A81B-94B4270B2C94","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6944ad754ceb513d0bf3621a739e1c2938e32954","datavalue":{"value":"10.3233/FI-2017-1472","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589613$335C5F94-2079-4169-B8BB-FD7BE0838F2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"466f8d3b528aff7ffa9f33e27b9f8701a8563e0d","datavalue":{"value":{"entity-type":"item","numeric-id":2289093,"id":"Q2289093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589613$4539C6EA-1CD8-41F6-A50B-F117C81360CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"828c233951e066b486329c606d84f57a51b408d0","datavalue":{"value":{"entity-type":"item","numeric-id":685385,"id":"Q685385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589613$33E6CDCA-FAE1-4BBC-B514-DC3B94AE1878","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4589613$28D22542-BC5D-4C02-8DCD-A2FCC9B8B99F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c851dddc18687fa1af98fb94fafafdff8d946b43","datavalue":{"value":{"time":"+2017-11-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":"Q4589613$29B6E4D4-7581-4188-977B-DFFBD0739375","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5f21f0aa21f42f0753e15d64a1349e8c9b733cf5","datavalue":{"value":"https://arxiv.org/abs/1510.00797","type":"string"},"datatype":"url"},"type":"statement","id":"Q4589613$7300C8C4-A7D6-4EA8-968E-0765BEF35729","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589613$3298E13F-6104-497F-B5A5-6C6B34DFC517","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589613$D177E9F5-F5C0-47A7-BB69-E060870D28A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589613$9F13825D-57E9-40E3-AA7A-211ACF2CC21B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589613$DC514609-0E4C-4674-B062-BB455896DCC8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0423ac7a15d052a102a8a4412f0945006b85bd5a","datavalue":{"value":"6805750","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589613$B98D59E6-43B6-416F-B99C-817AC6588484","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589613$0631F307-5E77-4040-B8D3-3AB827EF2CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"452d8911340c1a867da444564a3d53250b86b5a5","datavalue":{"value":"probabilistic \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589613$90E9E247-B169-4511-A138-9E6083A1F714","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589613$6DF4C4F7-FC27-460B-90A1-96CE0B969A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae95bff71f73f0d716395b2b82d3cfeb995174f9","datavalue":{"value":"PCTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4589613$66924BC5-3657-418D-955F-9D25940BD99F","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":"Q4589613$90F2796B-94AC-457E-B820-3EFDE98C307C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6265ac5811b259fbb1ec3b2e04ce5c6cc6a7856e","datavalue":{"value":"W2185433846","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4589613$3AC38637-8AA2-4097-83E0-CB38A45300A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d48d73dc5dfe8627272d0137e48eaa37182eb5f2","datavalue":{"value":{"entity-type":"item","numeric-id":4992900,"id":"Q4992900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb0a4cf4f166a02331264db1685ad540592133af","datavalue":{"value":{"amount":"+0.9232593178749084","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":"Q4589613$D171F4D3-FD38-48FA-8D3D-38509D42CE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a39b50c5a0cb867a49d126a3f501958277b2791e","datavalue":{"value":{"entity-type":"item","numeric-id":683713,"id":"Q683713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dbd1432a896ec666b048285eaa317308e40532fd","datavalue":{"value":{"amount":"+0.8655806183815002","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":"Q4589613$2E61D080-E1E8-4993-B50B-AF0DEC69B86F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"147c6bfd28f499b09baf6da1add39b17bd630247","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"024b8fd543e66564b82497a483fce22ae3f4f041","datavalue":{"value":{"amount":"+0.8079338073730469","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":"Q4589613$8F2D309D-BEC8-4CA8-8C11-50F355096FD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd84ef57146bbcbaec7861a27239929cf50f467c","datavalue":{"value":{"entity-type":"item","numeric-id":4260713,"id":"Q4260713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de9329e3419f1539c1369b4e6f689b624ef784a8","datavalue":{"value":{"amount":"+0.7948025465011597","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":"Q4589613$96D92164-4DF6-414D-B886-2B00B6CC8062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4da678be00c6bfebc03980ed713f507fda34baa","datavalue":{"value":{"entity-type":"item","numeric-id":2566296,"id":"Q2566296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88d8316c57a6e8eb40094d096365b70aab04936e","datavalue":{"value":{"amount":"+0.7858973741531372","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":"Q4589613$92FCBD27-3CC6-45E8-AA1F-8DC0DFBB654B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4589613","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4589613"}}}}}