{"entities":{"Q4140416":{"pageid":6170016,"ns":120,"title":"Item:Q4140416","lastrevid":32440629,"modified":"2024-03-19T22:43:18Z","type":"item","id":"Q4140416","labels":{"en":{"language":"en","value":"Renaming a Set of Clauses as a Horn Set"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3569865"}},"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":"Q4140416$C56805CB-98CD-4AEF-A80F-F4CFD7C27E69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"62a32d4387fb4d6f659b17f7d58acc752da8b8d0","datavalue":{"value":{"text":"Renaming a Set of Clauses as a Horn Set","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4140416$F79C7194-020B-440F-BB37-0B06A0C401B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aa71a2ba21ea2bcd9cfd743158ec30af0639b942","datavalue":{"value":"0365.68082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4140416$3A444A91-5C58-49E2-AFF7-3A07B49AB34B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ae00d4d97486ec73de1fb2e15dd03d1ef9e7427","datavalue":{"value":"10.1145/322047.322059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4140416$81EFAD5E-BAEA-4A3B-9A99-7F03694A2299","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"377f0577777abeddabd75e3344d5dbc70225d82f","datavalue":{"value":{"entity-type":"item","numeric-id":800914,"id":"Q800914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4140416$1AD66E13-BF8D-4664-B9E4-B435862111A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4140416$96FB86C0-5181-4FC7-9560-1FDD6585A090","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q4140416$8464761B-37CB-467C-ADAC-3C4CC5DD0879","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4140416$53D4B8BD-D5BF-49D9-871D-E1989DE94BF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9ed1e3c6cced595a05b8ae19055521b22405b78a","datavalue":{"value":"68W99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4140416$BF632B97-B5A3-4359-8BF9-E2753FFFC7EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4140416$8958928B-630A-4B3A-B0C9-DC00D9DFF947","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"570d7ccee7024d1ae9a31f9db84509df8ea1ef4b","datavalue":{"value":"3569865","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4140416$417E2ED3-80DB-4B11-B798-BD17216DD8E4","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"c8e797eff8bb0b4deaff843e16c7010c8e88b0ca","datavalue":{"value":"Q55952577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4140416$12A53B17-134A-4790-8EF8-F2DCE492FB72","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":"Q4140416$79D29010-3489-4B4C-AC3D-E345E08000A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3c70df65c18202c0b8140269722e8abd30ee38e7","datavalue":{"value":"https://doi.org/10.1145/322047.322059","type":"string"},"datatype":"url"},"type":"statement","id":"Q4140416$CBC8C861-31A3-467E-9378-D529725A9FBC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fdccf862d4d65c76fdeda66556572edf6f5d039","datavalue":{"value":"W1981549588","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4140416$F1234300-FF7A-49F5-ABEE-BD629A06B78D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4140416","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4140416"}}}}}