{"entities":{"Q1309900":{"pageid":1320650,"ns":120,"title":"Item:Q1309900","lastrevid":68425314,"modified":"2026-04-12T23:37:57Z","type":"item","id":"Q1309900","labels":{"en":{"language":"en","value":"New methods for computing inferences in first order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 474781"}},"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":"Q1309900$24E27FEA-4663-4703-86C4-4F697E9BE7B1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11f8acf90295572d9d9964ddc567502c4be1a247","datavalue":{"value":{"text":"New methods for computing inferences in first order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1309900$7A481DC1-005C-4B76-AC66-67974905015E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"be515a777bbb3296938dabd59e66344b214842be","datavalue":{"value":"0788.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1309900$CCF54B5F-E92D-470D-A841-8751F3BA4D58","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9254f6a4225033d0b47daa57d4bf5b5cabfb4b4","datavalue":{"value":"10.1007/BF02027814","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1309900$84383EFC-62AC-498D-9A68-532B041B2365","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8f57d1123ebbbd10d621b3552a672e7729202712","datavalue":{"value":{"entity-type":"item","numeric-id":59875,"id":"Q59875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1309900$360E3827-BEF4-4043-99E2-24AB6DA54706","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"92112234a474f78049341bfb55637019f67e54ac","datavalue":{"value":{"time":"+1993-12-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1309900$2BDB9ED5-EE92-4C85-9572-25539EE399B4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1309900$CD111212-F94F-4B7B-9169-E56A91D24C57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1309900$8D8E6639-3E12-49AA-BDE5-B130BC72FE1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ec16ee69aaa607edd2db7a419f118ff02ab28d80","datavalue":{"value":"474781","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1309900$E1EE4BFD-866A-4948-805B-04767FC88CCC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad0634b490a4639eeb6732497eb5e16842e3f9e3","datavalue":{"value":"satisfiability algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q1309900$C7FCAE4C-E9A9-4566-B60E-09D3E5DF0466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a818b55c56def420de6c94352d5674fc28a3403","datavalue":{"value":"partial instantiation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1309900$819DCBDA-9956-490D-824F-9DE241604A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"24ca6e5d96302e14986e5863288382df4431044a","datavalue":{"value":"decidable fragment of first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1309900$0F1F551A-339C-46F2-820C-F9B137357E51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dfdfc80d52599880a400e6bfabf4e5fe3dd545a4","datavalue":{"value":{"entity-type":"item","numeric-id":662263,"id":"Q662263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1309900$DD95A2E5-0831-4872-9533-3260F8397C31","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":"Q1309900$D9C4E32F-D028-46B9-97D8-D5D9F6F49D1F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"47f53683ef323d99def8db920b583feaf053fe0f","datavalue":{"value":{"entity-type":"item","numeric-id":1100931,"id":"Q1100931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1309900$C6031FD4-010B-4A62-8D4C-BC09B84833AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b89df7c280a99400b8f816e3dc3b2d0d14b612ce","datavalue":{"value":{"entity-type":"item","numeric-id":4302833,"id":"Q4302833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1309900$A05660CD-9C6E-43ED-9FA0-A292BC084561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd2d94005cf638be560bebea9f4aaaa8555421d","datavalue":{"value":{"entity-type":"item","numeric-id":4255462,"id":"Q4255462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1309900$19B045C7-D54F-42B9-AF06-53AA11AD50EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5369245c683380663d43367502a396b591af1be3","datavalue":{"value":{"entity-type":"item","numeric-id":5763293,"id":"Q5763293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1309900$CE74917A-7BC2-48C6-8D77-477ED9CFF7A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"903be65f2ce4dfc9de2cb4616261a15d63aa1637","datavalue":{"value":{"entity-type":"item","numeric-id":3826123,"id":"Q3826123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1309900$6AA3835D-3A98-4DA3-B718-DB4235927D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"be5611a6f60e59f1388392174f8631ce9b0f98d8","datavalue":{"value":{"entity-type":"item","numeric-id":3789107,"id":"Q3789107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1309900$E6740D9F-DB4A-46E0-81DB-1E7DD9A077C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"487c3b72cf5317ad59f2588afc0b3ef4297b1153","datavalue":{"value":{"entity-type":"item","numeric-id":1104751,"id":"Q1104751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1309900$7125B7B2-AC29-46C2-8E41-4CB4F43FF309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b986f531a76b51b0af4fb1f0351ee33f04b2bb3e","datavalue":{"value":{"entity-type":"item","numeric-id":1235692,"id":"Q1235692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1309900$F42828CE-CEC2-46AA-B489-4E917791C564","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e5d9c51a56730bb3dd6bd0db50d4112f0afc06f","datavalue":{"value":{"entity-type":"item","numeric-id":1100093,"id":"Q1100093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1309900$A53C7689-BBA4-4EC1-B200-46580277FE67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05de296e121fb7c75e48d1e2ce77bc16cf43eee0","datavalue":{"value":{"entity-type":"item","numeric-id":4018154,"id":"Q4018154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1309900$6BA0B632-EFE4-4F71-AC2A-3648A197A7AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c66d71147348a0e858d993be3b5a78966a8e324e","datavalue":{"value":{"entity-type":"item","numeric-id":4036286,"id":"Q4036286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1309900$E51A3893-2449-47FC-989B-ED2F47C8C47B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2261e03fb7a4b873cc7bf0aa682c707ae43c92d9","datavalue":{"value":{"entity-type":"item","numeric-id":1356213,"id":"Q1356213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1309900$B20B9B5B-9E62-40A2-A86A-E1CBA0ABC132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c3cf7cbf24f5ad1e6d8cb76fb93a3b15d7aa5c2","datavalue":{"value":{"entity-type":"item","numeric-id":1356218,"id":"Q1356218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1309900$9632AAF4-9018-4F4E-A07E-D102AEDC0DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1b7f4d37bf437a138f1f98d3c8527d4f425a10","datavalue":{"value":{"entity-type":"item","numeric-id":753688,"id":"Q753688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1309900$3477D3DF-7545-4673-8E24-F6FDBE4F998C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c7ac2dad85fe7e7854dce96948ab070017e73d5","datavalue":{"value":{"entity-type":"item","numeric-id":1356219,"id":"Q1356219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1309900$62DE99AC-B198-4C36-A741-E15DED30111F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8bc6627635c436dcd562e9662052656a8c07a4","datavalue":{"value":{"entity-type":"item","numeric-id":1073782,"id":"Q1073782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1309900$30021F00-1DEE-4342-9790-4D3921E53F32","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"645abf4b915901b51cbbe9587d2f5d49f4f9a967","datavalue":{"value":{"entity-type":"item","numeric-id":1610676,"id":"Q1610676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50afe83af5cfc1a419d4de236ff43af91457c1a0","datavalue":{"value":{"amount":"+0.9055584073066713","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":"Q1309900$02627303-B975-4935-A7F2-D48DD1CC9700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42bfcd7c99538f13f94bdcfe38328212eab1a212","datavalue":{"value":{"entity-type":"item","numeric-id":5939378,"id":"Q5939378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5105bfa08dc04c25eaeac48c5409bcc54bf688e9","datavalue":{"value":{"amount":"+0.7541682720184326","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":"Q1309900$C373CEE0-BA2A-4EF6-9C0F-1BA5044B030A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ed6e64f71f3ca960a1204ab3c9772aa3ef5c5fe","datavalue":{"value":{"entity-type":"item","numeric-id":1326778,"id":"Q1326778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff5934b01ae19bc73e5de4c6277a84de5c256b11","datavalue":{"value":{"amount":"+0.7539070844650269","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":"Q1309900$CA6A38EB-972E-4113-9DD7-09A9262D4B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5ca60d4d17d093345485d72d5f498e1fde1991f","datavalue":{"value":{"entity-type":"item","numeric-id":3655208,"id":"Q3655208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"976ce146f0806f8f984827577db256e431f7cd3b","datavalue":{"value":{"amount":"+0.7494816184043884","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":"Q1309900$047ECC2A-720F-43CC-9FFD-7E4300E39B0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e68a4ecd14d9185b0b097d26bcd476c19dadcf82","datavalue":{"value":{"entity-type":"item","numeric-id":4319327,"id":"Q4319327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8b1205dfdae1ab38ff71aed194839593517c828","datavalue":{"value":{"amount":"+0.7440096139907837","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":"Q1309900$C2DFCA55-33AD-40DF-8F89-E22F43E4B95B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"New methods for computing inferences in first order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/New_methods_for_computing_inferences_in_first_order_logic"}}}}}