{"entities":{"Q5404864":{"pageid":7434438,"ns":120,"title":"Item:Q5404864","lastrevid":75605971,"modified":"2026-04-20T08:33:55Z","type":"item","id":"Q5404864","labels":{"en":{"language":"en","value":"Clausal relations and \\(C\\)-clones"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6275685"}},"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":"Q5404864$E7898779-5407-4225-BA7C-E73CEFE7CF3D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f81ca0f39a2fadc80be3905231f7ee039a2de5e","datavalue":{"value":"1285.08002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404864$965067FB-296B-4BB2-902E-4D16CFAEC30C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34bac2822e79282d39485559abf3e057b4fb723a","datavalue":{"value":{"entity-type":"item","numeric-id":519851,"id":"Q519851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404864$517E24D0-552B-47B4-8401-42C995E4FF8F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8e12da0e8bd681f94b625e1ea013bf02fcfebe5","datavalue":{"value":{"time":"+2014-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5404864$76BE3598-2528-49C1-85A6-9D71CFF55A26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"22a27ee5ec7fc24a6d65a023b1e49386febfabd9","datavalue":{"value":"08-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404864$D964BCF7-E52A-47F8-AE3B-07897DD55F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"92a555e3a541c9f0978c54443cf0a96e2a43c4df","datavalue":{"value":"08A02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404864$47CC4FA6-2020-4EDC-B950-546D00A9DDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404864$E772EE7F-D79F-492C-BCBC-913DF964B9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"602d7e96b613d2f356db81712453cadad0417631","datavalue":{"value":"08A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404864$09ECC72C-E0D8-4E67-909E-E247D228698C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24ba600ce6aedf4b3386959bed81fce1c9d30c4c","datavalue":{"value":"08A62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404864$905A690C-55FA-41CE-BF5F-A0185753CC1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404864$1BD23F2D-02B4-4618-8A85-FF7147616D3C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3540a45c3798174f82762d9992dc90ab91c1aa02","datavalue":{"value":"6275685","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404864$3E32CDFE-15EA-42BD-905E-49F06DB559FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a348f9efcaabdd35d491583f05dde8d8e0eb673","datavalue":{"value":"constraint satisfaction problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404864$181BE41E-842C-4DD8-8654-C8262C6EB18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73d4b72cf3b27111d323786d105bf39fa6050b6e","datavalue":{"value":"clausal relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404864$B1239C13-E163-4C57-997B-4E4B4E06023E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d394519622586a759de06f970ba0178efe1527d3","datavalue":{"value":"Galois connection between polymorphisms and invariants","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404864$654A732B-34CC-436C-BA7D-D20E7D5AEE66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8572e2c9071671f4cd564b0deda4eca72597a6d7","datavalue":{"value":"\\(C\\)-clones","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404864$0791A8E6-DAD2-4992-8765-285FE9CD1DE4","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":"Q5404864$3A1F17A1-BD20-46B9-A7F4-5B9D1B75583B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e32d5a5dd751438aad29d937d7b21de779a700c4","datavalue":{"value":{"entity-type":"item","numeric-id":3099264,"id":"Q3099264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99a031ee21e05f7ab7ecf71a8359fe440d3452af","datavalue":{"value":{"amount":"+0.8666926026344299","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":"Q5404864$0F76C54A-DB2B-488B-88FD-B667A842D006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c91dc8bd6bd153312ff6bb452526e381f0574e5","datavalue":{"value":{"entity-type":"item","numeric-id":3099663,"id":"Q3099663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33fc680a51c90eefd864ac2c5ee821569b7520f9","datavalue":{"value":{"amount":"+0.8374960422515869","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":"Q5404864$DD058166-17A5-4527-846B-6C7893965163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26f7b02eac219801863f183a9c4b0b82c5d42a03","datavalue":{"value":{"entity-type":"item","numeric-id":1652863,"id":"Q1652863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cde0eb1feb549c5c67bc6711d06514aae154413","datavalue":{"value":{"amount":"+0.7932636141777039","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":"Q5404864$0D129A72-6CBE-4436-AA72-A7233E196EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6c85e38b133ec5af10b7aca5cb9023fae0752d29","datavalue":{"value":{"entity-type":"item","numeric-id":5504705,"id":"Q5504705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"529258eb17e13c5514af5345bac24ad5336c7187","datavalue":{"value":{"amount":"+0.7757343053817749","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":"Q5404864$C2805A3C-58B2-42EA-AA69-625D95A23533","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e86564e6f38689abbfd6e7c924fe5bbd97bd4bed","datavalue":{"value":{"entity-type":"item","numeric-id":4973854,"id":"Q4973854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6f6986be890f5b79edc75200b1975db3d56253d","datavalue":{"value":{"amount":"+0.768128514289856","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":"Q5404864$3A4B45BD-D09C-400C-954D-515F0620AD68","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Clausal relations and \\(C\\)-clones","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Clausal_relations_and_%5C(C%5C)-clones"}}}}}