{"entities":{"Q2069868":{"pageid":2080610,"ns":120,"title":"Item:Q2069868","lastrevid":56692422,"modified":"2026-03-18T21:55:47Z","type":"item","id":"Q2069868","labels":{"en":{"language":"en","value":"Handling transitive relations in first-order automated reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7461266"}},"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":"Q2069868$ED6734D0-C93E-4A11-8CBB-35C0D4C93DCA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"07dc41cfc9c5115abbde9e65c2be2a0f57c33d64","datavalue":{"value":{"text":"Handling transitive relations in first-order automated reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2069868$B1D530E5-6D07-46E6-820C-767ED382B0E2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1ebcb9f6003248d9f6e3888a3874f451e22b906b","datavalue":{"value":{"entity-type":"item","numeric-id":438538,"id":"Q438538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069868$154860A8-32A5-4AC2-B594-D6EFB6882132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"98813b9f434f6a88bc404ff2ea2f8e4c67626ae8","datavalue":{"value":{"entity-type":"item","numeric-id":438539,"id":"Q438539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069868$4FB02B7E-99EE-4120-9036-B0048CE0680F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069868$EA87E032-C624-4CD7-B204-3E5FA3A546AA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"212b5d293f1898346d16fd63133f51036fbfbfcf","datavalue":{"value":{"time":"+2022-01-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2069868$556155FC-1E23-41DD-A7C5-09BDBCE3BA9A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2069868$60E9CE74-702D-435C-B165-F62E5A1EB1F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60eeba45eff845cd7b6a4bf99a1d24af753cd66c","datavalue":{"value":"7461266","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2069868$FA9E891D-ACA7-4F3F-83D4-E18B30293F57","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069868$4EA378AA-CBB7-40AD-9E54-4E4F0CC7A4D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e70a8ab03884bbbe8cf1ba0ff36ba7033eb77a4","datavalue":{"value":"transitive relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069868$0061A485-4F74-40CE-9F60-EA3C8754E074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069868$04CB7F96-AD08-4DEE-A881-21D8BFF6D2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97a3580fefb9f9a05b9104da92afdd215835bc22","datavalue":{"value":"transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069868$2AC4FAE9-8B8C-4663-8305-3557B4267D2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"675eed55543b423fc7b51c01fc2b52bfa3550283","datavalue":{"value":"binary relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069868$D1ACD0BC-7A06-4A7D-B799-4543F8588C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069868$4B13E3DD-DAC9-4A78-9413-9BB484921425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49388e046339f86e6623a972cf68b5665500aba7","datavalue":{"value":"transitivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2069868$3D35AF34-F87E-4EA5-8608-A651D9AA3756","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"41fc9cdab07636dca04412ef0070f1d13ce58f4d","datavalue":{"value":{"entity-type":"item","numeric-id":19148,"id":"Q19148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069868$2D30C8DA-BF20-4EDA-A3E2-AC61F68BF834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069868$92362B08-0A19-4DAE-9EC4-929E8E30569B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069868$15C9015C-ACE8-4C75-9C7B-BEF812970D82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069868$EF4F5F78-1EB8-4CA0-8AC1-5252EBBDB4CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6f90a2f4d38316e0bb5a27c4b90cf6cce495aa0","datavalue":{"value":{"entity-type":"item","numeric-id":16295,"id":"Q16295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069868$0FD5B548-B338-46D8-A8AB-9E15C9C589E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bd3fa568ce44545ce1c1bded3c45ecc37b43b7c1","datavalue":{"value":{"entity-type":"item","numeric-id":21467,"id":"Q21467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069868$FB8BD10D-5D4C-4540-B9F0-3117A5D6B068","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":"Q2069868$296494CD-5062-4EB2-AE8E-C6AF64BE8B1F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2463bee91f15865c024e85e3f0ad5e3ffc75787b","datavalue":{"value":"https://doi.org/10.1007/s10817-021-09605-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q2069868$5545BDBC-0E96-4656-BFD7-20705F0453FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"67cbb22638d9add175c22d0c95e6df39288f8b22","datavalue":{"value":"W3201112613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2069868$A3803004-E231-45DD-8917-3BEA16A2E0D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d2cf835bd77f96d03dced45b87a25996d25db85","datavalue":{"value":{"entity-type":"item","numeric-id":3158528,"id":"Q3158528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069868$4E743692-307E-45F0-A04A-9A9A4CB8D011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee26a945150fb6c6a0518145fd0cdbe9cb7a0b0f","datavalue":{"value":{"entity-type":"item","numeric-id":4633533,"id":"Q4633533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069868$2D4AF1FF-FA3B-40E1-A2E9-674C3525A511","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2596b1879c536ff130c1e946822ee3217ef7a46","datavalue":{"value":{"entity-type":"item","numeric-id":4916077,"id":"Q4916077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069868$D4BFF510-D01D-4D7D-860E-C1410AEED52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63f1c65c30c73b028165aca3e633d1a6f3c61827","datavalue":{"value":{"entity-type":"item","numeric-id":2405247,"id":"Q2405247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069868$84BF480E-0972-41B6-ACA2-087774EF875B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4c0b67b26953c51ed06d8bcf68eda9998162111","datavalue":{"value":{"entity-type":"item","numeric-id":5277784,"id":"Q5277784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069868$4A5324EA-FB4B-4340-9AF0-F959CCBB802B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07441aec0715add91dbf903fea4c539fe7c16a9c","datavalue":{"value":{"entity-type":"item","numeric-id":5210777,"id":"Q5210777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069868$1B08B024-4EF3-4E59-BB3F-F58052BF725D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56e2dbd1c024d492b6dfa954b304f9b8207b1591","datavalue":{"value":{"entity-type":"item","numeric-id":5758136,"id":"Q5758136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069868$22317A84-A656-42CA-9EE0-358E9F89C37F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"63485f5578bdbc5dc16d4da2f9b9d630375f1c4e","datavalue":{"value":"10.1007/S10817-021-09605-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2069868$6350ABC5-8F06-45BE-A642-6CCAC249E41C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54718401470ccf00d2f7703bc8c8326e40d31b1b","datavalue":{"value":{"entity-type":"item","numeric-id":3158528,"id":"Q3158528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c46b19be4c55778d1bbd5e4558b7deb3b368bc94","datavalue":{"value":{"amount":"+0.7563180923461914","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":"Q2069868$0FA35FD0-6E27-4144-B42E-4D3211286B81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7130a187bd24e4894b8f6c7d4617bd02a3c1760a","datavalue":{"value":{"entity-type":"item","numeric-id":3777497,"id":"Q3777497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9a9c2aaece99cf078f900ad68addb65123f3795","datavalue":{"value":{"amount":"+0.713721513748169","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":"Q2069868$2C48481F-7E28-413B-ACD8-39F5D29AEF4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b086fdad4b9d42ce7c0d50b538d7d8e73036b1af","datavalue":{"value":{"entity-type":"item","numeric-id":3711783,"id":"Q3711783"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71738cbedf2e709ac4f489819f4e03edbd56b045","datavalue":{"value":{"amount":"+0.6749933958053589","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":"Q2069868$30C43975-A971-4C54-BF1C-C81A0EDE9540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cddd70aaa714284d92acbb61a0a9e97b9922ba4","datavalue":{"value":{"entity-type":"item","numeric-id":3793763,"id":"Q3793763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5b3984c6c5ba6bea6be9bde808c67c4b984798d7","datavalue":{"value":{"amount":"+0.6739712357521057","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":"Q2069868$F63B194D-943A-4B05-BBA1-E67A2D0FCEB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dadf4fa01427cd5581e8dc7e4d8d4179de831377","datavalue":{"value":{"entity-type":"item","numeric-id":2778885,"id":"Q2778885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9eb765065e84bb87e2f356c864ec75971da2e8ba","datavalue":{"value":{"amount":"+0.6556395888328552","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":"Q2069868$AC0E369A-B2CD-480F-8210-2FA41AE4CA2B","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2069868$F015FF6E-02B8-4118-98A3-26C236735DA4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2069868","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2069868"}}}}}