{"entities":{"Q1135108":{"pageid":1145857,"ns":120,"title":"Item:Q1135108","lastrevid":69851655,"modified":"2026-04-13T10:46:19Z","type":"item","id":"Q1135108","labels":{"en":{"language":"en","value":"First-order identities as a defining language"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3660786"}},"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":"Q1135108$C0E4501A-6052-4CD8-8A9B-7EA46CB8AE7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66a745cbcececf0094bf1d626c4d348a9113eed3","datavalue":{"value":{"text":"First-order identities as a defining language","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1135108$4B4E9714-6A43-4165-8F48-43DF6C72C645","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6b0fcdfdae0e7169c9808a79253ba0b0ffbf3b9b","datavalue":{"value":"0424.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1135108$E2302CB7-446D-4DC4-96DE-C551218EEBF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ae484df5ca9a5424081f2c03b4dd7e109431588a","datavalue":{"value":"10.1007/BF00286491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1135108$7976D88E-B7A0-4E5B-B538-37C322F2405D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0df46863ce98323a92df75a33b2683b5441c935a","datavalue":{"value":{"entity-type":"item","numeric-id":808686,"id":"Q808686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1135108$C458D209-BEC1-4D77-A119-93B2ADE06384","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1135108$E2863337-D086-43EF-8074-1A2F216C484E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q1135108$F3EF4A87-9380-453B-BE8E-68FF3686684D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1135108$F161A2F3-CCD2-4626-817E-4F44AB4FB634","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1135108$9C26F277-B35B-433E-8A0E-13119531880D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bfb4c8b47407a66866989e9cf31ce36772b33b7a","datavalue":{"value":"3660786","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1135108$3A4D4A71-92AD-467D-A906-C3440B79A4A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2444da0282f3c15bb118f9be04f6022ecaf9f9c","datavalue":{"value":"data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q1135108$7F34441C-89BC-4690-A125-33A4027C8558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a252a598e69a70c6c8d06fe5a30954e133be4e05","datavalue":{"value":"algebraic approach","type":"string"},"datatype":"string"},"type":"statement","id":"Q1135108$6DC1B62F-C856-48F7-91B9-A860654E78DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54bc3a07ddb54cb4fe26b6f45d2c27e3dbf5ecd9","datavalue":{"value":"first-order identities as a specification language","type":"string"},"datatype":"string"},"type":"statement","id":"Q1135108$48147179-9C65-4A83-8C64-A5D06164A679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67e05c49639b88bfc9d01a2555ad5940def73770","datavalue":{"value":"denotational and operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1135108$145F0383-B64E-4930-9F93-6ADEA52F3480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bec63c64f833587276c6fc0ab26f9fd725008f59","datavalue":{"value":"lambda-calculus interpreter","type":"string"},"datatype":"string"},"type":"statement","id":"Q1135108$33F5B0CB-D2AE-4A33-8D10-FA73AED998CF","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":"Q1135108$D96A7143-DDDF-499F-9FE2-B57A9363E4A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4aded967bfe1d95037e7ab1f29d409cc91753458","datavalue":{"value":"https://doi.org/10.1007/bf00286491","type":"string"},"datatype":"url"},"type":"statement","id":"Q1135108$AF09BDBE-C6C8-405F-8774-15AFB41DBDD9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0b5cbeb11d9779c1d18a8022d7f53c427dc364ad","datavalue":{"value":"W2101106590","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1135108$B4301190-FABA-4273-ADE3-010989C60C77","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"First-order identities as a defining language","badges":[]}}}}}