{"entities":{"Q2284181":{"pageid":2294924,"ns":120,"title":"Item:Q2284181","lastrevid":55372474,"modified":"2026-02-17T14:43:33Z","type":"item","id":"Q2284181","labels":{"en":{"language":"en","value":"Transitivity and equivalence in decidable fragments of first-order logic: a survey"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7150812"}},"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":"Q2284181$2B25760F-C8B3-4CE1-97B5-05F96327E326","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f8b4d9a59a8f71ea7a3f45ee826e03378e8ff7ad","datavalue":{"value":{"text":"Transitivity and equivalence in decidable fragments of first-order logic: a survey","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2284181$46C30E1A-1A61-4EB1-A904-3A8A8D024801","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"aecee4541df7fba2ad5800af90262c24754da7e8","datavalue":{"value":"10.1007/978-3-662-58771-3_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284181$EF6CEF9F-2CB9-4E51-B91A-EAB2A4D5D3EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d8cfac01b20b442a0f2bc5739cafa25fbe3ad63f","datavalue":{"value":{"entity-type":"item","numeric-id":464616,"id":"Q464616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2284181$690C0077-B46E-4B0D-95B1-4C861172706D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"945aeaf7c219820e626afa57f9ae821b0aa71dd9","datavalue":{"value":{"time":"+2020-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2284181$9EDBD92B-0B50-4386-B2A6-A989C6D1819A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"11cabf296cbf78cefb4c4e9ef3c9625682c34a7d","datavalue":{"value":"03Bxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284181$5D038942-64BF-4C3F-8240-A7AE52AFE91E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284181$C6FAA0AF-AD21-4876-9412-CE6EFBFC196D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e1402c535c83a6dea5a4a3434e53e6ca318815ec","datavalue":{"value":"7150812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284181$99E394B3-0857-4B6E-8705-C3C556F10B40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284181$7BDE9982-4165-4023-A06E-316296319AFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49388e046339f86e6623a972cf68b5665500aba7","datavalue":{"value":"transitivity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284181$849EE34B-09C4-4C04-B230-6F8E197A9198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f080b22ac194cf7585a56b63883129b1a17549b","datavalue":{"value":"equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284181$C0D699A2-73B7-41E8-B7CE-1B69FA28E951","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q2284181$624B3F62-4152-42E5-9616-72F604944E3D","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":"Q2284181$A48306A7-5951-4D0F-A104-BD23E3BC4720","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eed70204f55a8ca4a73beb5f40c04512f3067b04","datavalue":{"value":"https://doi.org/10.1007/978-3-662-58771-3_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q2284181$A503A163-A09A-4B00-8A9A-E31AE8CE7BF5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d188005dd3d723d8cf0cf6196af57dad3043e57","datavalue":{"value":"W2913398514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2284181$DBFC5625-E887-4CC2-84DB-11F97E068CD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a4e5f74fd2d88b826f67efccc16a579722b7cdf","datavalue":{"value":{"entity-type":"item","numeric-id":5109226,"id":"Q5109226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cc05021ea6f5bebfc23b88d0e7b0e6a733f0485","datavalue":{"value":{"amount":"+0.7698164582252502","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":"Q2284181$8A5A85D3-AFA0-4AC0-9DBD-5956EAF95295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6c13132304d29cc7503eccfd41bbe89455040b2","datavalue":{"value":{"entity-type":"item","numeric-id":2238133,"id":"Q2238133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"686d055bb183ae5fc4b00cbe0c86aed4e47dfef1","datavalue":{"value":{"amount":"+0.767005443572998","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":"Q2284181$DE0832A3-DC81-4200-ABE5-968C16B27BBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2056267600d4782e80a731523c518d6b4309c56","datavalue":{"value":{"entity-type":"item","numeric-id":5092377,"id":"Q5092377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"abcf27dfcb663a09f72e8f8801e7212172999311","datavalue":{"value":{"amount":"+0.742990255355835","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":"Q2284181$C0C8A166-9926-490F-AD99-8CD27E4A5926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c23e8b540c1a08ebd55f144dbf5747bc35fe6ab2","datavalue":{"value":{"entity-type":"item","numeric-id":4383703,"id":"Q4383703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7b8cf5a62eec31d5f3929bbb4742ad016d7c875","datavalue":{"value":{"amount":"+0.7424951791763306","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":"Q2284181$5BC9C515-5917-444E-981D-8A14874A8DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abbe56744178f87ec14db4ccc7afa3fd639ba1d7","datavalue":{"value":{"entity-type":"item","numeric-id":5871044,"id":"Q5871044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27efe240c21af1265933480e9e383a0b196fc90a","datavalue":{"value":{"amount":"+0.7411983013153076","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":"Q2284181$6F70C8D3-4CCE-4FD0-95ED-ECA702F5DBC4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2284181","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2284181"}}}}}