{"entities":{"Q5432674":{"pageid":7462238,"ns":120,"title":"Item:Q5432674","lastrevid":50236274,"modified":"2026-01-13T14:56:32Z","type":"item","id":"Q5432674","labels":{"en":{"language":"en","value":"Complexity and Definability Issues in LFormula"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5221210"}},"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":"Q5432674$0C70088C-A559-4829-A079-874B9AA5DBBA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb8685e27a33a29b859649695b475b9f5904c084","datavalue":{"value":{"text":"Complexity and Definability Issues in LFormula","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5432674$93653359-FD78-4021-983F-59015AF132D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c6d34a3bce15dbc1dbf738aaec3b57a153c4411d","datavalue":{"value":"1142.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432674$F454ED13-322A-4CD2-8B17-84EBF36B4195","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"65cdcb40fe2f17245489df884dbc6645e9d566b3","datavalue":{"value":{"entity-type":"item","numeric-id":392379,"id":"Q392379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5432674$D869BB65-975A-40C9-87BB-16EF8F96F663","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70b479ab481d7ee1dcf779ab78c0b800106fa990","datavalue":{"value":{"entity-type":"item","numeric-id":167897,"id":"Q167897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5432674$E9ABC807-7A0D-47B2-A690-B950000FE93A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"393895076543d7c664a07b10d6d8108144d1c207","datavalue":{"value":{"time":"+2007-12-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5432674$429390D9-0CE6-4B67-A756-3F3823B44DA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432674$4FEFA482-1697-4263-9C11-9019D1F5CFF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432674$DE68B5DA-325D-43E5-AB12-A18CF253879B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e16b73fa2575ca04927283603742f08c2475aff3","datavalue":{"value":"5221210","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432674$B63DA216-0D76-456E-B0E2-0690ECA52EC9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"992be4a4c4949a4e050131a62745614d055174a7","datavalue":{"value":"real closed fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q5432674$4ECC60F3-83FC-400E-8927-23C83CBC123B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd7f7273b8e7f89d50335f2519dbd31cec7b734e","datavalue":{"value":"fuzzy logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5432674$C4468505-B73E-43C3-A99D-B3D62067CBD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd6f8f8da512ce7a1a0b3d0b0016d5627760f80","datavalue":{"value":"left-continuous t-norms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5432674$514032FC-F296-4DD9-83B7-1E008E7E7DD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5432674$4CE62A06-968F-4292-862E-888489811B41","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":"Q5432674$AE89F412-0DAC-4173-84D4-A41C19D0B37C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8a6b3c11b791d1e7120f3ba8730e4d400e0a8aba","datavalue":{"value":"https://doi.org/10.1093/logcom/exl044","type":"string"},"datatype":"url"},"type":"statement","id":"Q5432674$CA4D8FC6-3723-42AD-8C3C-1C4435BFCF69","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b2e37ba41fffaa4ed272a142a26e58c2967305f0","datavalue":{"value":"W1979333080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432674$A1542B33-BE65-4253-BF33-8605B099D03D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a04fb316e93a5e01cc7c8d377c34f8c9f52bb726","datavalue":{"value":"10.1093/LOGCOM/EXL044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5432674$0EA54EB2-3C38-4696-9F2D-4619A752D138","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5432674$9DDE2140-D190-48D9-A940-90B3CDFBB124","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57c12630387c67bb26096c5d73cbf2ff1b3df6cf","datavalue":{"value":{"entity-type":"item","numeric-id":2270383,"id":"Q2270383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f186857b9ca0aebd8ae9fb2d3c83194ac83e8884","datavalue":{"value":{"amount":"+0.7943140864372253","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":"Q5432674$2AEB2DD6-251B-436D-9C0D-C27669BE39A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2d35e3a4cc62156451f306bf4234aca0a1b1031","datavalue":{"value":{"entity-type":"item","numeric-id":2466754,"id":"Q2466754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e64f009f7f47c1d181908c2c1b94234cdbf58d8d","datavalue":{"value":{"amount":"+0.7769325375556946","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":"Q5432674$03503C20-8926-4553-A116-D1E4E0CF0987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78e900a44931f284d3e249f97f635ae98c50bdd2","datavalue":{"value":{"entity-type":"item","numeric-id":2711325,"id":"Q2711325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dbff90361afc5f516d208c1dc9602d72af8b8e3","datavalue":{"value":{"amount":"+0.7752366662025452","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":"Q5432674$6BD3956D-327F-4F28-9F15-0ABE3BCBB6F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"844e0abc434b67375965366c92bd9a7039200646","datavalue":{"value":{"entity-type":"item","numeric-id":2317518,"id":"Q2317518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ebefad8cb92373a38b7bc56112f418c28624291a","datavalue":{"value":{"amount":"+0.7715511322021484","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":"Q5432674$CCE03C35-363E-48D3-9848-4D1867BB2F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24a994f53f0bc05afdf68c72f41e37e27d35ec16","datavalue":{"value":{"entity-type":"item","numeric-id":5951916,"id":"Q5951916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ec1555101c12450e0a41d354674f0f29d4aeb91","datavalue":{"value":{"amount":"+0.771543025970459","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":"Q5432674$3B42FD8F-7C23-4865-996C-81F8A93F94E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5432674","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5432674"}}}}}