{"entities":{"Q3655207":{"pageid":5685113,"ns":120,"title":"Item:Q3655207","lastrevid":49826233,"modified":"2026-01-11T02:33:07Z","type":"item","id":"Q3655207","labels":{"en":{"language":"en","value":"Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5654245"}},"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":"Q3655207$BBBE7A10-97ED-47F5-892D-6F02AD7D2E9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"27664d33483e83309ec8bdb3899d9509679fc561","datavalue":{"value":{"text":"Improving Coq Propositional Reasoning Using a Lazy CNF Conversion Scheme","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3655207$80166C01-C990-437F-9266-696D682B9CD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ac708bacb0b349fbefd5b7136716ca516974142e","datavalue":{"value":"1193.68225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655207$DA0F880B-F349-4010-830B-150380E9DBBF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"183953da453226526ec2abe703e4be2441368f37","datavalue":{"value":"10.1007/978-3-642-04222-5_18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655207$6CC2569B-1D05-4FFA-9EC0-1F3D6397EA8B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1afbfba898283b6c4e1b3f075a124909f732f804","datavalue":{"value":{"entity-type":"item","numeric-id":2864403,"id":"Q2864403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$0E3604FF-39D0-4DE5-A82D-20FD663FE4B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a9c3e977eb61b9fc5b2fcb92fe6e8ddc0a12670","datavalue":{"value":{"entity-type":"item","numeric-id":287381,"id":"Q287381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$989C077D-8704-49D8-803D-F25B6B23AC85","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94ee78e0a7dd5ca422048ab882699df0d73d43b3","datavalue":{"value":{"entity-type":"item","numeric-id":2849475,"id":"Q2849475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$49F2936C-F78A-4B18-A622-F54F99B1C35E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8ffb1992782dc99c2da3a06ceb643a586fe25de","datavalue":{"value":{"time":"+2010-01-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3655207$059AB751-A320-420C-90FF-2591C0163CE7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655207$69FA7349-C497-4655-B3E5-D9AE0D2EFDBF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"494a577755bc5ec4f80fd461f53ef2ca1f798bc1","datavalue":{"value":"5654245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655207$B24BB8CD-D410-47A7-A179-1170A8D105FA","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$EF7F6464-A9B0-453C-9B9E-DF8218D6A454","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$90A46719-ADC5-442B-8CBD-1693D3DBB70E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3fa1be4925f6565903e34254fe3ce3cb99beabc","datavalue":{"value":{"entity-type":"item","numeric-id":18828,"id":"Q18828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$07A88DE9-2751-4B74-B461-D3EF66D84045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$1F1C7BD2-F17B-4726-A67D-BDDA79E9E3F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2822825cdea331aa7c0ec2c340c1eb36d62db00b","datavalue":{"value":{"entity-type":"item","numeric-id":17123,"id":"Q17123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$B11309A1-1F87-4FB8-AFD5-446CC96D4DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"478f9061f14e098e3fdf3fe3667d3a7084c42e61","datavalue":{"value":{"entity-type":"item","numeric-id":18982,"id":"Q18982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$4403CE74-7E06-483F-B092-635E4670C2ED","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":"Q3655207$ED1EF2CF-C8B2-4A3A-9C4A-FD57D4E53E93","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"63e191fb58b7334874694e1f56942fea5864b6aa","datavalue":{"value":"https://doi.org/10.1007/978-3-642-04222-5_18","type":"string"},"datatype":"url"},"type":"statement","id":"Q3655207$DFF17D39-1044-4777-85FE-ECD3A08EE932","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"192d368b5c36d130e7f3255b7abc5dd350e8d806","datavalue":{"value":"W2144407603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3655207$89F6D0DA-8A51-4BC1-BC9C-7109D02B362E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4678e4c2f003554895218494da0c1f6e87bb3ea","datavalue":{"value":{"entity-type":"item","numeric-id":1868508,"id":"Q1868508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$E6668DC7-FC18-45D6-B49C-0CF5323AA8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4370175d8030918ba7fe1c9ab8112224b76824d","datavalue":{"value":{"entity-type":"item","numeric-id":3498463,"id":"Q3498463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$CFD3A8DD-6655-4074-89F6-3BDF6E5454DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf927db78b3d3748cf319244fe111ce0ec65c938","datavalue":{"value":{"entity-type":"item","numeric-id":5394603,"id":"Q5394603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$EB22084E-BC68-4B1D-89B9-9A7D1BC5BB34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec28ba6d820be907a77fb84eda09cc97c627df63","datavalue":{"value":{"entity-type":"item","numeric-id":3525007,"id":"Q3525007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$2EC783DD-E4FC-419C-A42C-2830D3E16420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10630f5160097667960414f663a902e7cb3018df","datavalue":{"value":{"entity-type":"item","numeric-id":3087995,"id":"Q3087995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$03BE307F-F1B4-4388-A8E6-12EF5F1BE952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"444f5fe83be4245bc96b85174b6963ba7dad9bbf","datavalue":{"value":{"entity-type":"item","numeric-id":3612437,"id":"Q3612437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$65B17DDA-3A2D-4F33-809D-EBE79D36FA21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$CE56F486-A834-4B2A-9ABD-25BD4BB2D0A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c0e6b90c16ae5fa1eac19212a306cb84ffec72b","datavalue":{"value":{"entity-type":"item","numeric-id":5613969,"id":"Q5613969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$C24AD692-D9C0-4656-B369-68763CA8F54A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4f714dbb33bba32b50777c1d77c1cb7ff5fe56","datavalue":{"value":{"entity-type":"item","numeric-id":3608773,"id":"Q3608773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$96880B31-11A2-435C-9847-254F48C7D28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1daf6c1b27d4e2241acccb436e068cfc4f24ffff","datavalue":{"value":{"entity-type":"item","numeric-id":3546294,"id":"Q3546294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$F655BEA4-5D0F-4D7D-A423-F5EE6ADB410B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$84C87E69-1B00-4703-AE1B-BFE7EB6B5737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22485e2e7f5d751287059d6c89f8749b6a408a20","datavalue":{"value":{"entity-type":"item","numeric-id":5325885,"id":"Q5325885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$140EF23A-C972-4A6B-8D20-DB7CA9752A01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9811e0f445518a60fcf8a88a2ec5cd76d23ab843","datavalue":{"value":{"entity-type":"item","numeric-id":5477649,"id":"Q5477649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$5BB7EA96-CBF8-4525-9A74-BABA1CB433C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c00ecccc176b971f8f655f17f279ab75b6423f0b","datavalue":{"value":{"entity-type":"item","numeric-id":2432769,"id":"Q2432769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$F9D54A14-6881-41FC-A541-9214ACED2697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"704aa6a93e08ad86249a712577f6e2a837a14490","datavalue":{"value":{"entity-type":"item","numeric-id":4249904,"id":"Q4249904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$3445A996-5134-4F33-A8E1-5954548833F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"008723b33cb14bbda59226503d753d137dc6f8ef","datavalue":{"value":{"entity-type":"item","numeric-id":1098330,"id":"Q1098330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$B9CB9E6E-94D8-4C7F-B28D-6106F25F748C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"271326b3f6ba4699b8b9534f6c64338c8ddd3a50","datavalue":{"value":{"entity-type":"item","numeric-id":1006729,"id":"Q1006729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3655207$481066AD-5562-43D2-8CD0-D45DDE1A6AB7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e26c3ee28b2edb7374449f2f1032135d4fba7d2a","datavalue":{"value":{"entity-type":"item","numeric-id":2798255,"id":"Q2798255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef8835f22ad69b5cc7f82d79c53b5f4bf5218f23","datavalue":{"value":{"amount":"+0.8709303","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3655207$0184B4F6-B033-4021-A0E8-F6FE7DB68A50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"639235b02708c6761e00755397e8429912cdf6d2","datavalue":{"value":{"entity-type":"item","numeric-id":5210657,"id":"Q5210657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9f83e6cdfbdbb5e9c7d4272a5c9ce3e9c9949ad","datavalue":{"value":{"amount":"+0.8693475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3655207$7778631E-3AC9-4DC2-8D60-7D62E3F4B1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29a236d79d6b8fd04241af210773928bf56ad5df","datavalue":{"value":{"entity-type":"item","numeric-id":3187007,"id":"Q3187007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96ed526555f8a30c0a2cbd2ba970416ec89626ff","datavalue":{"value":{"amount":"+0.8662032","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3655207$AE9225BF-B856-4A5F-84E8-9849122EC8BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ea87e1e5dbf358e009a3be4cefaaac5190632a","datavalue":{"value":{"entity-type":"item","numeric-id":4452126,"id":"Q4452126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6728856ad17bdac36fac055e6a8884a160ba1b14","datavalue":{"value":{"amount":"+0.8645896","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3655207$8629395E-2382-4597-9F95-E8AA5D6055E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d943961f845ca0e5235cda46d1b02c9a1ce4d34f","datavalue":{"value":{"entity-type":"item","numeric-id":5747643,"id":"Q5747643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5de99368c619c92090b14622f031b0ec91a564b6","datavalue":{"value":{"amount":"+0.8601794","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3655207$C4FA3686-3E6F-44E2-84EE-E5D3F216413F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1845376d4c8e5f42669d8d57b7ee2c2bf28ca6a","datavalue":{"value":{"entity-type":"item","numeric-id":5739982,"id":"Q5739982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efdb13100ad1fcd587000d7e4daaefbcc2ac693f","datavalue":{"value":{"amount":"+0.8597304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3655207$AD1726F7-B9E2-465D-B3AD-E8CA6BEFE1D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a804c3c76a1bb0c8ec52d4f0a6c8fbcfbc284417","datavalue":{"value":{"entity-type":"item","numeric-id":5428832,"id":"Q5428832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"df1d87503eaf57f55dd7272076ca7543540a08a7","datavalue":{"value":{"amount":"+0.8597174","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3655207$A7D8FD40-07EC-4A5A-8BE0-1BC75D7C47E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5becc199be0be438307b801ca58515df9c7ca279","datavalue":{"value":{"entity-type":"item","numeric-id":2851950,"id":"Q2851950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d21bdf5a1d7b106d552b1189f09fa7271d9d94ad","datavalue":{"value":{"amount":"+0.8596432","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3655207$6331B1A0-174D-4CAD-96A3-A99B4A0A4E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b97095a387083d4829b242d2a1a3f0b04cdcbd7","datavalue":{"value":{"entity-type":"item","numeric-id":3608645,"id":"Q3608645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15b248b5e6d223038a3ac72a54a81dfeef3a233f","datavalue":{"value":{"amount":"+0.8590668","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3655207$EA285FC4-0210-4FC1-95F1-C0D7886475B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3655207","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3655207"}}}}}