{"entities":{"Q1193491":{"pageid":1204240,"ns":120,"title":"Item:Q1193491","lastrevid":66822849,"modified":"2026-04-12T13:06:10Z","type":"item","id":"Q1193491","labels":{"en":{"language":"en","value":"Natural language syntax and first-order inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64753"}},"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":"Q1193491$B718211C-6465-45A5-ACE2-FDFB4FC6786B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b61b86e96f13d4c08506903682c1471d8010d5b4","datavalue":{"value":{"text":"Natural language syntax and first-order inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193491$C9D7D851-8089-481D-8F0A-0CEADBCFDB78","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"039f734ad143dd231a728267821370747a9bceb0","datavalue":{"value":"0761.68084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193491$81FF76D5-4D06-49DD-B4D5-7B9F5F301EB8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"884077be02a659e57700fc322bff746451568378","datavalue":{"value":"10.1016/0004-3702(92)90063-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193491$0B748104-8784-425F-88B7-220FA6942578","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"984e6510ec40a363d20e607cce2cc2f8b07918ae","datavalue":{"value":{"entity-type":"item","numeric-id":72340,"id":"Q72340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193491$4858DDBF-CF75-40B1-AFAD-7E4F3D543D12","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193491$D132031D-E53D-49F0-AD75-3581D599CB28","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193491$1181EE64-410C-461C-853A-EC09E0888121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193491$7B2125FA-4B51-41C1-A5DE-EE2D4D499D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193491$7951B54B-92FC-4023-BC19-45CC49FD76DE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5bf0e4c9af121b426730dbb0a18544c73ed22e44","datavalue":{"value":"64753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193491$BD4B6F48-D789-422D-B008-DB255994BA73","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193491$27BFE693-BD05-48DE-B272-A48E13CF3C13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193491$F2226356-2E17-4A3A-9C43-EF852FFB0929","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e5696162dc1d275bc73f1a7b69c774d334cc4f4","datavalue":{"value":"Montagovian syntax","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193491$146BBB15-2F95-42A3-BE7A-0E5417E3A2B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd06a47f1494c93ed081181c2990dc4231cfb32e","datavalue":{"value":"knowledge representation language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193491$1FC70382-B131-400D-862F-1E1E50A7691C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a055caf438ee3df6c9e1509d998ebacb81c32fec","datavalue":{"value":"concept languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193491$D81D88A3-5B6C-4081-842A-0ACC79DFA857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b8607497ae9f8c09235981123805454747e8bce","datavalue":{"value":"frame description languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193491$9FFD2E24-8D3A-432A-BC87-C27CAD70D55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f59f78be4ed2afeb71b55e5b202df575be8e859","datavalue":{"value":"polynomial time procedure for automated inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193491$56289A2C-AE46-4CB7-9A31-386FB035CF19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e7749722f879396ae13d7bfe2ed5287e46d46b5d","datavalue":{"value":"syntax for first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193491$F292C998-A34D-4097-953E-C4451313FB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e5f765ef41c3ad282b6b5747dfd5192834bc1071","datavalue":{"value":"Montague semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193491$FF3A22F2-0BD9-4DD4-B82C-BB9D332C48E5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"beb5106ba49154afabb9f9946542b2d455346f8a","datavalue":{"value":{"entity-type":"item","numeric-id":1102217,"id":"Q1102217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193491$A0A53AD7-58E1-43C4-AD3F-AC8FCFF15226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f84c1abdc6f71bf3212024a04a41bd93ede90bf","datavalue":{"value":{"entity-type":"item","numeric-id":1610710,"id":"Q1610710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193491$CECF94E3-FDE6-4D70-BDC5-C2157181FF51","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":"Q1193491$7C4B5AB7-4D11-4081-A971-F488D6C99A53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1b5b0811e5e5032ed2abb498fb539ea0468e893c","datavalue":{"value":"https://doi.org/10.1016/0004-3702(92)90063-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1193491$21BA574E-4A2B-4E79-9393-67EC1750D8D5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c427614018b141ecbbeaf985bea23f81f50882b2","datavalue":{"value":"W1994772831","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193491$EF431A80-3D83-4B89-B5C8-11F3533872B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f61d3ce48e7d77ecfa87abeda8a08d36489d987a","datavalue":{"value":{"entity-type":"item","numeric-id":4028788,"id":"Q4028788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193491$0A1E1929-F84B-4D4F-8606-3E41E4FF7BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae19a70a8616a64987bb08271f6f085e5255b8c5","datavalue":{"value":{"entity-type":"item","numeric-id":3908476,"id":"Q3908476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193491$51563D6F-1A31-42F4-8FD5-E8AC9234EE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be02880adf3b9531d20f6265c7de89b7619f17f1","datavalue":{"value":{"entity-type":"item","numeric-id":3888567,"id":"Q3888567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193491$7B8283DA-F2D8-4A81-9715-190E6D88C6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fecc7ce8fe53bf0ab0f560a96ff760721b70f9b","datavalue":{"value":{"entity-type":"item","numeric-id":1230505,"id":"Q1230505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193491$E16AC907-22CE-4BE1-8AD8-C4445B9D7B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579a6fe1e5a36f5a952779060268e3364ef7da33","datavalue":{"value":{"entity-type":"item","numeric-id":1170021,"id":"Q1170021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193491$E48DC002-9631-4125-82BF-72847CCE354F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"540b5f1c92a5505017beef915955147cee1506a9","datavalue":{"value":{"entity-type":"item","numeric-id":3247120,"id":"Q3247120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193491$32D0CBE8-A241-4CE2-90CC-CFDDED63AC4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c091a6831cd5964be54b37dcb6712a7f5f803bfb","datavalue":{"value":{"entity-type":"item","numeric-id":4692514,"id":"Q4692514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193491$5C6DAA45-B9F5-48A5-AC02-F3EB25621356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9de0e407a0c15da5475fe51d29ddae48bbbd934d","datavalue":{"value":{"entity-type":"item","numeric-id":3493312,"id":"Q3493312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193491$60BDAFAB-73BF-4C91-8972-D2FEE687BE14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"82d546d51ed814c8c848aaa5a2d78ec7d9734c3a","datavalue":{"value":{"entity-type":"item","numeric-id":5654006,"id":"Q5654006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193491$D80CF7B4-5622-4343-8536-45504CB266C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc2815fc1dcac3d3af1a233b6e9efdc1646b9856","datavalue":{"value":{"entity-type":"item","numeric-id":1104128,"id":"Q1104128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193491$6F3DAF6E-B1FA-4E35-BAA8-E21374C209C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce7b2dd2863358cf2a528999ec6b006fdf400b99","datavalue":{"value":{"entity-type":"item","numeric-id":3899468,"id":"Q3899468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193491$A6DCD1DA-79BC-40C5-9FF5-5E1794B5832F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd51f1c6280ee563c7d7711ba8b53a0f27185742","datavalue":{"value":{"entity-type":"item","numeric-id":749235,"id":"Q749235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193491$B8724128-51BC-461D-9717-75DC24659802","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c438a58924de2b8232c8e42a6dc014b3d28531","datavalue":{"value":{"entity-type":"item","numeric-id":5286163,"id":"Q5286163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3162d997f72c307ea31eaf9d4f083d4e64c1604","datavalue":{"value":{"amount":"+0.8210576176643372","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":"Q1193491$8E7F52BE-DC84-4075-BE59-D717BFD6B8E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c21eef43bfa5889a2021203fe6c59d61d6f1aec","datavalue":{"value":{"entity-type":"item","numeric-id":3220567,"id":"Q3220567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd7888e4d14469b69b8e546ba1cc1dc555a4de13","datavalue":{"value":{"amount":"+0.8208257555961609","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":"Q1193491$1E567EA5-3E87-497D-9C24-D9CBF294E083","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8af24cc4bf6f53ab1ee119c5ad9a7ba3028d000","datavalue":{"value":{"entity-type":"item","numeric-id":4454091,"id":"Q4454091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95e1fbfbefdca42cf2efdf2aa52d3cdcb5b07338","datavalue":{"value":{"amount":"+0.8038178086280823","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":"Q1193491$540AE5DB-E660-4FBE-B70C-63DE6F22BF52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cc672abaf1f8765e669bd355c721cf408616c49","datavalue":{"value":{"entity-type":"item","numeric-id":1827411,"id":"Q1827411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daa1cc8e795423de787a702e82b2249902d58d9d","datavalue":{"value":{"amount":"+0.7799409627914429","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":"Q1193491$55DB5D40-0862-47A7-A78C-3F2814C122D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7592b8d6056711fdb5ab7a897780063a245e4485","datavalue":{"value":{"entity-type":"item","numeric-id":1182709,"id":"Q1182709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0302ed3f32c2509b46e1f54944fda7a1b4f555be","datavalue":{"value":{"amount":"+0.7404206395149231","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":"Q1193491$39CB6320-CFBA-4D48-9EFB-E5602DCC3557","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Natural language syntax and first-order inference","badges":[]}}}}}