{"entities":{"Q2740660":{"pageid":2751399,"ns":120,"title":"Item:Q2740660","lastrevid":82972496,"modified":"2026-05-06T22:34:32Z","type":"item","id":"Q2740660","labels":{"en":{"language":"en","value":"Normal forms of formulas based on axioms for equality and their applications to first-order languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1647221"}},"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":"Q2740660$45E9AB53-6E9B-42CB-B02D-BDCC6DEF8548","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f56e3b6dc57de6822f4950d1bda3f548e981bc8d","datavalue":{"value":"0968.03528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740660$58D2CAE5-A7D6-46F9-B952-83B0BB552F8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"62dfd1e3f4429e00836235a28df310583a508130","datavalue":{"value":{"entity-type":"item","numeric-id":703057,"id":"Q703057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740660$AD8E022F-23A6-4699-826C-6C277196C7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"16a00bca773b934c49381a4f74baec2f9b125f7f","datavalue":{"value":{"entity-type":"item","numeric-id":2740659,"id":"Q2740659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740660$0C2CBF42-05F7-459A-849C-D76CD356DF23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1e797d21326216ad55a231168906c9c452687c51","datavalue":{"value":{"entity-type":"item","numeric-id":209152,"id":"Q209152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740660$B35C5D95-7FE4-40EE-BCC1-7EF98C78CD6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4637e489cc1833e1100c144ccee6ecc88878afd9","datavalue":{"value":{"time":"+2001-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2740660$3899BB00-D8BE-446E-84CC-232443CEEB4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740660$ABB3BAD8-9EF6-4C34-B828-E27526E7EFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740660$42EE6B21-DAC8-4233-B5CA-1738D00A7FD5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df4225ebbd043e3a74f20142648409d6e6b110f6","datavalue":{"value":"1647221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2740660$6B7D4671-E476-4BB6-8412-C67DB5F85485","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":"Q2740660$641994E2-2B59-4F33-B875-321A2888DCA2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c30e26eb7456d4f3b542e8ccf9b3f304264ec46b","datavalue":{"value":{"text":"Normal forms of formulas based on axioms for equality and their applications to first-order languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2740660$07C48B07-3204-4F8F-8556-E5994AD262FB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1fa57fbabc9c9a9f93e18694454b754a27139fc3","datavalue":{"value":{"entity-type":"item","numeric-id":6767942,"id":"Q6767942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2740660$13D6850C-E9C9-4150-A46E-34417A6CA07A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Normal forms of formulas based on axioms for equality and their applications to first-order languages","badges":[]}}}}}