{"entities":{"Q6658080":{"pageid":14269237,"ns":120,"title":"Item:Q6658080","lastrevid":42410524,"modified":"2025-06-15T13:10:32Z","type":"item","id":"Q6658080","labels":{"en":{"language":"en","value":"Semiconic idempotent logic. II: Beth definability and deductive interpolation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7962816"}},"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":"Q6658080$4EF00450-EA58-4A27-98B3-9C1612777717","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"294660b60e57f70b04189e52abdae53d10cfc083","datavalue":{"value":{"text":"Semiconic idempotent logic. II: Beth definability and deductive interpolation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6658080$D467681C-64EE-47E8-8DB3-9C065EC3A79B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0b29e098fa3b08718a2b685d4dd9bd3a2e22fea9","datavalue":{"value":{"entity-type":"item","numeric-id":2007987,"id":"Q2007987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$976D84B9-1B71-4E40-9A31-1348604EF85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6eef00978e3a2dc6158a2b54f6d535aa32515c68","datavalue":{"value":{"entity-type":"item","numeric-id":287481,"id":"Q287481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$05C485F4-E9D9-4F52-94D9-5543BE2E68AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$98D5555D-06FA-4DE0-948D-218394DD5827","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"65c8722c590dccb353ff76e73c66851fe39e232b","datavalue":{"value":{"time":"+2025-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6658080$D11A267E-5046-422F-B9C0-5E3ECF601543","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"67d83a420633c5e61caca50109886be8d1d7a17a","datavalue":{"value":"03G25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6658080$282330CA-D5CB-4FE8-A618-CD4C1377E96F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6658080$A54056F2-B11D-4B0D-AA93-39E4C41522DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6658080$11D5D985-80FC-4AB5-81FF-0EDC82880195","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4c1a28b7742ded0c7ee8b9a1915b5bc9910a1838","datavalue":{"value":"7962816","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6658080$30ED78EB-7330-441A-992C-C750619A9DD0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7261777472d4a441f436b868f2c61d8d67ac5d8f","datavalue":{"value":"substructural logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q6658080$8B9450DC-951C-4759-9940-66E0290EC184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c4064a9a5b79f4877a2c60d21d118b26bb75b85","datavalue":{"value":"semiconic idempotent logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6658080$C61CA75C-7048-4442-B2B7-A012FB0057C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"16ce59bd8bc1afe0bfe6fbb21fbb4c6ad724a7df","datavalue":{"value":"semilinear residuated lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q6658080$3BB2C99A-B9F8-493B-B2C7-347AE7B8F9DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fd428bfd6d5b618395f05f7b79beef87ac4b76b","datavalue":{"value":"interpolation and beth definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6658080$E8274D0B-68D5-42C8-92E6-88FBBF29B7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"207ff01f50f2b7ee1f5b7c7effbc674891d10d5a","datavalue":{"value":"(strong) amalgamation property","type":"string"},"datatype":"string"},"type":"statement","id":"Q6658080$EDC2D59F-16C1-4F27-A6BF-42032DEB58B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f51f97522cea9dea62ab7c0faba5445ebfbb6e3d","datavalue":{"value":"surjective epimorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6658080$6653374A-07CF-4B6F-94FD-1E8AA93F55EA","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":"Q6658080$192BB717-D3F7-440E-8E90-CEDACD884DA9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"81700654b480ea16a29b7b331463fd1f3978ae7b","datavalue":{"value":{"entity-type":"item","numeric-id":1812017,"id":"Q1812017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$EDC2D33E-9F60-45F3-9584-9ADFA0D720E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec09860f6f4856a0bfa1fcbed713df420a357696","datavalue":{"value":{"entity-type":"item","numeric-id":4085699,"id":"Q4085699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$83C25416-9744-45EB-9CEB-36D77F8F471B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b446099905b56cfa9e33fe33268817567c38830","datavalue":{"value":{"entity-type":"item","numeric-id":4011710,"id":"Q4011710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$333CF7BE-AB6D-42F8-9CA5-08BC6BE4326C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"365e43523f9f6b45dc2577202697ff91a6659a61","datavalue":{"value":{"entity-type":"item","numeric-id":3815297,"id":"Q3815297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$F4C3D2CB-D451-496B-A5FB-8F289A8929F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b67f76767a034390a46d08c3681d19ce22b732f","datavalue":{"value":{"entity-type":"item","numeric-id":4638973,"id":"Q4638973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$9B851464-CF66-4F35-A16F-28D0DD70B5C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59aecba418e1ad41576a6cb419216ff73e843357","datavalue":{"value":{"entity-type":"item","numeric-id":776990,"id":"Q776990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$6FD5AA5F-742A-495E-BF6A-622105935215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f53281b31d4f29cdd82a60cc8d761c9524d86f12","datavalue":{"value":{"entity-type":"item","numeric-id":3070134,"id":"Q3070134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$7A4D78BF-FAAC-4DF0-8964-41D0ACFACC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"639c40721d4ad9e8192f54d6b51a3c839e4356ff","datavalue":{"value":{"entity-type":"item","numeric-id":4249028,"id":"Q4249028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$12384557-58DE-4D13-9A0B-9B27FCD97263","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ba4f5628b9493b3dc4e9b69bc068cb07ae68c2f","datavalue":{"value":{"entity-type":"item","numeric-id":4530231,"id":"Q4530231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$1898266C-1D93-4074-9FD9-C33D424EF5A9","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":"Q6658080$0C253637-F2F5-463F-80CB-6C3EC0180025","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e14262f868a6ca513b97376db823aeaf3dd172bd","datavalue":{"value":{"entity-type":"item","numeric-id":2062191,"id":"Q2062191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$1BF04259-3A69-4BA0-816C-42F93396E1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"231c35167d2d6cb2de7e405681f0a9426aed9453","datavalue":{"value":{"entity-type":"item","numeric-id":3185647,"id":"Q3185647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$24BF9B4B-0757-41AA-BC9E-3966E2C151AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9945d0e4aab8766a36212c9a42d8511ab7cca97a","datavalue":{"value":{"entity-type":"item","numeric-id":583253,"id":"Q583253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$8BEF9015-04F3-4E29-83F4-1EBF5480D393","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50d7f6722148f162fcf555ce572b0de0af9afa92","datavalue":{"value":{"entity-type":"item","numeric-id":2115284,"id":"Q2115284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$BF5B926F-CF71-4170-8E3C-A48B7AA1B053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4e270f29bd969368bc4a4f5b9467648e2c539c3","datavalue":{"value":{"entity-type":"item","numeric-id":2311212,"id":"Q2311212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$9D6168A3-59EF-4C3E-BA9A-EE7ED4BA9B4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8739ce55813edce29dcb6a0f62da3d0c4f6bde7c","datavalue":{"value":{"entity-type":"item","numeric-id":6539430,"id":"Q6539430"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$7A04CF02-6FAE-4E08-B332-79102FE6331D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca24f9b1fffaf359dd35598b125a421559ee9acc","datavalue":{"value":{"entity-type":"item","numeric-id":2121252,"id":"Q2121252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$215EB8E9-4BC0-47CF-ACD6-FC736534FB4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04d39f208588ca4f41ff00b6ffc4b45f0dc35549","datavalue":{"value":{"entity-type":"item","numeric-id":6183569,"id":"Q6183569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$BC4ECEB1-433E-49F3-8BB2-872D050C9A55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a526a13ef7148b4f26cc9c7eaf54c2b69bc010a","datavalue":{"value":{"entity-type":"item","numeric-id":6646296,"id":"Q6646296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$BAD0495B-D6FA-4AF8-AEF3-E62688F4A664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"774098d03c9c19ef6a0e48ebaddaa496e2314c94","datavalue":{"value":{"entity-type":"item","numeric-id":2324842,"id":"Q2324842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$7EFCC96E-5900-45A6-84AF-2F2F0B944B7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5b228b5dd993e07b382dedeac2066ef83bc8251","datavalue":{"value":{"entity-type":"item","numeric-id":2695352,"id":"Q2695352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$D700341E-C813-4645-A9BD-C36FD71A3AA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05b380f76aa9cd5aab3b531e2f5bc4566bb014be","datavalue":{"value":{"entity-type":"item","numeric-id":1826928,"id":"Q1826928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$B8BDD840-8CA3-409E-9AFA-2C28FDC2DF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48451130fa325b4302f0c1189496cfa710a55098","datavalue":{"value":{"entity-type":"item","numeric-id":2577691,"id":"Q2577691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$A0E8DBC1-E891-4AB9-8079-3E8036DCB712","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dfa8c8929c768f224e83dab433f989c2dc6bcac","datavalue":{"value":{"entity-type":"item","numeric-id":4913809,"id":"Q4913809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$9B4E1ED3-8F4C-400B-BC96-AB370A794DDC","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":"Q6658080$5A10F758-F70A-40D6-AD51-C1CEFC046728","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe042fd73b0f564590539742ad031432d6096563","datavalue":{"value":{"entity-type":"item","numeric-id":2433102,"id":"Q2433102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$EE32B05C-E5DD-4B86-978F-206579F0BFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"376c491b13c870df4eadc47f950602f4bdcef9e4","datavalue":{"value":{"entity-type":"item","numeric-id":1934971,"id":"Q1934971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$4519CD6F-9E37-48D5-AF8B-CA04BC5EC2D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba53ab41571ca15cf4177c0048f9a02d875723f3","datavalue":{"value":{"entity-type":"item","numeric-id":5246960,"id":"Q5246960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$7C6B8239-4F6E-461B-9F83-F44F3D532FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25681eb426b8bfd3b82a67d08b58fc8995e972b8","datavalue":{"value":{"entity-type":"item","numeric-id":2182567,"id":"Q2182567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$6F6E961E-5698-4E7D-BC0A-7B251651294D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$4E539CC7-F7DC-4670-A887-6639EF5F9561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$4A8C87F1-FC87-4216-8998-9A93FADE4EBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4b538b0fcdc1f1e889c45eca2b275d172253444","datavalue":{"value":{"entity-type":"item","numeric-id":1576381,"id":"Q1576381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$8415DC42-0E5B-4F8D-9752-70029D145880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91ad3e30b81d68724fd88018f65f6b467e3ffa26","datavalue":{"value":{"entity-type":"item","numeric-id":5293197,"id":"Q5293197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$604C3991-3DDC-4705-AB5A-B1EC903B1A88","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":"Q6658080$D850B7A7-BD2F-403F-BF8B-79609BA67F5F","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":"Q6658080$D72DA371-76F0-44A3-AE09-202CA3462AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d69284adfadca92f062e6fd355c9431a4b04894e","datavalue":{"value":{"entity-type":"item","numeric-id":5292654,"id":"Q5292654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$20D71756-6EEE-4B3B-A512-54920FC6B709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"162bdd4df93f8ffd3483f8a1810ab35d50492908","datavalue":{"value":{"entity-type":"item","numeric-id":4262604,"id":"Q4262604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$7633EE15-A167-401C-8ECB-E9087842F8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be8bbb7140c556315ce683eee3304eb052933b1e","datavalue":{"value":{"entity-type":"item","numeric-id":3443137,"id":"Q3443137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6658080$DBBE6A69-AD76-4496-BCDB-2D7FC9A0A4C3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"47c5b11f5b5e8c9c300a05f4c26d2f6ab886e1ee","datavalue":{"value":"10.1016/J.APAL.2024.103528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6658080$8287E898-3524-49CD-B2D2-3B28CCB80D49","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6658080","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6658080"}}}}}