{"entities":{"Q5286163":{"pageid":7315737,"ns":120,"title":"Item:Q5286163","lastrevid":41561483,"modified":"2025-05-05T21:42:39Z","type":"item","id":"Q5286163","labels":{"en":{"language":"en","value":"Taxonomic syntax for first order inference"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 223629"}},"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":"Q5286163$15979204-6D18-4360-ADCB-00B6F46F9D51","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b577a33a524f0dc878c01c1ecea323b52f2196e0","datavalue":{"value":{"text":"Taxonomic syntax for first order inference","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5286163$8176B440-8850-4B35-8F46-B65972E6CB70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"704bb3b05b3757c5ad5f5915aca68f497e0a6222","datavalue":{"value":"0770.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286163$0C60A01D-D007-4C0D-8A41-CAA961419C2A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d5acda846e7ca0001b339a1453c8230ea491696","datavalue":{"value":"10.1145/151261.151264","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286163$1E2952D8-16DF-4078-85A2-1D0E62294123","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":"Q5286163$435820B0-018F-4A8A-B3C2-3A4960BCE9E2","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":"Q5286163$84676226-A350-4E26-A862-F3524BF616A9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5286163$41CEF34D-9F41-494B-BF77-02FBCFDDF2BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be4381b75afe2df0dbe37cd1a66e006418c0c5aa","datavalue":{"value":{"time":"+1993-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5286163$EDD3FCAE-2125-4F36-9F15-D232DF7DE70D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"55ef46f664ec52fd4f43cc0a1622b8ea3d938278","datavalue":{"value":"http://hdl.handle.net/1721.1/6507","type":"string"},"datatype":"url"},"type":"statement","id":"Q5286163$8F710C37-9451-463D-93DB-FBC86AA0CD58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286163$5C3811F2-BF04-46D3-A876-0AB1B396D725","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2adb7a73185c5fe47aef62ae00d117addb336be5","datavalue":{"value":"223629","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286163$7F4B295B-D811-415A-B40B-1FFB0C4AC41B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286163$17D08643-CD6D-483D-8EBB-D707C7D5E8D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6135ceafed3292f6b66e098192375f7d5b754046","datavalue":{"value":"inference rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286163$B6A96BC9-B8D6-40C3-98C2-8FF90FF27CCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37c120614ad5366f1665c44f83eae006991bb0a3","datavalue":{"value":"machine inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286163$CDDDEA7A-9AB7-44DD-A56B-52B42228B1A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"033bcb9864019192358d248f1765aefb1c4f7385","datavalue":{"value":"mechanical verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286163$432C271E-6802-46D4-8FEC-15A36DBA0B8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d85c121e6e6200a1d4667137fca957de2656737","datavalue":{"value":"polynomial time algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286163$5A224988-F6C0-4062-8F22-FD2C2368695D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286163$1C6C1BEF-FF4E-4ECE-AB4F-AA99487F6171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286163$F52EFFE0-557F-406A-B00B-4FFE4B39DD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dbec5c2b93e66e86aa0d97f1c5c6e6aacaff7fc6","datavalue":{"value":"computational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286163$8BB52211-DFF2-4297-8284-1D806799EE58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2db40c62fbba481c23c52e595e1d3bd4320088e","datavalue":{"value":"mechanical theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286163$580E3122-9460-4514-8E86-075281A478A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b399e80d32f01f0e5ecb7d27abf0eef31abf6cda","datavalue":{"value":"deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5286163$A2589E2C-ABD3-453E-9E80-6C25628A6ACC","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":"Q5286163$7C9FD52B-CECE-43A9-9B98-178142B4D9BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"499ebc2d0dbb3a84dbe8926331004e35894f2b1a","datavalue":{"value":"W2125402034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5286163$9BC602A0-4714-4BDF-9044-765FEAA47485","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57cbae1444212335c1a63e06fccfa44a52e4da76","datavalue":{"value":{"entity-type":"item","numeric-id":3493312,"id":"Q3493312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d285375351ed6d1a528eb1f7128a18dbec268d7","datavalue":{"value":{"amount":"+1.0000004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5286163$C5D3FF9F-C54B-443F-8F26-7AFB1F7C1AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b50c05f7150fe1e53817a27e2426877f05a897a","datavalue":{"value":{"entity-type":"item","numeric-id":1193491,"id":"Q1193491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d32d7c2302075def334e6a6e55788a6067ef02c8","datavalue":{"value":{"amount":"+0.8558972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5286163$023E4551-D326-4183-AB66-9C0DA275C2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1d9a4b92ed44148f3c34287a0507eb8c8e412d7","datavalue":{"value":{"entity-type":"item","numeric-id":4933257,"id":"Q4933257"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2029c8c90f6317a75a651c37fbeda53b87caa514","datavalue":{"value":{"amount":"+0.8298923","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5286163$EE080F19-C94A-496F-A6D3-479A1C673855","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56cfa730fba5f408f59c7665e2b9dfc7f9e5812a","datavalue":{"value":{"entity-type":"item","numeric-id":1319359,"id":"Q1319359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c80e88ed266f751a48375cba30c0c40888cafca4","datavalue":{"value":{"amount":"+0.8240749","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5286163$C2920DB2-603E-401D-AC39-04ABD5527FEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3075f86122fc42ffe61f44127c74fe597a27497e","datavalue":{"value":{"entity-type":"item","numeric-id":2865748,"id":"Q2865748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fae78f2f2034db7ad934ae43acbf3f9bcd22dd3","datavalue":{"value":{"amount":"+0.82279783","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5286163$854C71CD-F5C2-4F85-ACF3-2C364B4ECE3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53c85cd3c07154f08f211817c176687ff8305062","datavalue":{"value":{"entity-type":"item","numeric-id":4013732,"id":"Q4013732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8c9cd170c9a44b2bd69b732872b1f88537d66eb9","datavalue":{"value":{"amount":"+0.82003635","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5286163$074EDE9A-68FA-4A86-A277-8B28C870BFDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5286163","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5286163"}}}}}