{"entities":{"Q683713":{"pageid":685562,"ns":120,"title":"Item:Q683713","lastrevid":42640072,"modified":"2025-07-07T14:37:25Z","type":"item","id":"Q683713","labels":{"en":{"language":"en","value":"Solving \u0141ukasiewicz \\(\\mu\\)-terms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6836522"}},"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":"Q683713$D4D3243D-B2B8-46B3-B5ED-A4BAB79801C8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ef7843ecd3ff07f7f3facc84683714bf8a70cf48","datavalue":{"value":{"text":"Solving \u0141ukasiewicz \\(\\mu\\)-terms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q683713$9E0F350C-2AC4-418A-BE4F-CC66EA6B8C8C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b91cdb665da60591b8086cae584b4aedfc0fe52b","datavalue":{"value":"1387.68165","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683713$59134556-1A59-4D85-8156-BB1D0B97FCA5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03146bb8e17b3d6cc14817a371f8c48ba30cf452","datavalue":{"value":{"entity-type":"item","numeric-id":624377,"id":"Q624377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683713$9501D598-2139-42C5-8714-6A6A860C7E7D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683713$87F1C503-EB3B-4910-819C-8F3CEC146C51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"696972687f2f7c2b21703a3524899b0c6104fe99","datavalue":{"value":{"time":"+2018-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q683713$9B294348-AD9F-43FA-8C7E-9680877C4A8F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"993b8ee4a533e218cf1f00f01da8f967cabbb58a","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/59038471/LukasiewiczTerms.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q683713$04FC6849-70AA-48F4-BC74-F4ED6327FFA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683713$50A5C1EC-8C71-45F2-AE12-57910CC7DF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683713$BA52E088-9C8B-4935-A8A7-DCAF30E8D72D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32114b652b8fc0d1adc516a8aae78eb8c62d11c4","datavalue":{"value":"6836522","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683713$76BE6A73-109E-4D9E-BBAF-E649E7016229","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9a7b0cf17169865b15e8c9d7014c24bafb8410c","datavalue":{"value":"fixed points","type":"string"},"datatype":"string"},"type":"statement","id":"Q683713$AB8EC629-D643-40AF-B6D5-9B368F6FCBC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"452d8911340c1a867da444564a3d53250b86b5a5","datavalue":{"value":"probabilistic \\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q683713$E5882E7B-7AFC-4B07-B4BA-4D0B88F88FFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d41a4145b62c356a3df728fe54b0d6536791222","datavalue":{"value":"algorithm for evaluating \\(\\mu\\)-terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q683713$BA0116E4-4D14-4E61-B82B-A2CE8EF88BC6","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":"Q683713$6D752B63-31C8-4DA7-A4BE-381A188DEF63","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abc0ef7475879e03f05f90dbd5a9781987129bb3","datavalue":{"value":"W2767521804","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683713$8361C546-0BEB-423A-A4FE-D448A39F901F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0303b1abbd4ea24e173052e3ce10a404318bd898","datavalue":{"value":{"entity-type":"item","numeric-id":4589613,"id":"Q4589613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683713$55570F9A-D9BF-4031-99B1-C1E574E3043C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"64094cc4201a6201db371ef94b6e6db97b1ecea8","datavalue":{"value":{"entity-type":"item","numeric-id":5926539,"id":"Q5926539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683713$08DDFD8C-D2C3-4799-B5C9-21DD6D6E0C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3bc6dfc633db1b802a1487f9064ea79563c34bf","datavalue":{"value":{"entity-type":"item","numeric-id":4046035,"id":"Q4046035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683713$10E8CA44-C3E7-4FFB-9E90-9E7AA49C8060","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53dc06005109d2fd12fa28c8abe27376ad494b20","datavalue":{"value":{"entity-type":"item","numeric-id":5277733,"id":"Q5277733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683713$C82A9D27-937C-484B-9C16-BE0600A3D8CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f5a45904f81b6a39ede475e2e86ab18eb54c04e","datavalue":{"value":{"entity-type":"item","numeric-id":801893,"id":"Q801893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683713$9BF83E65-B8AE-4947-8E13-9965D0E3102F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34b49d0ae3d1a5223d074e40a39197e2b83ac80","datavalue":{"value":{"entity-type":"item","numeric-id":633088,"id":"Q633088"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683713$ACCE39C7-6017-4E01-B09D-CCE52152CC7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d0543f1e8c81032cff0b481c190929fef1b006bd","datavalue":{"value":{"entity-type":"item","numeric-id":4406533,"id":"Q4406533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683713$9495ACCB-F7D6-48B9-8B6E-B423C242F04A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a969d4ac0387643f87e037e42dffd6e635bc6c86","datavalue":{"value":{"entity-type":"item","numeric-id":5578437,"id":"Q5578437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q683713$256B4FA6-B6FF-4AA6-AC3C-AAFC9E2B6BC7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e856ee5a2084eb6d7788592e511503bbb06cc5e8","datavalue":{"value":"10.1016/J.TCS.2017.11.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q683713$E2924691-9524-4A2C-997C-E2407A1149A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b55fd76bee2115b9acad69793872c6200e19ef8","datavalue":{"value":{"entity-type":"item","numeric-id":4589613,"id":"Q4589613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"032b8377521efd93ebc96f3f61f753d853b82f0d","datavalue":{"value":{"amount":"+0.83753633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q683713$075DCE0D-51ED-4573-AF28-D57D32746A16","rank":"normal"},{"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":"032b8377521efd93ebc96f3f61f753d853b82f0d","datavalue":{"value":{"amount":"+0.83753633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q683713$DFB4C0BF-EB12-465A-A9A6-899DE9AC8D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41f38484c236720acd35c7d56602b8337a0b024d","datavalue":{"value":{"entity-type":"item","numeric-id":3466636,"id":"Q3466636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f8622b3912ee6bb423435dba4621a037b7004e","datavalue":{"value":{"amount":"+0.8154788","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q683713$FD4D8BEB-19FC-4033-B4D3-5094AD56DCF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e89e99057c2fa0ddfdf04916d24e9299a23119c6","datavalue":{"value":{"entity-type":"item","numeric-id":524752,"id":"Q524752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1451d0adba630da724a346af3feaccece1323f4c","datavalue":{"value":{"amount":"+0.81540847","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q683713$52AA08A7-628C-4DC2-9A14-CC0F460A7C9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"326bd3f64fe345845301aabee49d9981a1810ef4","datavalue":{"value":{"entity-type":"item","numeric-id":828181,"id":"Q828181"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cef47b83286717e034e88ea6b90548484d2ff69c","datavalue":{"value":{"amount":"+0.81481236","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q683713$91F9C83E-46BD-4624-809B-97D1FADB88BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4bdce94a76b86406e68bbb76529096962d48b79","datavalue":{"value":{"entity-type":"item","numeric-id":616690,"id":"Q616690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2564d7f78cd742e8bb013687cffa0cb8b160832","datavalue":{"value":{"amount":"+0.814603","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q683713$3B209D26-2C39-4ED7-8CCC-30BBA2302640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6955a9362b72c0b83c79caae78f3c8db90f3a9ca","datavalue":{"value":{"entity-type":"item","numeric-id":5408823,"id":"Q5408823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"159d7b371a9ad61cef165462e9784f25f53893ac","datavalue":{"value":{"amount":"+0.8145148","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q683713$1EA563BE-9E2F-4FE7-9302-1E0F9BB642B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91fa857d7d65a82c4442ce74d6c195f2bbf0168e","datavalue":{"value":{"entity-type":"item","numeric-id":3808640,"id":"Q3808640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a72713c390b02e5ba7afb86978d2ec49331b69bd","datavalue":{"value":{"amount":"+0.8138262","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q683713$E0026877-753D-4F88-995C-9EBB5BDBDC3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15b2ae9834f2de87bc2d6c42838f97d7e6fd9bb1","datavalue":{"value":{"entity-type":"item","numeric-id":3343386,"id":"Q3343386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3ab281cdb6b5e7e736456147f99c69ebbbb9cd8","datavalue":{"value":{"amount":"+0.8122263","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q683713$6B601CE8-2009-4269-A19F-B3BE945A5B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d827c7dfb93710836d2b8d588bd4b741a660de43","datavalue":{"value":{"entity-type":"item","numeric-id":2211144,"id":"Q2211144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c82498d666939aa9691de2e68347233674ee8d65","datavalue":{"value":{"amount":"+0.8114104","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q683713$41E5C247-E5B3-4395-8E0D-9420895A60D5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:683713","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:683713"}}}}}