{"entities":{"Q266881":{"pageid":268648,"ns":120,"title":"Item:Q266881","lastrevid":60596142,"modified":"2026-04-10T17:56:55Z","type":"item","id":"Q266881","labels":{"en":{"language":"en","value":"Translation of first order formulas into ground formulas via a completion theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6566312"}},"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":"Q266881$FC10D36F-2235-4C9F-B81F-5A4D8046C723","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"373f9a2a7c0b82f04676ebfd8c03747ad87bc0f0","datavalue":{"value":{"text":"Translation of first order formulas into ground formulas via a completion theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q266881$522E805C-989C-4138-BFA4-A08ED3E39980","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"628d3d75bd5eb1935858995efac49ff50cb80c73","datavalue":{"value":"1436.03100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266881$51768C4D-7065-4C2C-944B-3B54B963FBC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"393e0bcb000ec0fe1a5c28a426b1c9e092ecdc93","datavalue":{"value":{"entity-type":"item","numeric-id":266878,"id":"Q266878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266881$17D91CCF-69AC-48E8-BC3D-F6F5E5C039AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5d81225bab06711ff25835b9a7685484694bbb1","datavalue":{"value":{"entity-type":"item","numeric-id":266879,"id":"Q266879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266881$27582B11-346E-43E4-8C1B-FFFE3FCA2073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"06f347c477e6a3bfbc2412f1ac469a8749b00377","datavalue":{"value":{"entity-type":"item","numeric-id":266880,"id":"Q266880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266881$B43EF135-65CA-4842-B9DE-202636EA82BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266881$CE7E80A0-EAAC-41E0-A0A7-6418C1CF6AC6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"64bf554456e45f50d4461f4a22c88ea8b86e4044","datavalue":{"value":{"time":"+2016-04-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q266881$00140E52-CD58-43F9-8A9A-C4F7D610251F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266881$E8C63433-D448-4E07-845C-92D37E9659F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266881$A08C1F2D-6F21-412A-8A6D-3CE17E447EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266881$AD4C0974-088D-44DC-B0DD-02D35CF0343A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5e053bdcfd588205be85759eda870ffeeab4053","datavalue":{"value":"6566312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266881$105C82DE-1252-423C-8232-E4292650019E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3b9c19163b3b382f364c7f74a0cb05222a4bbd4","datavalue":{"value":"modeling in logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q266881$EFB71B37-BEF5-4FF2-8C7D-04591F228C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e5af092c73a275779817e247d7573bd8c69ee28","datavalue":{"value":"domain","type":"string"},"datatype":"string"},"type":"statement","id":"Q266881$10DD6B54-143C-473E-965E-B6B730D9B4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"961475a764876322b1872d31bf34e411952a0483","datavalue":{"value":"independent formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q266881$C4DEF71B-1908-4394-9E0E-6D376F6DA88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a20a062630d1bb5cf9aa5d669cd08fbd3eee7671","datavalue":{"value":"automated deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q266881$E4785634-1A79-4D07-ADCA-2CF23BB839B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b1e5d54407ed9f231f52e97aa222273724453d4","datavalue":{"value":"application to biology","type":"string"},"datatype":"string"},"type":"statement","id":"Q266881$2C9B2CEA-9C0E-4A53-97E3-8404987E88B0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c316f8a573aa9a8fb0377729133fd503b4a3381a","datavalue":{"value":{"entity-type":"item","numeric-id":13632,"id":"Q13632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266881$75B19401-FBBB-467D-A55A-29BA8ADA92D3","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":"Q266881$1004F580-65F0-48B5-BCD4-E8ACD1AFD492","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"744e2c1c36ee4b6625755b1cc4b00b9a0d58bc1f","datavalue":{"value":"https://doi.org/10.1016/j.jal.2016.02.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q266881$50344180-4832-45A2-83F1-EDBC5C1258A1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bb5d8e685c4e42bce773aef4c91651e3e69b864a","datavalue":{"value":"W2282901080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266881$D31EC0B9-0983-481B-8345-F1D2BD3BE446","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266881$DF0264AF-3B1F-4E3D-8E29-8EE046E2C5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"871c3c13b3a08d12aa2bdbc5a4fb181ca43ba190","datavalue":{"value":{"entity-type":"item","numeric-id":385995,"id":"Q385995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266881$D6F02E12-AD2F-4380-8B32-D9DF93652356","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f32aca09a46928a75cfeec41f3ed91ec0ce02dab","datavalue":{"value":{"entity-type":"item","numeric-id":4302819,"id":"Q4302819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266881$205D6A8A-AA04-456D-8360-3D1BAC4F687E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"055d5178aba9a5f304bf8bfb61481e4178a129b2","datavalue":{"value":{"entity-type":"item","numeric-id":5572333,"id":"Q5572333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266881$EC4D1B7E-805D-4666-BAFE-8AD7FA837756","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac78d6346f739f6266b5a8445a0ccb15bfa61032","datavalue":{"value":{"entity-type":"item","numeric-id":1199916,"id":"Q1199916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266881$2293F027-33E4-4AC2-A3FC-5DD376087F45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e45e2d1ee99ac9f2bc658512989fd2b14c684f65","datavalue":{"value":{"entity-type":"item","numeric-id":1031675,"id":"Q1031675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266881$28529556-708C-474E-92B0-C00478616F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eec1ba63edc0847667b9f0cb492bfd420588a7dc","datavalue":{"value":{"entity-type":"item","numeric-id":3568229,"id":"Q3568229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266881$6FBDEE54-8B16-46F6-BD4B-6D0C44D1F753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0c141352fba382a59943f19a2b1648b3ea929da","datavalue":{"value":{"entity-type":"item","numeric-id":1161312,"id":"Q1161312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266881$53A94EA9-A6A2-422D-A205-3F629A0AB949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b755eb22e0823b9cb2427b4cf2fce7bc1859e2c","datavalue":{"value":{"entity-type":"item","numeric-id":1092679,"id":"Q1092679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266881$2C1C1C26-8407-434D-B24B-5928F9AF290C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44bc767850337e21a183ed9e8b9103abf049f928","datavalue":{"value":{"entity-type":"item","numeric-id":3206351,"id":"Q3206351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266881$F35062C8-CDB8-4CC5-AE95-7B65C2133621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09289f6833573b3dfe785ef27b87fe1f0ccbfbc3","datavalue":{"value":{"entity-type":"item","numeric-id":1060859,"id":"Q1060859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q266881$6C39953A-136E-4DB9-9446-4FB20B86291A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0a13bf1991221b9f55743e7b05d8b4a4038d9622","datavalue":{"value":"10.1016/J.JAL.2016.02.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q266881$081AB8C5-B347-416F-A524-76EFE79A58C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d5968f2b23fcdc9731d7a84030bc488254fda57","datavalue":{"value":{"entity-type":"item","numeric-id":1799100,"id":"Q1799100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b4cb0e1a2c640074f658db178a0b346f72b3519","datavalue":{"value":{"amount":"+0.7010706663131714","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":"Q266881$8661C7D8-C45D-4408-8108-7EA42C2E7AFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"886a43aaaeabbad57e3250aa9d49aed7ea27cb97","datavalue":{"value":{"entity-type":"item","numeric-id":5900730,"id":"Q5900730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aaf0849403e02ab62bd8c582c4fdd30a269dc6a","datavalue":{"value":{"amount":"+0.6963178515434265","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":"Q266881$BCCF122B-D63B-4B2D-B5F3-878589B02572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aaece1a008a889408362390797c1b72877bc292b","datavalue":{"value":{"entity-type":"item","numeric-id":420824,"id":"Q420824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfb918506112468c44c39b684b14d021c00be9a6","datavalue":{"value":{"amount":"+0.6930414438247681","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":"Q266881$54B9E1A3-0551-4F01-9A26-1E457EC028E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28f1a67f1946b227f917aae7807e47857d42047c","datavalue":{"value":{"entity-type":"item","numeric-id":3770495,"id":"Q3770495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"441d3674496581c175f91618994edd0f754007bb","datavalue":{"value":{"amount":"+0.6860983371734619","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":"Q266881$5A540DCB-1332-4BB8-80D2-DCBB0C026DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74bfb81c4ea5d5adca76e93ec993a1460c358b30","datavalue":{"value":{"entity-type":"item","numeric-id":3563101,"id":"Q3563101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6211aab619fd70b44ed3a5545d7d40c469b06a40","datavalue":{"value":{"amount":"+0.6741765141487122","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":"Q266881$A9573EA7-16AC-4CF1-9195-E322EB165CD5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Translation of first order formulas into ground formulas via a completion theory","badges":[]}}}}}