{"entities":{"Q1089797":{"pageid":1100549,"ns":120,"title":"Item:Q1089797","lastrevid":66109641,"modified":"2026-04-12T07:37:21Z","type":"item","id":"Q1089797","labels":{"en":{"language":"en","value":"Why Horn formulas matter in computer science: initial structures and generic examples"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4005601"}},"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":"Q1089797$A12D812C-C6C0-4CD0-BDDF-E39466917889","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d8effd581542524614d910d8f5a9bbbccc7dbe12","datavalue":{"value":{"text":"Why Horn formulas matter in computer science: initial structures and generic examples","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1089797$5F9E58E2-F5CB-40B2-B898-51E9E4A6464C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cb9f3cf038b4737d151ed7e2a343b382e3905880","datavalue":{"value":"0619.68029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089797$EE4AFA0C-360A-4E5E-9E32-3DD8E5E8ABE2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7477748a1bd386034750317426bdca15c2f26395","datavalue":{"value":"10.1016/0022-0000(87)90027-4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089797$7D5EC2CB-728D-4F19-A7A9-A51A1E725400","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089797$1CEBC3B1-FEFE-4BFE-94A0-3C2DE3A595AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1089797$1E10771E-25C0-45FA-B4DC-190B9BC43D62","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"fcfcb2a53716cf1faca2aba1587c9c4ccf5cdaff","datavalue":{"value":"See the review of the preliminary version in Lect. Notes Comput. Sci. 185, 374-387 (1985; Zbl 0563.68013).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089797$B24962F2-BA36-497E-99AF-F2311CEE7FFC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089797$12050DDB-7D7B-4493-9E0E-8687BF81EA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089797$7BB590EC-19FD-4B0D-B5A0-38F257B59BF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"99b016f3beaaa88e373af665568401020165f1e4","datavalue":{"value":"4005601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089797$DB6958F2-C214-4CDA-B2AA-1C8BFE80BB69","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089797$BCFC665E-DB89-4304-9CB4-C9B24B75485F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"37d7bc9d4a14d741240d971e044bb66d628c89b4","datavalue":{"value":"Armstrong relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089797$43EA1F5E-C0DD-4890-BB8B-EF677D4C2533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ef3d1e723a50ff6e761b841dc7be35b8a1ffc8a","datavalue":{"value":"Horn formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089797$F65D3C88-46C0-4C6E-BAB6-D95EE1861E7C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32ead6a624fee23dc1dc37cfe2dcec3766470899","datavalue":{"value":{"entity-type":"item","numeric-id":452475,"id":"Q452475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089797$F2E159D2-7AD9-4A94-A352-51F3F499204A","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":"Q1089797$E0631B4A-7598-4D70-B8C6-562C3F6BCC32","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b1cb0a1b8dd34a742a17250b42bf75155b07b04","datavalue":{"value":"https://doi.org/10.1016/0022-0000(87)90027-4","type":"string"},"datatype":"url"},"type":"statement","id":"Q1089797$E748FF9B-8F1D-442D-89B7-2D7CD6A3E258","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6afdf34dec136286dcd990dddefbe94fc3266722","datavalue":{"value":"W2041182895","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089797$3AF426AA-5845-4FE5-9D34-58960050B1E0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"05956bf43836025a1012618ff18dd51bd3c173f1","datavalue":{"value":{"entity-type":"item","numeric-id":3960112,"id":"Q3960112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089797$7F01AFCE-B7FE-4585-A2E5-EB4A42D95243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ff29fc9ad9e25bd29bf653f6c7cf5c641d388c","datavalue":{"value":{"entity-type":"item","numeric-id":3220555,"id":"Q3220555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089797$C5D95642-9D8D-4886-B7BB-AF77F714B4DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089797$5BFA62EE-A586-454D-8F2D-F3EEB23FDE5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391b2c77bf6f9e86d25941f50e86b2f5307eacb9","datavalue":{"value":{"entity-type":"item","numeric-id":3947092,"id":"Q3947092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089797$9E2F0A94-B3A8-43B7-9437-BEC30D795320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f12de8d407ac5b382d31546f5be5ca876f1d0d79","datavalue":{"value":{"entity-type":"item","numeric-id":3698262,"id":"Q3698262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089797$CEF67400-F6FA-49A2-9EEA-8E4B7F04613E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97f4d0a17307635aec399b438fa59dd28f8f5367","datavalue":{"value":{"entity-type":"item","numeric-id":3681965,"id":"Q3681965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089797$B3317350-84B7-4F82-B9FE-82E7BF85D040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3956a191be6fa0f62e9a1f8f2d0ba0144a08d295","datavalue":{"value":{"entity-type":"item","numeric-id":3323251,"id":"Q3323251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089797$8C621FAB-3D35-4FC8-84C5-D37C4B9F6A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca897a8c41bcaa8d142a48f17d1f2b052c9612d2","datavalue":{"value":{"entity-type":"item","numeric-id":3332238,"id":"Q3332238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089797$D8BFDDAD-C196-4377-AD60-3C9157D0D32B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"041184ced68ec1bcfc7e3558db4714d4dc908858","datavalue":{"value":{"entity-type":"item","numeric-id":4050192,"id":"Q4050192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089797$98E27076-0610-4F24-BAAF-F2146AD20711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5c56b5baa7311aa7f021a2b7cf0e35e07f302c5","datavalue":{"value":{"entity-type":"item","numeric-id":5522915,"id":"Q5522915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089797$E0B02CE0-DD22-494D-A7B6-083E90E9802A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a15b2a2283434fa49d8b91fe8e50cb7a13f457d5","datavalue":{"value":{"entity-type":"item","numeric-id":5844609,"id":"Q5844609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089797$CCF77C55-67D5-415B-AFAD-1D92ECDFDC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d544365c02a91ca2b6961867fb58b0670dc18e3e","datavalue":{"value":{"entity-type":"item","numeric-id":3673087,"id":"Q3673087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089797$2F91B839-3BF2-43B1-B46A-CEBC68DDDE74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97e6f2eaa1d960de0c70486660825c5c2b91cc3a","datavalue":{"value":{"entity-type":"item","numeric-id":1822528,"id":"Q1822528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089797$144A5A9B-0052-4B88-AD0B-15630FDC8149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d019c0c1326ab2182eae34b441d1ef2a9c9f024e","datavalue":{"value":{"entity-type":"item","numeric-id":3216138,"id":"Q3216138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089797$B488BB9F-E5E0-4468-8C8C-D0A595BEC65E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90e87e8e6abdd0b51c8c74bea38abf0c63a2a1ed","datavalue":{"value":{"entity-type":"item","numeric-id":598280,"id":"Q598280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089797$484E4AF2-32EE-4418-AA03-D60367F4BA74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb6edba6cc7078f293d5517e96505fb988ccc3fe","datavalue":{"value":{"entity-type":"item","numeric-id":2626205,"id":"Q2626205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089797$403CBCAB-67A0-4ACD-85FE-C507A9EBF5E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d851808ebd103f4dc583eaf6d9244249e9b3032d","datavalue":{"value":{"entity-type":"item","numeric-id":5509669,"id":"Q5509669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089797$E24533F3-1D10-410E-889C-0E9CA09AEF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d9deaa1d9155b9e4f8869013a093e908636c83","datavalue":{"value":{"entity-type":"item","numeric-id":1114685,"id":"Q1114685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089797$AA3D282D-675B-412D-8597-E7396DA1B32F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39ec0db8b8f0d2a52ec3b3caa281bd109ca87ce0","datavalue":{"value":{"entity-type":"item","numeric-id":4778270,"id":"Q4778270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089797$F1ED5BBF-367E-4040-B91D-55F3748E7D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6667d29690da802e41dbaa0f1f4db3280cf4b19d","datavalue":{"value":{"entity-type":"item","numeric-id":5815606,"id":"Q5815606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089797$87DE4B88-835B-485C-8A2F-98256130074E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f4bcd76765332f83ca0d4b037c13ff8aba19c47","datavalue":{"value":{"entity-type":"item","numeric-id":4132514,"id":"Q4132514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089797$C4DFA0E4-BB5A-4F6C-824A-8AB0BEEF7142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6547337155cae3216afb76a934f3b2a52bbbd1a","datavalue":{"value":{"entity-type":"item","numeric-id":3700870,"id":"Q3700870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089797$B88DBA19-591A-4045-9116-2B8CFAE606CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Why Horn formulas matter in computer science: initial structures and generic examples","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Why_Horn_formulas_matter_in_computer_science:_initial_structures_and_generic_examples"}}}}}