{"entities":{"Q876492":{"pageid":878340,"ns":120,"title":"Item:Q876492","lastrevid":50075293,"modified":"2026-01-12T21:17:03Z","type":"item","id":"Q876492","labels":{"en":{"language":"en","value":"On the failure of standard completeness in \\(\\Pi\\)MTL for infinite theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5144492"}},"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":"Q876492$CCE122A4-1420-4605-ABCC-616CB4EC4DB8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fb2ff8539ac56d8c4c461f05e3272e4cf623f6e","datavalue":{"value":{"text":"On the failure of standard completeness in \\(\\Pi\\)MTL for infinite theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q876492$B7DE4EEE-1047-4472-8A3C-AFCE5312B6C7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"51ed85b529935cee9879386f836c0e04fd0ed0a4","datavalue":{"value":"1117.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876492$B63AD2C5-4FDC-4977-8294-BF3CFB927188","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":"Q876492$D4C4EA91-28DC-42C6-A69F-134487F6652A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f339c49c589764265da0f7de34a17b3e7a78e06","datavalue":{"value":{"time":"+2007-04-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q876492$9D0296E2-B8AA-4EC4-B0A9-62046C3E9F93","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0ad6448c9e3f2394361827e5c2d117e48dc71794","datavalue":{"value":"03B52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876492$41339221-3E06-42AE-9945-CF5A4E8BC33A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf715f882d7ad0c07303aa3e6e3ac3725da52515","datavalue":{"value":"03B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876492$FC8BCDA1-E712-46D5-82BD-E9D4D72E8336","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c6e8c0c01a468f591bccf045273bebe62b84ed7","datavalue":{"value":"5144492","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876492$BC2D7505-817F-44A9-B041-C1411DD49D4A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98687d345b43aa5aa93d704915145c37238ae5ae","datavalue":{"value":"strong standard completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q876492$5B336995-6810-4F4C-9DDC-92DE288BDFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1ae1d21d51da4f85c371aa08dd06e9383379a8f","datavalue":{"value":"monoidal t-norm-based logic (MTL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q876492$14AFFF59-672B-4693-A795-19019A18D3D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b1a0d58a88db43ee892086db2d590ddb42ba8f5","datavalue":{"value":"basic fuzzy logic (BL)","type":"string"},"datatype":"string"},"type":"statement","id":"Q876492$14259662-82D2-48AC-8F26-5C0B93F17051","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e6c2d535e525c1e1d5ea7187efa822fbf373465","datavalue":{"value":"product logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q876492$BFA04008-0B04-4BD1-9859-836F0F15A58F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ffdd825c0c981650a40f890273e79382627030b","datavalue":{"value":"\u0141ukasiewicz logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q876492$DE50F740-D123-455E-96F1-46DD72ACF15A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca97cf14e1778135f9c9074bba0e085989f72af7","datavalue":{"value":"\\(\\Pi\\)MTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q876492$569F7813-1C57-4CD9-8AD3-50D83A76005F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f387b8fa33dad3958a034d53ff52eaf5635d755","datavalue":{"value":"IMTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q876492$0FA1F98F-3AFF-4FA8-A1B6-18781A26BC4A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed884d62ba335a3bb4fbf19b212e496a3b37d0cd","datavalue":{"value":{"entity-type":"item","numeric-id":549719,"id":"Q549719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876492$4B22730E-700B-48F3-A177-684D55ACEC0D","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":"Q876492$63C76D61-B4C7-49C2-92C2-2BA86BD6B12F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2c9a73d01c198d0844b2c109a159158690cc49f1","datavalue":{"value":"https://doi.org/10.1016/j.fss.2006.11.009","type":"string"},"datatype":"url"},"type":"statement","id":"Q876492$094F7653-40EA-4459-B79E-800DF271A77C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e6ca06e06cc88d7d0664e22374bf29bff4e37100","datavalue":{"value":"W2048297065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876492$DFF024E5-F6E9-4782-8669-C2807E5FEFA9","rank":"normal"}],"P223":[{"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":"Q876492$B6B4CECB-6CB2-4E61-8C93-A7A97FAB4390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8acc8675845e1374ddcb2d21ec124a48fdbda5","datavalue":{"value":{"entity-type":"item","numeric-id":1612690,"id":"Q1612690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876492$4D3A20D1-B745-4A9B-AA36-DF9F51CE4E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62b48c532a247c27214086098cf9ed71ec25a644","datavalue":{"value":{"entity-type":"item","numeric-id":5509706,"id":"Q5509706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876492$A4901F19-24AF-4C6E-840B-A94930EFF392","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":"Q876492$0378ABBE-C381-4A8A-8E9B-E57E6530AA22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69c98ce1cde86982aa2ac057597dcecc7545b3e7","datavalue":{"value":{"entity-type":"item","numeric-id":1867661,"id":"Q1867661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876492$2F8C012F-4DA3-4D90-A713-BEFCD44DEF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"198e22adb0c28f237b0a6a117669c0934e1199bf","datavalue":{"value":{"entity-type":"item","numeric-id":1778060,"id":"Q1778060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876492$105D7EF5-39EB-4E27-A1E2-6BADC43C4D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2f10c330d752e5090a2fd7c32459045a9353cac","datavalue":{"value":{"entity-type":"item","numeric-id":1604791,"id":"Q1604791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q876492$8FAB9099-252A-4CE0-A29A-DB3764A9439C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"344c8f9d8235731b81aeb60338036e0afb305122","datavalue":{"value":"10.1016/J.FSS.2006.11.009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q876492$D89711D3-4A4C-4367-B87C-393240731B56","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8235b298bf3c4ce3faa2a5ba9c63ead0f7e5dfb6","datavalue":{"value":{"entity-type":"item","numeric-id":1778060,"id":"Q1778060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"420e1559e34fc1051173fceee06d6c848d71e75d","datavalue":{"value":{"amount":"+0.8759638071060181","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":"Q876492$F6BE1482-96BB-4643-993F-1BA58ACC8088","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bab9f743b41642c3db3f7379435db9c0b175aadf","datavalue":{"value":{"entity-type":"item","numeric-id":1795210,"id":"Q1795210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9ebe59165f55edd017d0b0ac15de84c6652242a","datavalue":{"value":{"amount":"+0.8713405132293701","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":"Q876492$3619F879-8B0D-40FE-920A-C07C942FD48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db218fcc3bab2b35c8939c01c8be5a2f15bf4c5f","datavalue":{"value":{"entity-type":"item","numeric-id":1612690,"id":"Q1612690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"184f5cf6e22afac48a7ac636109ddbac6d98b026","datavalue":{"value":{"amount":"+0.8433750867843628","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":"Q876492$4D792E16-DFCB-49F5-B2AB-9280DB6BEEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f31b637c88ef61093461385c3ae5c6974502b1","datavalue":{"value":{"entity-type":"item","numeric-id":855228,"id":"Q855228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a25e8643895ac0241c0a473d3b08051843e4ac64","datavalue":{"value":{"amount":"+0.8424403667449951","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":"Q876492$C39D966D-9E5D-4530-A585-B0C6896F34FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa3c7127b4712778ef874d210ca3db25e96346e9","datavalue":{"value":{"entity-type":"item","numeric-id":454982,"id":"Q454982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dac0e655ee6ecdc9493097bf1ad6dd5a58c5af43","datavalue":{"value":{"amount":"+0.8055798411369324","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":"Q876492$A406EA74-AAAB-480D-BBC9-F4FD970F0911","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:876492","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:876492"}}}}}