{"entities":{"Q2864399":{"pageid":2875119,"ns":120,"title":"Item:Q2864399","lastrevid":79490465,"modified":"2026-05-06T14:01:56Z","type":"item","id":"Q2864399","labels":{"en":{"language":"en","value":"Generating minimum transitivity constraints in P-time for deciding equality logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6236408"}},"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":"Q2864399$E2F67A9E-CD03-4081-869F-2E4BB46A8DE2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa0c2f89853a4b27612573d1f6a467241702a9f2","datavalue":{"value":"1277.68146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864399$E17EB413-F16F-4060-AF3F-1D3134CED0BE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6486561a0ec34857ef6d34a6728ab9ef518366e0","datavalue":{"value":{"entity-type":"item","numeric-id":2864398,"id":"Q2864398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864399$ECA03634-10AE-4E69-9019-BE46AF6530C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"521ea2cb6a301fe9f22d88a2561e7746fdb48379","datavalue":{"value":{"entity-type":"item","numeric-id":246145,"id":"Q246145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864399$7DB2FA04-3F5F-4FF9-9C98-B13AEC614A0F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864399$8A09CBA2-D214-46C2-BC62-F5719E833538","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"deb6cb3450bd256fc635dc32234471403070c2b7","datavalue":{"value":{"time":"+2013-12-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2864399$12B90818-A9DE-4CEB-A86A-3D523A747219","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864399$F7ADFD24-3474-4865-AE1D-08E917408527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864399$124252F3-9539-4265-B5EF-26644F92F385","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbafd8c460a4a1ccc2b26aa1100ddfd5ef314f85","datavalue":{"value":"6236408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864399$23A64E2C-20FA-48A3-82ED-3270AAB43753","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c60cbc0147df6f0ba3bfcee82aa6be3fab356d6a","datavalue":{"value":"equalities with uninterpreted functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2864399$7D1EFDD8-5192-4E44-8540-26910A5A1DC0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f29f161a221c0bedeec97e9d4ad10664227f4777","datavalue":{"value":{"entity-type":"item","numeric-id":16290,"id":"Q16290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864399$BF1DD945-0BCF-45C0-AC7F-B3D86E526AAD","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":"Q2864399$723A22BE-FCA7-423C-BCB6-03DD53B713B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c43a95ec372652a22ac7c061de4c589941f595df","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2008.04.077","type":"string"},"datatype":"url"},"type":"statement","id":"Q2864399$08B3E048-BAC3-4287-A35B-5F62DEF5C26F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"763fa113f8e0a3f7969c7beee8a23ed465453c30","datavalue":{"value":"W2020525563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864399$B2F7A3B2-54CD-4E0D-A9B0-AD4F3B3BFA7C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f2b2673bf036beb0708e9a25319f486f5c7cd8","datavalue":{"value":{"entity-type":"item","numeric-id":2651970,"id":"Q2651970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864399$AEA1E8F1-2742-4625-941F-4E7FA5A130F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534cfa2da099476694e6e32aa658441dc34d268c","datavalue":{"value":{"entity-type":"item","numeric-id":2754075,"id":"Q2754075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864399$342CF4B6-BCC4-4532-8E0B-7C0B1A16A3AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da96dfa99f70c6b2b69c48b417a516b8fa851830","datavalue":{"value":{"entity-type":"item","numeric-id":5312898,"id":"Q5312898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864399$B67A9377-6B15-465F-9836-E38A6ABAA194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b989bba6cd8fbc41aa7bf6fe0537ed3e72818db","datavalue":{"value":{"entity-type":"item","numeric-id":5716573,"id":"Q5716573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864399$C29814E3-332F-4B5C-8C73-18744D66BB2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac267cefe4c0b3f2d90f4b0252d3226cf35ab665","datavalue":{"value":{"entity-type":"item","numeric-id":1854568,"id":"Q1854568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2864399$F59EB17A-F9D1-4228-ABCC-B4A02EDBFE97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f8bb29bc6b92033aaa1a86e707c4eaeb56de1d4","datavalue":{"value":"10.1016/J.ENTCS.2008.04.077","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2864399$838C899C-52C9-4563-92FA-30293E8DC1A2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a8bb896d88fbffbafb4fdfe19cc00b2506bc20c3","datavalue":{"value":{"text":"Generating minimum transitivity constraints in P-time for deciding equality logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2864399$6F22D8A1-E614-4FEA-9C9C-F4D0825995F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"17b3ccdb381fec4be1283b248f65407d3f3879cc","datavalue":{"value":{"entity-type":"item","numeric-id":5716573,"id":"Q5716573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"860d3f041cfdda29a17bebd7612b777c044d5850","datavalue":{"value":{"amount":"+0.8518543839454651","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":"Q2864399$E9F2AB17-7054-430D-A09A-16BE006B5160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f3d2fb82462748952e75213b86ae0104a742f6","datavalue":{"value":{"entity-type":"item","numeric-id":5901672,"id":"Q5901672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f3950c8368c857f358a9bbb6addef9caa5e1a29d","datavalue":{"value":{"amount":"+0.7343028783798218","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":"Q2864399$99FF38C0-2BBF-43B5-9D35-2BFFF46A2226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"872e44b867c29ae43878362674805dad6a4aebc4","datavalue":{"value":{"entity-type":"item","numeric-id":1854568,"id":"Q1854568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d0822aea7168396c1ee87e2ec26933926b8ea1","datavalue":{"value":{"amount":"+0.7262276411056519","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":"Q2864399$8CE51124-0502-49B9-B576-C2957F44AF82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50b1786d5ced00f5948ce5652f6e7040ad802259","datavalue":{"value":{"entity-type":"item","numeric-id":2754075,"id":"Q2754075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83549ac47ee1b474200f9050ee5f86356a700220","datavalue":{"value":{"amount":"+0.7261644601821899","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":"Q2864399$12F33834-CE04-4434-ACCA-3AE13EDB0A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7c5e254aa0f67ed21963ff555cf377105b69cd4","datavalue":{"value":{"entity-type":"item","numeric-id":5703870,"id":"Q5703870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83549ac47ee1b474200f9050ee5f86356a700220","datavalue":{"value":{"amount":"+0.7261644601821899","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":"Q2864399$4D78B57A-AE3A-43DA-AEA3-9E3727AE6DDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generating minimum transitivity constraints in P-time for deciding equality logic","badges":[]}}}}}