{"entities":{"Q3028987":{"pageid":3039703,"ns":120,"title":"Item:Q3028987","lastrevid":49092400,"modified":"2026-01-06T14:17:00Z","type":"item","id":"Q3028987","labels":{"en":{"language":"en","value":"On the Expressive Power of Equality-Free First Order Languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4016872"}},"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":"Q3028987$02297E3A-1F90-4962-9892-4A3FCA81800F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d0cac1f01b18c6c6e87102f393a453f5e2cdc1f","datavalue":{"value":{"text":"On the Expressive Power of Equality-Free First Order Languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3028987$E80FFE43-546E-4DAD-AB5F-604729EB5976","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5f2dce8de07702978f54e6fa7ec4f7ffba3a289a","datavalue":{"value":"0626.03021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028987$1B31F8FB-2AD4-4285-99A5-ED9F393E2307","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"020be03487864495e5a7144504f0ace6b5fe137f","datavalue":{"value":{"entity-type":"item","numeric-id":3028986,"id":"Q3028986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3028987$57A2CDBD-A357-4E17-9D32-E6BC52E17F6D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3028987$DE655BF0-A209-4BA7-95F6-57E89C604087","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3028987$576BA943-23C9-4E90-A65F-DECF10288DE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028987$2D9BB502-F53F-4F4A-B87C-C5F3835394BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028987$C2AD4CF5-18E1-4288-B937-DC589CE2DC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028987$2D4365E2-4B9E-40D4-AD24-36651C59873D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ef1202f0c4bed7931a36b4b97c8f4989a841871d","datavalue":{"value":"4016872","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028987$E33EFD6C-64C7-4FEE-A848-385324BD51DE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7c680ca79b35baa840acc8cd38f4a23dfac81d5","datavalue":{"value":"first-order language","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028987$DB02A6F5-98F1-4619-9DDA-03C882D2C72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6041df15d0168f7b1aeb865e7b5e9a5d2da46a17","datavalue":{"value":"equality-free calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028987$015F0E10-FB4C-427D-AB5C-1F368B447725","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb45a366c5f73694d4193741149731f4b28dce52","datavalue":{"value":"relational structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028987$AB6328B2-056B-44B3-9056-948997E6DB3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66df317af4408a982219cf0796de42bb4036d5e8","datavalue":{"value":"equality-free elementary equivalent","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028987$A4465C5D-48FA-4D3A-9937-391F2DE9C15E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f226b26d290e36cec7735dc0116602da4b74a89","datavalue":{"value":"equality-free equivalence of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028987$C47D5ADA-267A-4881-A69B-AD6F59EF39F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028987$F48D475E-D331-4F9F-BF33-3FE4BB82BE9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc301e83b45696de572ac99e0b5314b22387f5a3","datavalue":{"value":"PROLOG","type":"string"},"datatype":"string"},"type":"statement","id":"Q3028987$95226447-3B6B-4C50-B88D-1C463359880A","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":"Q3028987$87C70A3D-B1F2-4CDF-84D2-D4B4FCBFEFFE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f3c40cf555d879d3955993d190fbb7b0c1c96514","datavalue":{"value":"https://doi.org/10.1002/malq.19860321911","type":"string"},"datatype":"url"},"type":"statement","id":"Q3028987$A1AE5000-CA01-4296-88F4-109C161E249F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"062f67a19d2714fcedc1fb38be69e77d4bc09cce","datavalue":{"value":"W2090051410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028987$14CABB3D-BE07-4E89-BF32-02F4F343C9FF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3aa6d95ea988a913fda28296404b4eb92d10a220","datavalue":{"value":"10.1002/MALQ.19860321911","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3028987$FE8438BE-1196-45CB-A1D2-594794F16BB5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b91a233866ea99ea02ae87e1c853dc05d76836c0","datavalue":{"value":{"entity-type":"item","numeric-id":1355131,"id":"Q1355131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a0156872a2bf033b6ccec6e85bc51f13dc1c4b9","datavalue":{"value":{"amount":"+0.8165279626846313","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":"Q3028987$B44410BF-C8D1-49B0-AE27-76C2DEEB1A7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32a2d9a476a79f698504d06454f82d942ae1d938","datavalue":{"value":{"entity-type":"item","numeric-id":3722481,"id":"Q3722481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99298b3db3c9e93afc82d3518a8c438c4c318c8a","datavalue":{"value":{"amount":"+0.8142082095146179","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":"Q3028987$CF40D93C-F1C9-48A7-ABCE-595BF5D57D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab1a4e951355017afa4cc1c28a3cc6409a6c6c77","datavalue":{"value":{"entity-type":"item","numeric-id":1368911,"id":"Q1368911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a3312ae8eeb9ca11ce172f93f8e5466e24b8ecf","datavalue":{"value":{"amount":"+0.7678229212760925","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":"Q3028987$3568E23F-05B0-431A-BDE2-9AC656A5A679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"580cb92ce36cfba768229e1f44215fa4017ebf20","datavalue":{"value":{"entity-type":"item","numeric-id":4934882,"id":"Q4934882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5add4e6f91ba72f2baa464965acce17c643ad19f","datavalue":{"value":{"amount":"+0.7661539316177368","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":"Q3028987$145BF3DD-6CC5-48F7-B586-22FC6A457338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"960214e635bc75567d91e2c7072fba71ae7fdadd","datavalue":{"value":{"entity-type":"item","numeric-id":2707243,"id":"Q2707243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5add4e6f91ba72f2baa464965acce17c643ad19f","datavalue":{"value":{"amount":"+0.7661539316177368","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":"Q3028987$143A5ABC-37F9-443E-9EA8-7F354E4A9728","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3028987","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3028987"}}}}}