{"entities":{"Q1909607":{"pageid":1920349,"ns":120,"title":"Item:Q1909607","lastrevid":69266376,"modified":"2026-04-13T05:51:53Z","type":"item","id":"Q1909607","labels":{"en":{"language":"en","value":"Taming logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 856767"}},"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":"Q1909607$BEED1DC3-BED0-44D0-9D1F-ACE8A51F0B23","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8a192aa2818e3dac98345f930ac49c53c249d59","datavalue":{"value":{"text":"Taming logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1909607$2155FEDF-1B7F-44DF-90CE-598372181896","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23c605b5ff3c1b77286e4cf80807b010382e516e","datavalue":{"value":"0847.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909607$A0D48BBA-BEFC-4D32-BB70-F72BD9A9FD0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11a4b9736484895fc4bb8bc3f5b4db75fab6cc36","datavalue":{"value":"10.1007/BF01049413","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909607$32286077-A757-4578-AF21-722BA0EEC29F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eda46022a2dfa23ca54f42f27aec1d9c70ca91fd","datavalue":{"value":{"entity-type":"item","numeric-id":190281,"id":"Q190281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909607$4B3E866B-637C-4DFA-9DE2-7D3A0C184B01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"709d2f7c0623248e05e6feee291b66d1df38f714","datavalue":{"value":{"entity-type":"item","numeric-id":236473,"id":"Q236473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909607$4BF9D1A0-C996-4973-AF7B-4DFECA7B4F26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"857c2c80c4cd84e545d0cc0f92387a21b7c9d079","datavalue":{"value":{"entity-type":"item","numeric-id":227769,"id":"Q227769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909607$31E34107-F494-4BDE-9931-6524788BA914","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909607$B672D9F6-2004-4342-B0A8-6371C314F4FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0f0b23b7e38ff23875fa920657450b82cbc3f3d","datavalue":{"value":{"time":"+1996-10-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":"Q1909607$186DD462-8858-4A44-915E-3338A37E86BB","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"4c235975a56ab4bc45ede42d0ed07cc676722dc8","datavalue":{"value":"The authors introduce a general technique, called taming, which, given a bad-behaving logic (for example, undecidable, incomplete), gives a nearby well-behaving logic. The basic object of the strategy application is arrow logic. The authors make some remarks about classical first-order logic.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909607$C6E87CA1-A1C6-4D0C-8760-4647375F889D","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"eeec67f38e1d89854fb40771a8f249be9e614272","datavalue":{"value":{"entity-type":"item","numeric-id":1337511,"id":"Q1337511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909607$097F6D42-D4C0-477F-A19D-681451BC3DD0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909607$A167A9FA-6DCB-408A-9738-34733E5E0C08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909607$80DE08F1-78E0-4306-A77E-9D554E6E7BB4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d51a61107f222fa532790ef9e81369a3d49b3157","datavalue":{"value":"856767","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909607$0DA40F6B-7FAD-412C-8C0C-46D88E40F256","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b621e3c1bd7498bddf1f4c2f5b8f54c7ee7822fe","datavalue":{"value":"taming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909607$57FE4C74-D6DE-44C4-A127-1B39FB11FF0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37c927d6a79342fd591a99748d293172372dc582","datavalue":{"value":"bad-behaving logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909607$5D7A5715-F415-48F8-AD3A-C2DC160F29A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ab7d884ca3dacdc0e932602c1913402bfccc0c1","datavalue":{"value":"well-behaving logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909607$7934E37C-E403-486A-A8C3-60FE368F005F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"346048dee665f8e254d86d136e4704641a5664bb","datavalue":{"value":"arrow logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909607$DEC96D4A-0252-4EB8-810D-AC238A8CDBA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d6efcbfbe86b85ffd4ced23972771b8438ff975","datavalue":{"value":"classical first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1909607$CB39BC37-0CF2-4B7B-9A4C-8D3D7B54F1A6","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":"Q1909607$C65C776F-63E5-4A4B-B3BB-966231CDD6C6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"975593ca4b2b9af72be87491af8461a076c54b55","datavalue":{"value":{"entity-type":"item","numeric-id":2277499,"id":"Q2277499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909607$16D4195E-ED5D-469D-BCCC-CD9138CE38C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eae8e36f9fe43a600163223e38e99cf6ec5d73c1","datavalue":{"value":{"entity-type":"item","numeric-id":4873967,"id":"Q4873967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909607$F5B41965-AC18-4E0F-9A1A-B3A963E5A37D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe5df83a372efc22bd26293b9535ca9a96b704a","datavalue":{"value":{"entity-type":"item","numeric-id":4860647,"id":"Q4860647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909607$04687C01-BA04-4C23-8550-3228876451D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e38d8bc275ed304f9228a4be19100aa0f936cfd","datavalue":{"value":{"entity-type":"item","numeric-id":3487342,"id":"Q3487342"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909607$11A07BA5-0AD1-481C-99B5-B2140498F2A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb352cf3a8aa1bcadf6623070f33c0f521239455","datavalue":{"value":{"entity-type":"item","numeric-id":4342093,"id":"Q4342093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909607$B7025D44-3105-4DB4-8F13-1456AF16570B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"326e802bee95ed2c822a5c7be798bb929636447e","datavalue":{"value":{"entity-type":"item","numeric-id":3669373,"id":"Q3669373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909607$1EBC5908-03BC-43BA-B621-BAF13C9E14BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8b356ce08b4c99f2940e2874e7822fa7411c905","datavalue":{"value":{"entity-type":"item","numeric-id":3478385,"id":"Q3478385"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909607$D9C5FF9A-DE0E-4A3F-95EC-8192BA3FFEA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e55bd3ad3b3f1c6705250d60e705486f1e0f66bb","datavalue":{"value":{"entity-type":"item","numeric-id":4275688,"id":"Q4275688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909607$071A18A3-3AB8-4FCD-85EF-49AB323D7241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c5a667201dd163c9e72698a1d4513890c3aa468","datavalue":{"value":{"entity-type":"item","numeric-id":3818306,"id":"Q3818306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909607$7F1A3848-2853-4688-B1A1-18623906B5F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da1f3780260302945db0add04411654a1503c3a4","datavalue":{"value":{"entity-type":"item","numeric-id":3661577,"id":"Q3661577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909607$5DD67DC2-321C-4A52-BFA5-E3E166DA4181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db3974284559d6b6f2be3ab3c4458f037ae07bef","datavalue":{"value":{"entity-type":"item","numeric-id":1379287,"id":"Q1379287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909607$466CFA87-71E3-49CE-B0C5-844306EEDD6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69c75a769c12adf8fbb8e5281c65cb2010771368","datavalue":{"value":{"entity-type":"item","numeric-id":4873974,"id":"Q4873974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909607$0AC96E02-1001-4A75-9913-FFFFAE316C8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6047fb98f2f70ab9351ba708a309a81c4d1451a9","datavalue":{"value":{"entity-type":"item","numeric-id":1156121,"id":"Q1156121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909607$367C8E9C-5C92-4967-8132-FEFEF97FC7F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4dd4b3eec6d43fe9f1529f2cf0bc4580f69f20b","datavalue":{"value":{"entity-type":"item","numeric-id":3778753,"id":"Q3778753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909607$B93D4582-0CFA-494A-BD20-CE6575781CEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4b75868fd483592464990db0c6017f9755da918","datavalue":{"value":{"entity-type":"item","numeric-id":1825630,"id":"Q1825630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909607$8D2A4C89-CA2A-47E8-A919-6E0D9EEF4B54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2710d32adcd35ae6c40fe86935d3b1d1fd127a7c","datavalue":{"value":{"entity-type":"item","numeric-id":4040000,"id":"Q4040000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909607$8B41228D-AFF5-49B4-8725-103F6FE9AE0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39d82c981f961d0a31cf631088c928eb38c85506","datavalue":{"value":{"entity-type":"item","numeric-id":1187979,"id":"Q1187979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909607$8A17851B-89E9-4FF2-873B-F3F9AFE390B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8dcc0a4250a7c04388e6739f61aa4462be81211f","datavalue":{"value":{"entity-type":"item","numeric-id":4842635,"id":"Q4842635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1909607$677E95E4-739F-4144-B2E8-B29C6778D35C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95d564c69ad355a46fc772ab2c6e5f25f599b9e4","datavalue":{"value":"https://doi.org/10.1007/bf01049413","type":"string"},"datatype":"url"},"type":"statement","id":"Q1909607$CBF8E746-D55C-4B01-B945-4E1F2B6B4837","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f08528896005cf407964cf599ee946e13af1d495","datavalue":{"value":"W4241621245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1909607$1BB6268B-AFB4-4D30-A1CC-21A0F57FA031","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c23e8b540c1a08ebd55f144dbf5747bc35fe6ab2","datavalue":{"value":{"entity-type":"item","numeric-id":4383703,"id":"Q4383703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fa5ce20add12008d8c663c3098f5a43f44c4d448","datavalue":{"value":{"amount":"+0.7438347339630127","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":"Q1909607$BCFB412B-76BC-474C-A7A7-3C18B3C2A872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e097ba4d92cf32555b921150a0075c816bcfee46","datavalue":{"value":{"entity-type":"item","numeric-id":2946751,"id":"Q2946751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7434cfb43047cf0d259eb23df26421f8d0c717ca","datavalue":{"value":{"amount":"+0.7248398661613464","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":"Q1909607$5DE4494A-F8EC-47AF-8C76-1A211DABFC19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d076f3464db950e7d2dc3adb1d4a31560d3a1e84","datavalue":{"value":{"entity-type":"item","numeric-id":4349279,"id":"Q4349279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c22b96af3fe5db3a46927b871e9ecec0379b2abe","datavalue":{"value":{"amount":"+0.7022767066955566","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":"Q1909607$BE3747D0-0E32-48B6-AB87-F3821E54AAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4419a27ce427191fb013ab71d44222cde12602ba","datavalue":{"value":{"entity-type":"item","numeric-id":3714055,"id":"Q3714055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ccb6744f9f688b4da9564eb4074a4dbfc778719","datavalue":{"value":{"amount":"+0.695637583732605","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":"Q1909607$0F6444CF-AAE6-46C7-8076-4EBBC9C792C0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Taming logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Taming_logic"}}}}}