{"entities":{"Q2353634":{"pageid":2364377,"ns":120,"title":"Item:Q2353634","lastrevid":57869343,"modified":"2026-04-02T21:21:55Z","type":"item","id":"Q2353634","labels":{"en":{"language":"en","value":"On the greatest solution of equations in \\(\\mathrm{CLL}_R\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6458954"}},"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":"Q2353634$0B253BC0-7855-4F3F-9B55-95580B21FEFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5968d5be7ffbfb9299f61ca9c191d2d72951b3c9","datavalue":{"value":{"text":"On the greatest solution of equations in \\(\\mathrm{CLL}_R\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2353634$ACF4D0C7-93F4-45A1-8AC8-20F3F76FEE0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18d7797a0254489c12f7e100ddc5080dcafa006e","datavalue":{"value":"1332.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353634$E0008559-49E8-425D-A3E6-9F7A84AE51BC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"89a4c0e1dab9edd016de4a57750de96b43a26c85","datavalue":{"value":{"entity-type":"item","numeric-id":2055959,"id":"Q2055959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353634$A6557588-2000-4805-89A2-F747F267B951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4932014dfef1f5b63b3c54cf943bfa1796239d0d","datavalue":{"value":{"entity-type":"item","numeric-id":237991,"id":"Q237991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353634$F13B84BE-0F48-4FCC-AC1C-A2E258F514E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58d4c6adbebf972f0206b818b72b28eb7ad36031","datavalue":{"value":{"entity-type":"item","numeric-id":479807,"id":"Q479807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353634$50AE3EDA-F5C5-4EF4-9407-D6BB862A0308","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353634$97CBBB68-C5AC-4194-91B3-0847AF365DEB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3d4604287d09c54eee9e2f817efbc91cbdb51d79","datavalue":{"value":{"time":"+2015-07-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2353634$0A4111BA-5355-4684-B4A9-AF8AF74FF127","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0e32a8f6ad690e3d89ef02fd9b41e1652e182a5c","datavalue":{"value":"https://arxiv.org/abs/1502.03629","type":"string"},"datatype":"url"},"type":"statement","id":"Q2353634$9CCBD39D-8EB8-4210-A2DD-29D843095FA0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353634$1F6889DD-C844-49C1-A79E-81A0D98F07F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353634$434DBA67-DF3C-4771-9FFB-764B3037AEDA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"10b48755e1d270f79f81f95bca209a97c5b49aa8","datavalue":{"value":"6458954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353634$BC9C3E71-E7E4-48C7-8166-BB38D23A6339","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2353634$71EC4D6C-0179-4743-91F6-E95E2EFE1B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be858ead6ee63ba1dae8f54b892de58613501b01","datavalue":{"value":"logic-labelled transition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q2353634$F5281953-B700-4486-8BCA-D80D0B3EDB98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c2e88f1ff3493066f8b573f5861a8c1effa7d8","datavalue":{"value":"process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q2353634$F8D6430C-F3D4-4ABE-8749-6E69BCBCC794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47511de611e7ca7c7f052290389ebfdae4c32892","datavalue":{"value":"specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2353634$113FC750-70A5-42E2-A97E-100AEA496D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bf1cff69908c7bcc58c212942738d9d0592db8d","datavalue":{"value":"solution of equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2353634$8EE47ED5-A1A6-458A-B606-4C8D969A15F4","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":"Q2353634$6B320EE1-1726-44E9-9F8B-A3D2DCB59665","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d87404bd26f792238343ee88efe8bd74885eaf32","datavalue":{"value":"W317546781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353634$90B93F62-5781-482B-9686-098ED1898353","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef2460002d0adbe8417dfc0562899200f110b197","datavalue":{"value":{"entity-type":"item","numeric-id":4371690,"id":"Q4371690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353634$89301A1A-AA29-4756-9570-68D9B1CB14F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a534936fd0e514cb6f784f74c0bb78f8cb07d1f","datavalue":{"value":{"entity-type":"item","numeric-id":875513,"id":"Q875513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353634$C14CEB6B-51D9-4949-8B06-062282D88B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"283289231ead790315041364c2b7b2fb0fd56492","datavalue":{"value":{"entity-type":"item","numeric-id":988555,"id":"Q988555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353634$E6EACC49-F1FB-4B05-B03C-06A81FC57020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04b89c35c7e7a60f330d5e75264364028412b99e","datavalue":{"value":{"entity-type":"item","numeric-id":549200,"id":"Q549200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353634$68F241BA-144E-4922-B9D4-017BDB5AEF5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2353634$3B99548B-9EEC-4A3F-A069-BF4240574D2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"537d27971199da6e93a94da77d72f62bf283393b","datavalue":{"value":"10.1016/J.IPL.2015.05.008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2353634$B6EAEA85-BBB9-4404-9D08-A67C18D5C37A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f42e7838d2a090150c26a588bc7e7673c6fe88b","datavalue":{"value":{"entity-type":"item","numeric-id":5958778,"id":"Q5958778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d04b3445315bdda7c80be0579bcd1b1d3e805fd7","datavalue":{"value":{"amount":"+0.7013423442840576","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":"Q2353634$74865DFA-EC78-4465-845B-B34B3D457ACB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f4da86bac63676bc320ec7fd0788e8f00e4a64a","datavalue":{"value":{"entity-type":"item","numeric-id":2495644,"id":"Q2495644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b64ddfc1e09aecc6e60f1c02abe39dca0094bc9","datavalue":{"value":{"amount":"+0.6963290572166443","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":"Q2353634$992C21D9-10FF-4E4D-98DF-72526FC89015","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65722fab347114f7d13e21de35a9a3896605b5d3","datavalue":{"value":{"entity-type":"item","numeric-id":4645215,"id":"Q4645215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bebc933b9223ed0fc445ec595441dcb06fb25282","datavalue":{"value":{"amount":"+0.6829356551170349","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":"Q2353634$E9826863-89D6-48DE-92B6-DC6A76B0CF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c064f5104d7f2b867288e49e48b75494b733614c","datavalue":{"value":{"entity-type":"item","numeric-id":2736352,"id":"Q2736352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a3c0c11933494be625f00dd720407ead4549f63c","datavalue":{"value":{"amount":"+0.6816169023513794","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":"Q2353634$43202062-2C71-4E73-A436-63DB44C66B73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abe3ea92cda4eb530f03815ff22273bfcd77f4d5","datavalue":{"value":{"entity-type":"item","numeric-id":549175,"id":"Q549175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7972e918eca2243a1bf7e8d49e3604ddb9f8a04a","datavalue":{"value":{"amount":"+0.6811212301254272","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":"Q2353634$91289201-96B7-4892-8239-C6C5F06EBB00","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2353634","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2353634"}}}}}