{"entities":{"Q1697356":{"pageid":1708097,"ns":120,"title":"Item:Q1697356","lastrevid":68207607,"modified":"2026-04-12T22:08:55Z","type":"item","id":"Q1697356","labels":{"en":{"language":"en","value":"On deductive interpolation for the weak nilpotent minimum logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6840683"}},"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":"Q1697356$AE945AE9-4BB1-4931-881F-18CCB1436082","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f9b76ef256babef184f5dcdde19f3ad11a73078c","datavalue":{"value":{"text":"On deductive interpolation for the weak nilpotent minimum logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1697356$4081A53E-98E9-4CF5-AED4-35E7E62D0D18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6edb4b9deb5a2bcdd6176fa9807cb36f098958f3","datavalue":{"value":"1388.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697356$C3D1770A-52DB-4C33-AC77-96A5B7F915C7","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":"Q1697356$C8ABFCF4-59BA-43C2-AD8D-F74A471E9CD2","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":"Q1697356$A384C624-ED70-4A4B-A801-4C424EF1697B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f287bdf783f35305500eed531b35fb7e704778e5","datavalue":{"value":{"time":"+2018-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1697356$EAE1D190-0328-45D5-9459-669709F58862","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"616354bab5ce51d38a702c3281da2bf7731df1cd","datavalue":{"value":"This paper shows that the deductive interpolation property (DIP) holds for the weak nilpotent minimum logic (WNM) [\\textit{F. Esteva} and \\textit{L. Godo}, ibid. 124, 271--288 (2001; Zbl 0994.03017)], which is a substructural logic of the class of weak nilpotent minimum t-norms, i.e., monoidal operations over \\([0, 1]^2\\) of the form  \\[  x \\star y = \\begin{cases} 0 & x\\leq \\mathbf{n}(y) \\\\ \\min(x, y) & x > \\mathbf{n}(y) \\end{cases} \\]  where \\(\\mathbf{n}: [0, 1] \\to [0, 1]\\) is an order-reversing mapping (weak negation), such that \\(\\mathbf{n}(0) = 1\\), \\(\\mathbf{n}(1) = 0\\) and \\(x \\leq \\mathbf{n}(\\mathbf{n}(x))\\) for all \\(x \\in [0, 1]\\). The author shows, using the model theoretic approach of quantifier elimination, that the corresponding variety of algebras has the amalgamation property. As follows from results of [\\textit{H. Kibara} and \\textit{H. Ono}, J. Log. Comput. 20, 823--875 (2010; Zbl 1207.03030)], that the DIP then holds for WNM.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697356$845B6611-9AC5-474D-88E8-DF9A42FA9BFF","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"a377c80214f30aeb042d1c4da8a6505830b02d5c","datavalue":{"value":{"entity-type":"item","numeric-id":425558,"id":"Q425558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697356$6E4E3D53-5092-4EEF-95F9-40D22A0C8CF5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697356$23CC1E9A-DB57-4DFB-BD6C-00437AAB8AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697356$DD2DC312-7CB9-4646-B6A9-D6BC41BFFB17","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"438a780ff2c7a2f82a50e5ac9fb2594e85c7d61a","datavalue":{"value":"6840683","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697356$FB7BBF2A-CEAB-48E9-B4E4-90C6D1041371","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c2c6ee6b384fb5d93cdb2b5ce059cbac9a174989","datavalue":{"value":"weak nilpotent minimum","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697356$3960F883-083E-41D2-811C-E7B21ED362E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e06171b25f3be7f2cb390ce87103a0717c0cd632","datavalue":{"value":"deductive interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697356$9FB9BB4A-FDB4-44CF-9A7F-260D2541ACFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9764d97405ff93490c784c122d4ba3844cfe0cfd","datavalue":{"value":"amalgaamtion","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697356$D20D2E96-0C8E-4E2D-9DDC-F870B673A4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697356$0C546AB9-6AE1-416D-A6E4-5EF86AACEBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e3c02ec5426e6d0393234b872b20ebe7c5158e71","datavalue":{"value":"variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q1697356$BB28B20B-5F12-46C1-9FBD-F749BD5C38EC","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":"Q1697356$30D9AB05-7FDC-499D-9F9D-8F30B70CBFF2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7ccc692b57d059b8af74246954440627f22d2c41","datavalue":{"value":"https://doi.org/10.1016/j.fss.2015.12.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q1697356$CCD3649C-AF57-4735-A8D5-1708ADC22F80","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"169bcf78f3dc70fc71c6cc9542b3510c7248804e","datavalue":{"value":"W2221366686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697356$F192B1FB-4A9F-4549-800C-023718198DF2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6a2dc34fdb35c0b67594e2b5ec4d23362ba0d4b","datavalue":{"value":{"entity-type":"item","numeric-id":2370369,"id":"Q2370369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697356$C0290348-DBF0-46BD-9C07-3946AF7EA540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"539f0b888130731208efc231787f933eab63d651","datavalue":{"value":{"entity-type":"item","numeric-id":800348,"id":"Q800348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697356$015D0116-E030-4E07-BEED-1157B3BD01A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"062e3530d1cbc2a93188ae5efb7b2dded97702a2","datavalue":{"value":{"entity-type":"item","numeric-id":654010,"id":"Q654010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697356$380E1464-A5AC-406A-B33F-BD290980EB3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce580e26e0e52b754f429465b1887c9854b1df4e","datavalue":{"value":{"entity-type":"item","numeric-id":3893927,"id":"Q3893927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697356$B9DC00C8-A23E-48EE-B9FC-79DDAF9718D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8fd1f778c1c98a148644fb20ef783e73dbe402a","datavalue":{"value":{"entity-type":"item","numeric-id":3520229,"id":"Q3520229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697356$4DA1C592-006A-4264-AFF8-CF27A4AFC93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b21a46b53e0bc48233db6f19f8a64be4194c859","datavalue":{"value":{"entity-type":"item","numeric-id":1349199,"id":"Q1349199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697356$F9E7E2D0-83D8-4B7C-9C34-0BB77EFD2A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66c44c4ef6ee160003d0a07de5db4cffbce968f","datavalue":{"value":{"entity-type":"item","numeric-id":881452,"id":"Q881452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697356$967EB21C-4EC0-42D3-8F08-DE8CE73F1757","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"967fb55b31b6e02bb24043a438b43c2e3c9e09dc","datavalue":{"value":{"entity-type":"item","numeric-id":4003410,"id":"Q4003410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697356$B66CD03B-6678-4CCA-B93E-745D47BF054F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae5d8e7d2e005c2139c79102adfdd3c296d42af4","datavalue":{"value":{"entity-type":"item","numeric-id":3583099,"id":"Q3583099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697356$B00F793B-7BEA-49D6-B662-3E638E24F791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa98592016b26fa67b4b929ee89a172a4ba385cb","datavalue":{"value":{"entity-type":"item","numeric-id":4187817,"id":"Q4187817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697356$95AFD1A7-431E-4B77-9124-F9A0AB7B8C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a4a60d04bdbb093bed3fd150772fd5ef493eeab","datavalue":{"value":{"entity-type":"item","numeric-id":661293,"id":"Q661293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697356$86463125-3B5F-4CD5-B993-9CC953D043AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697356$2596EAA9-027C-4980-965C-9B63A151EB8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"104ede8e3146aaf70aed1cfc10ab2790fa5f4473","datavalue":{"value":{"entity-type":"item","numeric-id":2253035,"id":"Q2253035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697356$8AEFBE00-2684-4CDB-9AAA-0CDA54E96212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2148f50f0a03a5c567ae2ae43602409775e953e8","datavalue":{"value":{"entity-type":"item","numeric-id":2498905,"id":"Q2498905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697356$87F2F063-E616-45A2-AB7D-C4C61DB6C632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2351a3fb3d2327ece7cc2eab0e4dfd38b55e7a29","datavalue":{"value":{"entity-type":"item","numeric-id":2552131,"id":"Q2552131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1697356$C1291BC0-94D0-4030-A435-77336193C513","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f78cc6b9fa95700ae2669ef7e35b563b5f07b1e8","datavalue":{"value":"10.1016/J.FSS.2015.12.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1697356$C30172CD-145F-4CBF-8D30-42D1687857DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e10b07f6081dab72d46ad69d739f1c278f361f3","datavalue":{"value":{"entity-type":"item","numeric-id":3001102,"id":"Q3001102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19b5d39305a58cfbffbb6e6a3df5aa88efba8336","datavalue":{"value":{"amount":"+0.9397904","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":"Q1697356$0F3577F4-9AA6-48BF-9103-F64D9357D305","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17e5837f6a7a0cd2473a7b2610e22e2f301f6b76","datavalue":{"value":{"entity-type":"item","numeric-id":695764,"id":"Q695764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d31cd56e1bab39a55853a6e25b420b3ec351414","datavalue":{"value":{"amount":"+0.92973125","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":"Q1697356$CF571ED6-B9D2-40D4-A2A9-8ECDB83F0A10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ab10c65a87a13b419f16077f34f3d5096721f5c","datavalue":{"value":{"entity-type":"item","numeric-id":3508715,"id":"Q3508715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20d1d7b3a4a4f0ed7f9cd506aa7a42c73495a3b9","datavalue":{"value":{"amount":"+0.91989833","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":"Q1697356$A4AC9FDE-901E-4508-AA4A-07FC8BE2C61D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97122732ce00d91cd8975e958d7eba3a51dfef49","datavalue":{"value":{"entity-type":"item","numeric-id":3409460,"id":"Q3409460"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10a8c4cdfce4bc618c66267995a307953278789a","datavalue":{"value":{"amount":"+0.9101753","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":"Q1697356$419F4C13-967F-4ED0-B6C6-1CFFEEC00B61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28b4876a56e69a2952925d517566ad862af5cea3","datavalue":{"value":{"entity-type":"item","numeric-id":1617985,"id":"Q1617985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acd6a1782d74f58a2d39d5a7d8875afede197a8c","datavalue":{"value":{"amount":"+0.9066638","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":"Q1697356$543619C9-8286-4A7B-A0DC-25279536F384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c564bc2333d3630d0340b756b823b3d74b00e0e","datavalue":{"value":{"entity-type":"item","numeric-id":4917992,"id":"Q4917992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f0d091ff3dae8ec3ee93d98216a87f47cfdecc7","datavalue":{"value":{"amount":"+0.90184873","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":"Q1697356$2ED5E633-F8CD-456F-A25E-D0A51D09294F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"604bdc052e7b20497b50a966ab1213d9bdfb9809","datavalue":{"value":{"entity-type":"item","numeric-id":5477625,"id":"Q5477625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dfdbd171240ef4345338f2ca4e6e7086d816a74","datavalue":{"value":{"amount":"+0.9016516","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":"Q1697356$7C7D7000-336B-419C-8A0A-5C41366D16E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"926dfacb33edfd0e302e489753e0ae12368ae5f2","datavalue":{"value":{"entity-type":"item","numeric-id":3546097,"id":"Q3546097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"257ecd043f3f39d8bf989230789e309a711c3a83","datavalue":{"value":{"amount":"+0.901047","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":"Q1697356$163D5F95-395A-47E9-9C83-05BB5961D290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef4167a811cb83dbdc683fc72d9fe40b45b5b4cf","datavalue":{"value":{"entity-type":"item","numeric-id":5419894,"id":"Q5419894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0875133b007bc21eab1b79c45e7150243e0a28a","datavalue":{"value":{"amount":"+0.9001753","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":"Q1697356$292E8752-4ADD-41D0-855A-3DC95413CB00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"044534dec8af45043c32cc5f543fe966a1ab9312","datavalue":{"value":{"entity-type":"item","numeric-id":4465174,"id":"Q4465174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df8a1eae5bd1e90b393a9125287fd18d1d5fb249","datavalue":{"value":{"amount":"+0.8895276","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":"Q1697356$496A43AA-1BA9-4BCC-82D4-AD3F57155B36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On deductive interpolation for the weak nilpotent minimum logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_deductive_interpolation_for_the_weak_nilpotent_minimum_logic"}}}}}